Certora

通過智能合約的全自動精確驗證技術，將可信區塊鏈變爲現實。

Certora 提供可訪問且具有成本效益的智能合約的形式化驗證。Certora 擁有名爲 AEV（代表自動精確驗證）的獨特技術，能夠檢查智能合約的所有執行是否滿足一系列要求。

AEV 技術可用作補充現有智能合約編譯器和調試器的工具。它檢查合同是否滿足其要求並遵守其他合同的接口要求。Certora 的區塊鏈獨立且不受語言限制的 AEV 技術可以精確識別智能合約中的錯誤並證明它們不存在。Certora 爲區塊鏈生態系統中的所有參與者提供了兩種獨特的解決方案：

使用智能合約的企業的持續智能合約形式化驗證 (CFV)。CFV 持續監控所有合同中是否存在新發現的漏洞或可能暴露新問題的變化。

CFV 通過立即通知任何新問題來保證區塊鏈中數字資產的長期安全，從而縮短事件響應時間。這使您的企業能夠避免不必要的不可逆交易的後果。

開發人員質量開發環境 (QDE) 允許開發人員在開發過程中發現問題，從而在合同部署之前最大限度地提高安全性。

QDE 會自動生成現有問題的報告，報告其嚴重程度及其重現的確切方式。