Certora 與 Vyper 合作，為用戶開放 Prover 工具保障 Vyper 代碼安全性
2024-09-19 02:09:29
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布與智能合約語言 Vyper 團隊合作，為所有用戶開放其 Prover 工具，以幫助加強 Vyper 代碼的安全性。
作為 Vyper 社區的密鑰持有者，用戶將能夠直至 2023 年 12 月 31 日使用 Certora Prover 來驗證 Vyper 代碼。
相關專案
最新快訊
數據：American Bitcoin 增持 139 枚 BTC，總持倉量達到約 4,004 枚
ChainCatcher
2025-11-07 10:42:42
數據：Ark Invest 增持約 806 萬美元 BitMine 股票
ChainCatcher
2025-11-07 10:38:57
Binance：Alpha 2.0 的 ELIZAOS 交易開始時間已被推遲
ChainCatcher
2025-11-07 10:38:22
特朗普加密顧問：DeFi 借貸信用危機或演化為加密流動性危機，或將蔓延至 CeFi 領域
ChainCatcher
2025-11-07 10:30:47
收益穩定幣經歷 Luna 暴雷以來最大單週資金流出，總計 10 億美元
ChainCatcher
2025-11-07 10:17:58
