BTC

$64077.955

2.45%

ETH

$3131.234

0.90%

BNB

$587.485

0.66%

XRP

$0.532

0.03%

ЖИВЫЕ ОБНОВЛЕНИЯ

• FSOCIETY угрожает массовой утечкой данных Bitfinex: 400,000 XNUMX пользователей в опасности • Облака разочарования: запуск Friend Tech v2, несмотря на новые интересные функции • Классификация Ethereum поддержана генеральным директором Ripple в битве с SEC • Приток биткойн-ETF показывает положительные признаки: 378 мая 3 миллионов долларов • Friend.tech V2 запущен с раздачей токена FRIEND • Bitcoin ETF в оттенках серого зафиксировал первый приток в размере 63 миллионов долларов с момента запуска • Фермеров LayerZero Sybil Airdrop теперь резко блокируют за мошенничество • Запущены новые токены MakerDAO для содействия управлению протоколами • Sui исполняется год: дебютный год роста и технологических прорывов ставит Sui на передний план Web3 • Срок действия опционов на Биткойн и Эфириум на сумму 2.4 миллиарда долларов истекает, ожидается волатильность: отчет

Новости

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

17 мая 2022 г. - Вокруг 2 мин минут на чтение
сертора

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

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

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

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

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

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

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

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

ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ: Информация на этом веб-сайте представлена ​​в качестве общего комментария к рынку и не представляет собой инвестиционный совет. Мы рекомендуем вам провести собственное исследование, прежде чем инвестировать.

Присоединяйтесь к CoinCu Telegram, чтобы следить за новостями: https://t.me/coincunews

Следите за каналом CoinCu на YouTube | Следите за страницей CoinCu в Facebook

орешник

Новости CoinCu

Новости

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

сертора

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

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

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

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

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

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

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

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

ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ: Информация на этом веб-сайте представлена ​​в качестве общего комментария к рынку и не представляет собой инвестиционный совет. Мы рекомендуем вам провести собственное исследование, прежде чем инвестировать.

Присоединяйтесь к CoinCu Telegram, чтобы следить за новостями: https://t.me/coincunews

Следите за каналом CoinCu на YouTube | Следите за страницей CoinCu в Facebook

орешник

Новости CoinCu

Посетили 78 раз, 1 визит(а) сегодня