Certora Nagtaas ng $36M para sa Smart Contract Security Tools

Ang Smart contract security firm na Certora ay nakalikom ng $36 milyon sa isang Series B round na pinamunuan ng Jump Crypto upang pondohan ang pagpapaunlad at i-port ang Technology pag-detect ng bahid nito sa mga bagong blockchain.

Kasama sa iba pang mga kalahok sa round ang Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) at VMware (VMW), ayon sa draft blog post na ibinigay sa CoinDesk.

Ang mga paglabag sa seguridad ng Blockchain ay tumama sa mga ulo ng balita ngayong taon na ang ilan ay lumilikha ng siyam na figure na pagkalugi sa pananalapi. Kasama nila $326 milyon para sa blockchain bridge Wormhole at $625 milyon para sa Ronin Network, ang imprastraktura sa likod ng sikat na larong play-to-earn na Axie Infinity.

Idinisenyo ang Certora upang tulungan ang mga developer na matukoy at maiwasan ang mga pagkakamali sa seguridad bago i-deploy ang code. Ang tool ng Prover ng kumpanya ay nilalayong umakma sa mga pag-audit ng Human at mga bug bounty. Sinabi ni Certora na kasalukuyang sinisiguro nito ang $50 bilyon desentralisadong Finance (DeFi) na mga asset. Hinahanap at ipinapakita ng produkto ang anumang mga paglabag sa panuntunan o pormal na nagpapatunay na T .

Ang kumpanya ay pinamumunuan ni Shmuel "Mooly" Sagiv, computer science chair sa Tel Aviv University at isang pioneer ng pormal na pag-verify, isang field na gumagamit ng kumplikadong matematika upang patunayan o pabulaanan ang kawastuhan ng isang algorithm, tulad ng mga matalinong kontrata sa isang liquidity protocol.

Kasalukuyang pinangangasiwaan ng Certora ang mga blockchain na katugma sa Ethereum Virtual Machine (EVM). Ang susunod na pokus ay pagpapalawak ng suporta kay Solana, pagkatapos ay sumasanga pa patungo sa Polkadot.

"Ang gusto naming gawin sa susunod na taon ay upang masakop ang lahat ng mga blockchain," sinabi ni Sagiv sa CoinDesk sa isang pakikipanayam.

Paano ito gumagana

Tinutukoy ng Certora ang mga paglabag sa mga invariant, o mga panuntunang T dapat labagin, sa mga smart contract. Natukoy ng Technology ng kumpanya ang mga bug sa Aave, Compound, Balancer at Sushiswap. Karamihan sa mga bug ay natuklasan at naayos bago ang code ay na-deploy.

Halimbawa, pinigilan ni Certora ang isang kritikal na bug sa kontrata ng Trident liquidity pool ng SushiSwap. Sa Trident, ang mga gumagamit ay nagdaragdag ng mga pondo upang lumikha ng pool pagkatapos ay kumita ng mga bayarin para sa kanilang mga aktibidad sa pagpapautang at pagpapalit. Ang mga bayarin ay proporsyonal sa kanilang bahagi sa kabuuang pagkatubig.

Para gumana ang liquidity pool, kailangang may teknikal na panuntunan na hangga't may pool funds, dapat umiral ang mga share ng user dahil may nagbibigay ng liquidity na iyon. Ang isang paglabag sa panuntunang iyon ay nangangahulugan na ang mga bahagi ng pool ay walang halaga o ang mga pondo ay umiiral ngunit T maaaring i-claim ng mga gumagamit.

Sa kaso ng Trident, natagpuan ng Certora Prover ang isang paglabag sa panuntunan na maaaring nagpapahintulot sa isang umaatake na maubos ang mga pondo ng pool. Natukoy at naitama ang problema bago i-deploy ang code.

“Pinapatakbo ng mga world-class na eksperto, ginagamit ng Certora ang pormal na pag-verify para gumamit ng suite ng mga scalable at matatag na produkto na nag-aalok ng mas mataas na reusability at granular na pagsubok," sabi ng kasosyo sa Jump Crypto at pinuno ng pamumuhunan na si Saurabh Sharma sa isang pahayag.

Read More: Paano Gumagana ang Ethereum Smart Contracts?