IF9.CN 消息，9 月 27 日，Web3 安全公司 Certora 宣布与智能合约语言 Vyper 团队合作，为所有用户开放其 Prover 工具，以帮助加强 Vyper 代码的安全性。作为 Vyper 社区的密钥持有者，用户将能够直至 2023 年 12 月 31 日使用 Certora Prover 来验证 Vyper 代码。2023 年 7 月 30 日，专为以太坊虚拟机（EVM）设计的面向合约的编程语言 Vyper 编译器 0.2.15、0.2.16 和 0.3.0 版本被宣布存在重入锁失效漏洞。多个 DeFi 项目受到该漏洞的影响，损失总额达 5,200 万美元。