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 構建的項目提高其代碼安全性，以加強代碼庫的安全，並簡化即將開展的項目的上市流程。（來源鏈接）