Certora

通过智能合约的全自动精确验证技术，将可信区块链变为现实。

Certora 提供可访问且具有成本效益的智能合约的形式化验证。Certora 拥有名为 AEV（代表自动精确验证）的独特技术，能够检查智能合约的所有执行是否满足一系列要求。

AEV 技术可用作补充现有智能合约编译器和调试器的工具。它检查合同是否满足其要求并遵守其他合同的接口要求。Certora 的区块链独立且不受语言限制的 AEV 技术可以精确识别智能合约中的错误并证明它们不存在。Certora 为区块链生态系统中的所有参与者提供了两种独特的解决方案：

使用智能合约的企业的持续智能合约形式化验证 (CFV)。CFV 持续监控所有合同中是否存在新发现的漏洞或可能暴露新问题的变化。

CFV 通过立即通知任何新问题来保证区块链中数字资产的长期安全，从而缩短事件响应时间。这使您的企业能够避免不必要的不可逆交易的后果。

开发人员质量开发环境 (QDE) 允许开发人员在开发过程中发现问题，从而在合同部署之前最大限度地提高安全性。

QDE 会自动生成现有问题的报告，报告其严重程度及其重现的确切方式。