表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於Certora
Certora為區塊鏈協議提供形式化驗證工具與智慧合約稽核服務。其核心產品Certora Prover運用數學方法驗證合約程式碼是否滿足特定屬性，而非僅依賴模式比對或人工審查。 市場痛點在於傳統程式碼稽核與測試無法窮盡所有可能的執行路徑，尤其對於複雜的DeFi協議而言，細微的邏輯錯誤可能導致災難性的財務損失。Certora的做法讓開發者能以CVL語言撰寫形式化規格，並證明程式碼在所有可能的狀態與輸入下皆能正確運作。 在過去六個月（2026年3月至9月），Certora推出了AutoProver，這是一套AI驅動的系統，能自動閱讀程式碼與文件、生成形式化規格，並產出驗證報告。該公司也發布了與Aave合作開發的Aave V4協議安全框架，此框架在整個開發週期中持續進行形式化驗證，而非僅做一次性稽核。此外，Certora舉辦了直播研討會，強調DeFi攻擊日益針對鏈下基礎設施與營運流程，而非僅限於智慧合約邏輯，並呼籲業界應超越單點稽核，落實持續性的安全實務。
Certora由形式化驗證先驅Shmuel Sagiv創立，基於數十年學術研究，將數學證明引入智能合約安全領域。自2020年起，Certora為Aave提供形式化驗證，在Aave V1中發現多個重大漏洞，並持續守護V2與V3版本。總計審查超過120份合約、撰寫超過800條規則，並找出28個重大錯誤，防止了數十億美元的損失。此外，在Sushiswap的Trident中，Certora發現並阻止了一個可能掏空資金池的關鍵漏洞。2022年，Certora完成由Jump Crypto領投的3600萬美元B輪融資。 2025年2月，Certora將其核心Prover工具開源，讓開發者能自由使用工業級形式化驗證工具，象徵智能合約安全從手動審計邁向數學保證的典範轉移。
在過去六個月內，Certora 在智慧合約安全領域取得了關鍵進展。2026 年 3 月，Certora 與 Aave 在歷經六年合作後，共同推出了 Aave V4 安全框架。透過從開發初期即整合形式驗證、對抗性測試與人工審計，他們審查了 169 份合約與超過 51,000 行程式碼，撰寫了 800 多條規則，並防範了 28 個重大漏洞。2026 年 5 月，Certora 獲得約 30 萬美元的 Canton 基金會補助，用於開發 Daml 的開源靜態分析工具，自動化跨套件互動檢查，並整合至 dpm CLI，以強化多方信任。展望未來，Certora 優先推動從單次審計轉向持續安全工程，將驗證嵌入開發流程，並透過開源規格與可重複使用框架，擴展至機構級多方系統與零知識執行環境（例如 zkEVM）。
共同創辦人： Shelly Grossman，共同創辦人兼技術長。 現任核心管理團隊： Mooly Sagiv，執行長；Saurabh Sharma，董事會成員；Andrew Flesch，全球銷售副總裁；Idit Kronzon，副總裁；Sofi Vissani，銷售副總裁；Elad Erdheim，研究安全實驗室副總裁；Maya Glik Dubovi，客戶成功副總裁；Ilya Leybovich，行銷副總裁。
Certora 近期的團隊變動：高級安全研究員 Jelle Goethals 於 2025 年 1 月加入，並於 2026 年 8 月離職。根據公開資料，Certora 的安全研究團隊在 2025 年規模擴大了四倍，並持續增長，截至 2026 年 3 月，員工總數達到 125 人。儘管有重要研究員離職，整體團隊仍保持成長態勢。