智能合約安全公司 Certora 獲得 36 萬美元 B 輪融資

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 等客戶視為客戶。 該新創公司開發了一種「Prover」技術，可以掃描程式碼，並根據對任何智慧合約規則違規行為的評估，判斷程式碼是否清晰。 

今年到目前為止，已經出現了大量的智慧合約漏洞，導致資金流失創紀錄。 最新的事件是 Axie Infinity 的 Ronin Bridge 被駭客攻擊價值 625 億美元，該漏洞減少了流行的區塊鏈 Play-2-Earn (P2E) 遊戲的整體功能。

如果不是 Certora，SushiSwap 的 Trident 流動性池合約可能會遭受攻擊。 Certora 偵測到一個漏洞，該漏洞可能會導致駭客耗盡其資金池，並在產品正式推出之前修復了該漏洞。

透過注入的資金，該新創公司希望將其業務範圍擴大到其他區塊鏈網絡，首先是 Solana，然後是 Polkadot。 

Jump Crypto 合作夥伴兼投資負責人Saurabh Sharma 在聲明中表示：「在世界一流專家的支持下，Certora 利用形式驗證來採用一套可擴展且強大的產品，這些產品可提供更高的可重複使用性和精細測試。”

基於其所佔據的關鍵地位，安全新創公司近年來受到了創投（VC）的高度關注。 CertiK 籌集了 88 萬美元的新股發行 報導 由 Blockchain.News 於四月份在高盛的支持下發布。

圖片來源：CryptoShrypto