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

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

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

Раунд финансирования возглавляли инвестиционные компании Pantera Capital и Khosla Ventures. Последняя базируется в Калифорнии и специализируется на инвестициях в интернет-стартапы.

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