Synthetic Minds привлёк $5,5 млн на создание инструмента автоматизированного поиска багов в смарт-контрактах
Американский стартап Synthetic Minds привлёк $5,5 млн для разработки технологии анализа блокчейн-сетей на предмет наличия ошибок в их коде. Об этом пишет CoinDesk.
Synthetic Minds сообщил, что финансирование было предоставлено инвестиционной фирмой Pantera Capital, работающей в сфере блокчейна и криптовалют, и венчурной фирмой Khosla Ventures, ориентирующейся на интернет-стартапы.
Synthetic Minds был основан в 2017 году и стал выпускником летней программы инкубатора Y Combinator, участвуя в которой он также получал инвестиции и запустил первую версию своей технологии.
Компания пояснила, что разрабатывает продукт на базе компьютерного метода над названием “программный синтез”, который используется организациями, работающими с программами повышенной значимости, в том числе НАСА при создании марсоходов и орбитальных станций.
Synthetic Minds считает, что программный синтез целесообразно использовать для автоматизации процессов «анализа (чтения) и синтеза (записи) компьютерного кода» в сфере блокчейна. Технология позволит разработчикам блокчейнов и смарт-контрактов сфокусироваться на более высокоуровневых аспектах систем, в то время как программа займётся обнаружением и оптимизацией багов в коде.
«В конечном счёте использование программного синтеза позволит переложить задачу по программированию критически значимых систем на программное обеспечение, в то время как люди смогут заняться работой над высокоуровневой архитектурой», — говорится в публикации.
В качестве примеров практического применения технологии на своём сайте Synthetic Minds рассматривает сценарии проверки маркетплейса для торговли данными на блокчейне, где ПО стартапа выступает в качестве пользователя и передаёт разработчикам информацию о любых подозрительных взаимодействиях, а также уязвимость The DAO, которая успешно выявляется при помощи простого анализа конструкций языка программирования Solidity.
В августе Pantera Capital сообщила о создании своего третьего крипто-фонда с капиталом $71 млн, собранных при участии 90 инвесторов.
Фото: BEST-BACKGROUNDS
Источник: ttrcoin.com
