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

Блокчейн-стартап Synthetic Minds, который базируется в Сан-Франциско, привлек $5,5 миллионов для создания технологии, которая будет совершать анализ блокчейн-сетей и идентифицировать баги в коде.

Представители Synthetic Minds сообщили о том, что финансирование состоялось при поддержке инвестиционной блокчейн-компании Pantera Capital и Khosla Ventures, венчурной фирмы, деятельность которой сфокусирована на интернет-стартапы, фирма базируется в Калифорнии.

Основанный в 2017 году, стартап Synthetic Minds стал выпускником летней программы акселератора Y Combinator, во время которой ему также удалось привлечь инвестиции и выпустить первую версию своей технологии.

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

Команда Synthetic Minds считает, что программный синтез можно эффективно использовать для автоматизации процессов «анализа (чтения) и синтеза (записи) компьютерного кода». Технология позволит разработчикам блокчейнов и смарт-контрактов сфокусироваться на высокоуровневых аспектах системы, в то же время продукт будет заниматься детекцией багов в коде с последующей оптимизацией.

Представители стартапа отметили:

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