Certora 與 Vyper 合作，為用戶開放 Prover 工具保障 Vyper 代碼安全性
2024-09-19 02:09:29
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布與智能合約語言 Vyper 團隊合作，為所有用戶開放其 Prover 工具，以幫助加強 Vyper 代碼的安全性。
作為 Vyper 社區的密鑰持有者，用戶將能夠直至 2023 年 12 月 31 日使用 Certora Prover 來驗證 Vyper 代碼。
相關專案
最新快訊
美參議院聽證：CFTC 主席提名人 Selig 就加密資產監管表態
ChainCatcher
2025-11-20 07:37:53
Luma AI 獲得 9 億美元 C 輪融資
ChainCatcher
2025-11-20 07:34:52
Samourai Wallet 聯創 William Lonergan Hill 因運營混幣服務被判刑四年
ChainCatcher
2025-11-20 07:30:54
數據：監測到 3,030 萬 USDT 轉出 Binance
ChainCatcher
2025-11-20 07:27:03
貝萊德在特拉華州註冊 iShares 以太坊質押 ETF
ChainCatcher
2025-11-20 07:22:55
