Стартап Synthetic Minds привлек $5,5 млн на инструмент для поиска багов в смарт-контрактах

Базирующийся в Сан-Франциско стартап Synthetic Minds привлек $5,5 млн на разработку технологии анализа и выявления ошибок в смарт-контрактах, сообщает VentureBeat. Компания работает над продуктом на базе программного синтеза. Последний, уверены в Synthetic Minds, следует использовать для автоматизации процессов «анализа и синтеза компьютерного кода» в блокчейн-системах. Технология позволит разработчикам блокчейн-решений и смарт-контрактов сфокусироваться на высокоуровневых аспектах […]