BTC 116567$
ETH 3044.07$
Tether (USDT) 1$
Toncoin (TON) 3.02$
telegram vk
telegram vk Х
Russian English
Высокодоходный майнинг бизнес
"

Certora привлекла $36 млн в раунде серии B во главе с Jump Crypto

Дата публикации:17.05.2022, 17:46
1700
1700
Поделись с друзьями!

Certora, израильская компания, которая предоставляет инструменты анализа безопасности для смарт-контрактов, объявила о привлечении 36 миллионов долларов в раунде серии B, возглавляемом Jump Crypto.

Согласно заявлению, сделанному во вторник, в раунде приняли участие Tiger Global, Galaxy Digital и существующие инвесторы Series A, включая Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase и VMware.

Certora позволяет разработчикам смарт-контрактов выявлять ошибки перед развертыванием после аудита кода. В заявлении говорится, что протоколы DeFi, включая Aave, Balancer, Compound Finance, MakerDao, Sushi и другие, используют Certora для защиты своих смарт-контрактов от ошибок перед запуском в качестве последней контрольной точки после завершения аудита кода.

Компания заявляет, что она обеспечивает защиту проектов децентрализованного финансирования (DeFi) на сумму около 50 миллиардов долларов с помощью методов, аналогичных тем, которые используются для критически важных программ, таких как программное обеспечение для авионики. Технология Certora была разработана в течение двух десятилетий академических исследований в области формальных языков верификации и программирования.

Саураб Шарма, партнер и руководитель отдела инвестиций Jump Crypto, сказал:

«С помощью экспертов мирового уровня Certora использует формальную проверку при помощи набора масштабируемых и надежных продуктов, которые предлагают гораздо более высокую возможность повторного использования и детальное тестирование».

Certora возглавляет Шмуэль Сагив, заведующий кафедрой компьютерных наук Тель-Авивского университета и пионер в области формальной проверки — исследовательской области, лежащей в основе технологии Certora.

Команда Cetora из 65 человек обладает обширным опытом в области математики и безопасности и включает в себя преподавателей из Корнеллского и Вашингтонского университетов, а также инженеров по безопасности из традиционных финансовых компаний, таких как JPMorgan.

Подписывайся на наш Telegram канал. Не трать время на мониторинг новостей. Только срочные и важные новости

https://t.me/block_chain24