Certora збирає 36 мільйонів доларів на інструменти безпеки смарт-контрактів

Фірма безпеки смарт-контрактів Certora залучила 36 мільйонів доларів у раунді серії B під керівництвом Jump Крипто для фінансування розробки та перенесення своєї Технології виявлення недоліків на нові блокчейни.

Серед інших учасників раунду були Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) і VMware (VMW), згідно з чернеткою публікації в блозі, наданою CoinDesk.

Порушення безпеки блокчейну потрапили в заголовки газет цього року, призводячи до дев’ятизначних фінансових втрат. Вони включають 326 мільйонів доларів на блокчейн-міст Wormhole і 625 мільйонів доларів для Ronin Network, інфраструктура популярної гри Axie Infinity для заробітку.

Certora розроблено, щоб допомогти розробникам виявляти та запобігати помилкам безпеки до розгортання коду. Інструмент фірми Prover призначений для доповнення Human аудитів і винагород за помилки. Certora заявила, що наразі вона залучила 50 мільярдів доларів децентралізовані Фінанси (DeFi) активи. Продукт знаходить і відображає будь-які порушення правил або формально доводить, що їх T .

Компанію очолює Шмуель «Мулі» Сагів, кафедра комп’ютерних наук Тель-Авівського університету та піонер формальної верифікації, галузі, яка використовує складну математику, щоб довести або спростувати правильність алгоритму, наприклад смарт-контракти щодо протоколу ліквідності.

Наразі Certora обробляє лише блокчейни, сумісні з Ethereum Virtual Machine (EVM). Наступний фокус полягає в розширенні підтримки Solana, а потім у подальшому розгалуженні до Polkadot.

«Наступного року ми хочемо охопити всі блокчейни», — сказав Сагів в інтерв’ю CoinDesk .

Як це працює

Certora визначає порушення інваріантів або правил, які T можна порушувати, у смарт-контрактах. Технології фірми виявила помилки в Aave, Compound, Balancer і Sushiswap. Більшість помилок було виявлено та виправлено до розгортання коду.

Наприклад, Certora запобігла критичній помилці в контракті SushiSwap про пул ліквідності Trident. У Trident користувачі додають кошти, щоб створити пул, а потім отримують комісію за свою діяльність з кредитування та обміну. Комісії пропорційні їх частці в загальній ліквідності.

Щоб пул ліквідності працював, повинне існувати технічне правило, згідно з яким, поки є кошти пулу, мають існувати частки користувачів, оскільки хтось надає цю ліквідність. Порушення цього правила означає, що або акції пулу нічого не варті, або кошти існують, але користувачі T можуть їх вимагати.

У випадку з Trident Certora Prover виявив порушення правил, яке могло дозволити зловмиснику вичерпати кошти пулу. Проблему було виявлено та виправлено до розгортання коду.

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

Читайте також: Як працюють розумні контракти Ethereum ?