Certora，一家帮助去中心化金融的安全技术初创公司（DEFI) 基于智能合约的代码在部署之前识别错误，从投资者那里筹集了 36 万美元。
根据一个 鸣叫 从这家初创公司开始，这轮融资由 Jump Crypto 领投，Tiger Global 也参与其中， Galaxy Digital、Electric Capital、ACapital、Framework Ventures、CoinFund、Lemniscap、Coinbase (COIN) 和 VMware (VMW)。
Certora 在以太坊虚拟机 (EVM) 兼容协议中发挥着至关重要的作用，并将 Aave、SushiSwap、Compound 和 Balancer 等视为客户端。 这家初创公司开发了一种“证明者”技术，该技术可以扫描代码，并根据对任何智能合约规则违规行为的评估将其作为清晰或不清晰通过。
今年到目前为止，已经有相当多的智能合约利用导致创纪录的资金流失。 最新的是价值 625 亿美元的 Axie Infinity 的 Ronin Bridge 黑客攻击，该漏洞降低了流行的区块链 Play-2-Earn (P2E) 游戏的整体功能。
如果不是 Certora，SushiSwap 的 Trident 流动性池合约可能会遭到利用。 Certora 检测到一个漏洞，该漏洞可能允许黑客耗尽其资金池，并且该漏洞在产品正式发布之前就已修复。
有了注入的资金，这家初创公司希望从 Solana 和 Polkadot 开始扩展到其他区块链网络。
“在世界级专家的支持下，Certora 利用形式验证来采用一套可扩展且强大的产品，这些产品可提供更高的可重用性和粒度测试，”Jump Crypto 合伙人兼投资负责人 Saurabh Sharma 在一份声明中表示。
基于它们所占据的关键地位，安全初创公司最近受到风险投资（VC）的关注。 CertiK 推出 88 万美元的新股发行 报道 由 Blockchain.News 于 XNUMX 月在高盛（Goldman Sachs）的支持下发布。
图片来源：CryptoShrypto
资料来源：https://blockchain.news/news/smart-contracts-security-firm-certora-pulls-36m-in-series-b-funding