Certora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。
Certora 拥有称为 AEV 自动精确验证的独特技术，能够检查智能合约的所有执行是否满足一系列要求。AEV 技术可作为智能合约的现有编译器和调试器的补充工具。
Certora 为区块链生态系统中的所有参与者提供两种独特的解决方案：智能合约正式验证 CFV，适用于采用智能合约的企业，持续监控所有新发现的漏洞或可能暴露新问题的变更合约；开发者的质量开发环境 QDE 允许在开发期间检测问题，在合约部署时最大限度地提高安全性。
Certora官网：https://www.certora.com/
官方消息，dForce 借贷协议 V1 发布在即，目前已通过全球领先区块链安全审计公司 CertiK、Certora 进行的安全审计和形式化验证。同时，dForce 增聘两家全球顶级审计机构，对 V2 进行安全审计。
据消息，固定利率借贷协议 Notional 宣布 V2 版本上线，并同步开启其治理代币 NOTE 的流动性挖矿。NOTE 总计发行 1 亿枚，总供应量的 50% 用于流动性激励，20% 用于第一年的流动性激励。V2 版本中最大的升级包括流动性提供者能得到自动滚动 nToken、为贷款人和借款人提供更长固定利率期限、流动性提供者与用户在同一交易中借入抵押品使资本效率达到 100%。 Notional 表示，V2 版本已经过内部测试以及来自 ABDK Consulting、Certora 和 Code Arena 的三项独立审计。
7月20日消息，流动性质押协议 pSTAKE Finance 即将上线 stkBNB 主网，目前 BNB 流动质押的内部测试网已在后台运行，并正在由 PeckShield、Halborn 进行审计，还与 Certora 合作审核关键智能合约（包括质押、解除质押、委托）和监控智能合约规则。 此前消息，5 月份 Binance Labs 对 pSTAKE 进行战略投资。
据报道， Aave 在以太坊的 Goerli 测试网上推出原生稳定币 GHO，GHO 的开发人员和潜在采用者可以访问稳定币的代码库并测试其工作原理，GHO 的主网启动需要社区讨论和批准。 在测试网发布之前，GHO 部署由区块链代码审计公司 Open Zeppelin、SigmaPrime、ABDK 审计，目前正在接受 Certora 的审计。 该协议还启动了一个漏洞赏金计划，鼓励社区成员发现并报告安全漏洞，最高可获得 25 万美元的奖励。
