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

casio

Американский стартап Synthetic Minds привлёк $5,5 млн для разработки технологии анализа блокчейн-сетей на предмет наличия ошибок в их коде. Об этом пишет CoinDesk.

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

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

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

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

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

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

Ivan Ivanov

довольно часто приходится слышать о потерях проектов в результате багов в смарт-контрактах, поэтому подобная задумка вызывает интерес. конечно, если им еще удастся создать заявленный продукт.

casio

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

довольно часто приходится слышать о потерях проектов в результате багов в смарт-контрактах, поэтому подобная задумка вызывает интерес. конечно, если им еще удастся создать заявленный продукт.

Ну думаю найдут баг они, если найдут ... И потом сами и используют его. а так баг таблицы есть. Можно смарт контракты по ним просто прогнать.

Ivan Ivanov

@casio вы слишком плохо думаете о людях ) если будет подобный случай, то можно считать, что компании можно ставить крест на своей репутации.

casio

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

@casio вы слишком плохо думаете о людях ) если будет подобный случай, то можно считать, что компании можно ставить крест на своей репутации.

Ну они же не будут под своим флагом это делать ... А кто и откуда пришел подоить смарт контракт, тут только Сатоши в курсе.

Ivan Ivanov

@casio все равно это будет выглядеть слишком подозрительно и такие трюки быстро раскусят, и тогда все равно репутации придет конец.

casio

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

@casio все равно это будет выглядеть слишком подозрительно и такие трюки быстро раскусят, и тогда все равно репутации придет конец.

Ну тогда что все взломы на этих ребят сейчас вешать нужно будет?

Ivan Ivanov

@casio не все, но если взлом идет сразу после начала проверки фирмой и такой прецедент повторяется несколько раз, то даже самый плохой детектив уловит взаимосвязь.

casio

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

@casio не все, но если взлом идет сразу после начала проверки фирмой и такой прецедент повторяется несколько раз, то даже самый плохой детектив уловит взаимосвязь.

А как понять что проверка была ? смарт контракты они все доступны . Читаю не хочу.

Ivan Ivanov

@casio так фирма заключает договор на проверку или вы думаете, что они будут сами сканировать все смарт-контракты подряд?

casio

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

@casio так фирма заключает договор на проверку или вы думаете, что они будут сами сканировать все смарт-контракты подряд?

Ну почему бы и не по сканировать ...))

Ivan Ivanov

@casio это просто лишние затраты времени и ресурсов. на такое компания, нацеленная на получение прибыли, не пойдет.

casio

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

@casio это просто лишние затраты времени и ресурсов. на такое компания, нацеленная на получение прибыли, не пойдет.

Ну когда на кону хороший куш можно думаю и поработать в этом направление.

Ivan Ivanov

@casio не забывайте, что тогда это будет противозаконной деятельностью и тогда фирме придется переквалифицироваться в мошенников.