IT-гигант Fujitsu представил новую систему проверки смарт-контрактов Ethereum

Японский IT-гигант Fujitsu объявил о разработке нового программного обеспечения, которое должно помочь в превентивном обнаружении ошибок в исходном коде смарт-контрактов Ethereum. Об этом сообщается в блоге компании.

Как говорится в пресс-релизе, в настоящее время есть шесть групп рисков, обычно связанных с блокчейном Ethereum. И в то время как существующие технологии позволяют решить большинство этих сложностей, аутентификация целостности исходного кода в случае нескольких смарт-контрактов до сих пор остается проблематичной.


Отмечается, что подобная особенность блокчейна позволяет умышленно избежать аутентификации и «подделать происхождение транзакции». При этом существующие программы неспособны обнаружить уязвимость, поскольку не могут отслеживать внутреннюю информацию транзакции.

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

Напомним, в октябре прошлого года Fujitsu в сотрудничестве с финансовыми группами Mizuho, Sumitomo Mitsui и Mitsubishi UFJ начали пилотное тестирование облачной блокчейн-платформы для p2p-платежей. Кроме того, ранее компания представила блокчейн-решение для кроссплатформенных транзакций.

Источник