Certora 与 Vyper 合作，为用户开放 Prover 工具保障 Vyper 代码安全性
2024-09-19 02:09:29
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布与智能合约语言 Vyper 团队合作，为所有用户开放其 Prover 工具，以帮助加强 Vyper 代码的安全性。
作为 Vyper 社区的密钥持有者，用户将能够直至 2023 年 12 月 31 日使用 Certora Prover 来验证 Vyper 代码。
相关项目
最新快讯
美联储 10 月降息 25 个基点概率达 99.5%
ChainCatcher
2025-10-29 06:06:40
数据：过去 1 小时 Binance 净流出 4,001.34 万 USDT
ChainCatcher
2025-10-29 04:44:02
数据：ETH 跌破 4000 美元
ChainCatcher
2025-10-29 04:14:02
数据：BTC 跌破 113000 美元
ChainCatcher
2025-10-29 04:11:02
道琼斯指数收盘上涨 161.78 点，标普 500 和纳指均上涨
ChainCatcher
2025-10-29 04:06:54
