BlockBeats 消息,9 月 27 日,Web3 安全公司 Certora 宣布与智能合约语言 Vyper 团队合作,为所有用户开放其 Prover 工具,以帮助加强 Vyper 代码的安全性。作为 Vyper 社区的密钥持有者,用户将能够直至 2023 年 12 月 31 日使用 Certora Prover 来验证 Vyper 代码。
分享快讯到朋友圈
领取专属 10元无门槛券
私享最新 技术干货