связаться с нами

Привет, что ты ищешь?

Companies

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

Быстрый прием

  • Certora привлекла 36 миллионов долларов в раунде серии B под руководством Jump Crypto с участием Tiger Global и Galaxy Digital.
  • Израильская компания предоставляет инструменты анализа безопасности для смарт-контрактов на блокчейне.

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 для защиты своих смарт-контрактов от ошибок перед запуском в качестве последней контрольной точки после завершения аудита кода.

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

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

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

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

Показанный

и т. д.

The launch of new spot Bitcoin (CRYPTO: BTC) ETFs in January was a watershed event for the crypto industry. Arguably, it was Wall Street’s biggest new product...

Bitcoin

Американская компания Wells Fargo публично объявила о своих спотовых инвестициях в биткойн-ETF в заявлении для Комиссии по ценным бумагам и биржам США (SEC). С другой...

Биткойн-майнинг

Горнодобывающая индустрия биткойнов понесла значительную долговую нагрузку во время бычьего рынка 2021 года, что нанесло ущерб ее финансовому здоровью в последующие...

Альткойн

Ripple пытается прорваться вверх выше зоны сопротивления $0,365 по отношению к доллару США. Цена XRP может не набрать темпы, если...