Imandra Contracts – платформа верификации смарт-контрактов Эфириума

[Tomcat_MkII]

 

Компания Aestetic Integration, специализирующаяся на анализе безопасности и прозрачности алгоритмов, применяемых на финансовых рынках, анонсировала проект Imandra Contracts – компания называет его первой в мире платформой формальной верификации смарт-контрактов, основанных на блокчейне.

 

Анонс был сделан на конференции DevCon-2 в Шанхае.

 

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

 

Сделано для Эфириума

 

В качестве пилотного проекта новой облачной платформы выбрана сеть Эфириума. Говорит доктор Грант Пассмор (Grant Passmore), исполнительный директор и сооснователь Aestethic Integration:

Imandra – инструмент для анализа смарт-контрактов, он помогает пользователям понять, что они делают, зачем, и что может сработать не так, как задумано.

 

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

 

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

 

 

Читать полностью