智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper

7月19日消息，以太坊Layer 2扩容解决方案zkSync公告表示，zkSync 2.0测试网现已支持以太坊编程语言Vyper 0.3.3。此外，zkSync表示将于本周晚些时候发布另一则公告。

9月7日消息，以太坊编程语言 Vyper 发布 v0.3.10 候选版本，添加了代码大小优化模式、特定于 vyper 的新 #pragma 指令、对一些编译器生成的代码使用 Cancun 的 MCOPY 操作码，并生成现在具有 O（1） 性能的选择器表。 金色财经此前报道，Vyper 编译器发布漏洞事件分析报告，漏洞于 v0.3.1 修复并测试。

5月30日消息，以太坊编程语言 Vyper 发布 v0.3.9 版本，是针对 v0.3.8 的补丁修复版本，修复了蓝图合约（blueprint contracts）的代码大小回归以及导致 v0.3.8 中运行时 Gas 性能退化的问题。

7月31日消息，以太坊编程语言Vyper发推称，Vyper 0.2.15、0.2.16 和 0.3.0 版本受到重入锁故障的影响，调查仍在进行中。

金色财经报道，Pythonic EVM智能合约语言Vyper发布0.4.0版本。该版本引入了一个新的模块系统，提高了智能合约的代码重用性。该系统有两种类型的库模块：无状态模块和有状态模块。无状态模块可以跨合约定义函数、事件和常量，而不会在调用或交易之间保留状态。 另一方面，有状态模块可以将函数和变量捆绑在一起，并支持在模块内管理访问和权限的所有权系统。有状态模块非常适合需要共享数据或限制访问的情况。除其他功能外，Vyper v0.4.0还引入了专为EVM设计的新优化管道Venom。Vyper是以太坊开发者中第二受欢迎的编程语言。

7月11日消息，区块链安全机构 Halborn 在 Twitter 上表示，在审计 Cadence 语言期间发现 Flow 编程语言 Cadence 中的高危漏洞，该漏洞使得 Cadence 可以允许访问被销毁的资源。该漏洞产生的原因是由于当资源被销毁时，解释器不会使对资源的引用无效，从而使得可以调用被销毁资源上的函数。目前 Cadence 解释器已更新，以便在创建对可选项的引用时检查内部值的类型。