Японская компания создала систему для проверки смарт-контрактов Ethereum

Компания Fujitsu (японский IT-гигант) официально объявило о том, что доработало свое новое программное обеспечение, основная задача которого — обнаружение ошибок, которые могут быть в исходном коде смарт-контрактов Ethereum.
Пресс-релиз компании указывает, что на данный момент присутствуют риски в 6-ти группах, которые взаимодействуют и напрямую связаны с блокчейном. В свою очередь сегодня можно увидеть технологии, которые могут решить большинство таковых сложностей при помощи ПО. Отмечаем, что аутентификация исходного кода сразу нескольких смарт-контрактов — это огромная проблема сегодня.

Если посмотреть на проблему с другой стороны, то внутри блокчейна пользователи могут как бы корректировать происхождение самой транзакции. На данный момент действующие программы просто не могут повлиять технически на такие уязвимости.

Сегодня планируется, что внедрение новой системы будет помогать сотрудникам компании Fujitsu находить все уязвимости, которые будут находиться внутри исходного кода. Фактически никто не сможет злоупотребить функциями языка, на котором изначально был написан Ethereum. Дополнительная функция — система позволит показать место ошибки, которая находится в коде.

Работа над созданием прогрессивного кода Ethereum продолжается, и многие компании пытаются найти варианты взаимодействия и улучшения.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *