certo

ChainCatcher 消息，Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發。據悉 Certora 計劃開源其開發的規範、證明和驗證框架。

ChainCatcher 消息，中心化的穩定幣借貸協議 Certo 宣布，在測試網平台上增加對 USD Coin (USDC) 存款和借貸的支持。stUSD 是一種利用 Certo 產生利息的穩定幣。隨著 USDC 的加入，Certo 生態系統的參與者現在可以靈活地存入 USDT 和 USDC 以接收 stUSD。此增強功能允許用戶直接在 Certo 界面內預覽他們的投資如何隨時間產生利息。

ChainCatcher 消息，Web3 安全公司 Certora 宣布與智能合約語言 Vyper 團隊合作，為所有用戶開放其 Prover 工具，以幫助加強 Vyper 代碼的安全性。作為 Vyper 社區的密鑰持有者，用戶將能夠直至 2023 年 12 月 31 日使用 Certora Prover 來驗證 Vyper 代碼。

ChainCatcher 消息，以色列安全公司 Certora 已公開了關於 Lido V2 智能合約的審計報告。Certora 指出，審計中共發現了 23 個問題，包括 2 個關鍵問題和 5 個嚴重性問題，Lido 團隊迅速且周到地就這些問題做出了反應。（來源鏈接）

ChainCatcher 消息，去中心化交易協議 Balancer 和智能合約安全分析工具 Certora 合作推出 Balancer Certora 安全加速器，可提供代碼審查，並授予對 Certora 形式驗證證明程序的訪問權限，旨在幫助 Balancer 構建的項目提高其代碼安全性，以加強代碼庫的安全，並簡化即將開展的項目的上市流程。（來源鏈接）