Fujitsu – японский IT-гигант с более чем 150 тыс. сотрудников – заявил об успешных испытаниях новой автоматической системы проверки на уязвимости и ошибки смарт-контрактов, созданных на платформе Ethereum. Эффективность нового специализированного ПО Fujitsu близка к 100%, тогда как все ранее известные инструменты проверок выявляли только до 67% потенциальных рисков. Кроме того, программе удалось с точностью в 88% определить в автоматическом режиме местоположение багов и «слабых мест» в самом смарт-контракте.

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

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

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

«Фудзицу» является признанном в Японии лидером в освоении технологии блокчейн. В октябре 2017 Fujitsu совместно с крупнейшим японским банком «Сумитомо Мицуи» и японскими финансовыми холдингами «Мидзухо» и «Мицубиси Юэфджей» начали тестирование собственной блокчейн-платформы для платежей с карты на карту (р2р). В том же 2017 году корпорация познакомила общественность с проектом ConnectionChain, обеспечивающим совместимость и легкие транзакции между разными блокчейнами.

Fujitsu собирается развивать и свой другой честолюбивый проект Smart Cities («Умные города»), основанный на технологиях блокчейн и смарт-контрактах. По расчетам специалистов компании, к 2050 г. проживать в городах будут две три населения Земли, при этом оно вырастет на 2,5 млрд человек и составит 9,8 млрд. В Fujitsu уверены, что технологии блокчейн будут особенно востребованы в городских условиях для оперативного решения демографических, социальных и экологических вопросов.

На правах рекламы