Certora 为智能合约提供安全分析工具。Certora 拥有称为 Certora Prover 的独特技术，能够在编译时检查智能合约的所有执行是否满足一组安全规则。
Certora Prover 技术可用作补充现有智能合约编译器和调试器的工具。它检查合同是否符合其他合同的接口要求。Certora 的区块链独立且与语言无关的 Prover 技术可准确识别智能合约中的错误并证明它们不存在。
最小的误报
报告的错误是真实的
形式正确性保证
对于经过验证的规则，不会错过任何警报
全自动
无需人工干预
敏捷
支持任意程序并集成到 CI/CD 管道中
相关导航
暂无评论...