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

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

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

Компания пояснила, что разрабатывает продукт на базе компьютерного метода над названием “программный синтез”, который используется организациями, работающими с программами повышенной значимости, в том числе НАСА при создании марсоходов и орбитальных станций.

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

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

В качестве примеров практического применения технологии на своём сайте Synthetic Minds рассматривает сценарии проверки маркетплейса для торговли данными на блокчейне, где ПО стартапа выступает в качестве пользователя и передаёт разработчикам информацию о любых подозрительных взаимодействиях, а также уязвимость The DAO, которая успешно выявляется при помощи простого анализа конструкций языка программирования Solidity.



В августе Pantera Capital сообщила о создании своего третьего крипто-фонда с капиталом $71 млн, собранных при участии 90 инвесторов.