以太坊引入 leanVM 以增强零知识证明和后量子安全性

2025 年 8 月 9 日——以太坊开发团队在最新的以太坊共识层开发者会议上宣布，推出了 leanVM，这是一种新的虚拟机，旨在优化零知识证明 (ZKP) 处理并增强后量子安全性。 LeanVM 由 CoinDesk 首次报道，其架构极简，仅包含四条指令，可在 7 美元的 Raspberry Pi Pico 等低功耗设备上进行高效的形式化验证和操作。它利用多线性 STARK 实现更快、更紧凑的共识，并引入了采样技术来降低承诺成本。 通过将数千个签名聚合成一个证明，leanVM 旨在降低扩展成本，并将速度提升十倍，使其 CPU 处理时间比目前 2.7 秒的水平更高。这与以太坊的长期路线图相一致，该路线图包括最近的 Pectra 硬分叉以及计划于 2025 年 11 月进行的 Fusaka 和 Glamsterdam 升级。虚拟机增强了以太坊抵御潜在量子计算威胁的能力，这是区块链安全领域日益关注的问题。 虽然leanVM不会直接集成到主网，但它将作为Lean以太坊架构的一部分并行演进，支持网络的可扩展性和安全性目标。以太坊联合创始人Vitalik Buterin此前曾强调，此类技术进步对于平台未来发展至关重要。