ChainCatcher 消息，Web3 安全公司 Certora 宣布与智能合约语言 Vyper 团队合作，为所有用户开放其 Prover 工具，以帮助加强 Vyper 代码的安全性。 作为 Vyper 社区的密钥持有者，用户将能够直至 2023 年 12 月 31 日使用 Certora Prover 来验证 Vyper 代码。

ChainCatcher 消息，区块链审计和安全公司 Statemind 发布 Lido Finance V2 审计报告，审计共发现 120 个问题，包括 2 个严重问题和 8 个高风险问题，17 个严重程度适中的问题。  此前消息，4 月底智能合约安全项目 Certora 称发现 Lido V2 协议中的 23 个问题，包括 2 个严重问题和 5 个高风险问题。Lido 团队已回应和解决了部分问题。（来源链接）

ChainCatcher 消息，以色列安全公司 Certora 已公开了关于 Lido V2 智能合约的审计报告。Certora 指出，审计中共发现了 23 个问题，包括 2 个关键问题和 5 个严重性问题，Lido 团队迅速且周到地就这些问题做出了反应。（来源链接）

ChainCatcher 消息，去中心化交易协议 Balancer 和智能合约安全分析工具 Certora 合作推出 Balancer Certora 安全加速器，可提供代码审查，并授予对 Certora 形式验证证明程序的访问权限，旨在帮助 Balancer 构建的项目提高其代码安全性，以加强代码库的安全，并简化即将开展的项目的上市流程。（来源链接）

链捕手消息，总部位于以色列的智能合约安全公司Certora宣布完成3600万美元B轮融资，Jump Crypto领投，Tiger Global、Galaxy Digital、Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase、VMware等参投。（来源链接）

链捕手消息，2 月 23 日，dForce 借贷协议 V1 发布在即，目前已通过全球领先区块链安全审计公司 CertiK、Certora 进行的安全审计和形式化验证。同时，dForce 增聘两家全球顶级审计机构，对 V2 进行安全审计。 dForce 借贷是一个安全、灵活、开源的去中心化借贷协议，在全球资金池模式上，增加了超额抵押多货币贷款，允许用户通过超额抵押的方式生成不同币种的稳定币贷款。dForce 借贷的亮点包括：增强风控模型、支持闪电贷、多货币支持、定制的公有-私有池、固定利率/期限存款、无抵押借贷、共享授信额度等功能。