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