Базирующийся в Сан-Франциско стартап Synthetic Minds привлек $5,5 млн на разработку технологии анализа и выявления ошибок в смарт-контрактах.
Компания работает над продуктом на базе программного синтеза. Последний, уверены в Synthetic Minds, следует использовать для автоматизации процессов «анализа и синтеза компьютерного кода» в блокчейн-системах.
Технология позволит разработчикам блокчейн-решений и смарт-контрактов сфокусироваться на высокоуровневых аспектах разработки в то время, как сама программа будет заниматься обнаружением багов и оптимизацией кода.
Раунд финансирования возглавляли инвестиционные компании Pantera Capital и Khosla Ventures. Последняя базируется в Калифорнии и специализируется на инвестициях в интернет-стартапы.
Стартап Synthetic Minds основан в 2017 году. Проект поучаствовал в летней программе акселератора Y Combinator, в течение которой он также привлек инвестиции и представил первую версию технологии.
Понравилась статья? Подписывайся на наш канал, ставь лайк и делись с друзьями.
