zk-evm

ChainCatcher 消息，Vitalik Buterin 发文探讨形式化验证（Formal Verification）在区块链安全领域的应用前景。 文章指出，以太坊前沿研发中正兴起一种新范式，直接使用 EVM 字节码、汇编或 Lean 编写代码，并用 Lean 中可自动检查的数学证明验证其正确性，研究者 Yoichi Hirai 将这一范式称为“软件开发的最终形态”。 Vitalik 认为，AI 辅助形式化验证有望同时提升代码效率与安全性，尤其适用于 STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。 文章同时强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效；未来软件或将分化为“安全核心”与“非安全边缘”，以太坊将成为重要安全核心之一。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 在 X 平台发文表示，以太坊扩容分为短期和长期两部分。 短期方面，Glamsterdam 升级将引入区块级访问列表以实现并行验证，ePBS 将允许使用更大比例的时隙进行区块验证，Gas 重新定价将确保操作成本与实际执行时间对齐。 多维 Gas 机制将分阶段推进，首先在 Glamsterdam 中将“状态创建”成本与“执行和 calldata”成本分离，状态创建 Gas 不计入约 1600 万交易 Gas 上限。EVM 层面引入“reservoir”维度机制，默认优先消耗专用维度 Gas，不足时从 reservoir 消耗，后续将过渡到多维定价，不同维度可有不同浮动 Gas 价格。 长期扩容包括 ZK-EVM 和 blob 两部分。blob 方面，计划持续迭代 PeerDAS，目标达到约每秒 8MB 数据处理能力，未来以太坊区块数据将直接进入 blob。 ZK-EVM 方面分阶段推进：2026 年将有支持 ZK-EVM 的验证者客户端，允许约 5%网络依赖运行；2027 年扩大至更大比例的少数节点，同时推进形式化验证；待条件成熟后过渡到五选三强制证明机制，最终持续提升 ZK-EVM 的安全性与形式化验证水平，并涉及 RISC-V 等 VM 变更工作。

ChainCatcher 消息，Vitalik Buterin 在 X 平台发文表示，他正尝试推动一项更具雄心的计划：在现有系统之上构建一个“遵循赛博朋克原则且不丑陋的以太坊”扩展层，并尽可能实现与当前体系的紧密集成与高度互操作性。 该方案将逐步发展，同时确保以太坊本身获得必须系统级实现的赛博朋克与简洁性特征，包括抗审查性、对零知识证明友好以及共识层属性等。 Vitalik Buterin 进一步表示，未来 5 年内（甚至在 AI 编码与形式化验证加速的情况下更快），或将打通一条开放路径，使现有系统在需要时可迁移为基于新体系语言编写的智能合约。 以太坊曾在运行过程中完成类似“空中更换喷气发动机”的重大升级——如“合并”，未来仍有能力再进行约四次类似规模的系统级变革，包括状态树优化、精简共识、ZK-EVM 验证以及虚拟机层变更等。

ChainCatcher 消息，Vitalik Buterin 在社交媒体上发文称，2026 年将是以太坊在自我主权和去信任化方面重新夺回失地的关键一年。计划包括通过 ZK-EVM和 BAL 技术简化节点运行，推出 Helios 验证 RPC 数据，实现 ORAM和 PIR 技术保护用户隐私，开发社会恢复钱包和时间锁功能增强资金安全，以及改进链上 UI与 IPFS 应用。Buterin 强调，以太坊将纠正过去十年在节点运行、应用去中心化和数据隐私方面的妥协，重新聚焦核心价值，虽然这将是一个漫长的过程，但将使以太坊生态系统更加强大。

ChainCatcher 消息，Vitalik Buterin 表示，以太坊已在实际运行层面接近解决“区块链不可能三角”这一长期难题。他指出，PeerDAS 与 ZK-EVM 两项关键升级正使以太坊成为一种“全新的、更强大的去中心化网络”。 Vitalik 称，PeerDAS 已于 2025 年上线主网，而 ZK-EVM 虽仍处于安全性完善阶段，但在性能层面已达到生产级别，预计 2026 年将开始在网络中小规模使用。Vitalik 进一步规划称，未来数年内，以太坊将通过提高 gas 上限、调整状态结构及引入更多基于 ZK-EVM 的验证方式，逐步实现去中心化、安全性与高吞吐量的平衡。他强调，这并非停留在理论层面的设想，而是建立在已运行代码基础上的长期工程成果。 Vitalik 同时回顾称，以太坊为解决数据可用性与扩展性问题已投入近 10 年时间，这一愿景如今正逐步落地。

ChainCatcher 消息，Vitalik Buterin 表示，当前 ZK-EVM 已进入 alpha 阶段，具备生产级性能，剩余主要工作集中在安全性；与此同时，PeerDAS 已正式在以太坊主网上线。Vitalik 指出，这并非渐进式优化，而是正在将以太坊转变为一种同时具备去中心化、共识机制与高带宽的新型 P2P 网络形态。 他回顾称，BitTorrent 具备高带宽但无共识，比特币具备共识但因全量复制导致带宽受限；而以太坊在引入 PeerDAS（数据可用性采样）与 ZK-EVM 后，有望同时实现去中心化、共识与高吞吐，三难困境已通过“主网上运行的真实代码”被解决。其中，PeerDAS 已在主网运行，ZK-EVM 在性能层面已达到生产级。 Vitalik 预计，2026 年起，随着 BAL、ePBS 等机制推进，Gas 上限将逐步提高，并出现运行 ZK-EVM 节点的实际机会；2026–2028 年将进行 Gas 重新定价、状态结构调整及执行负载进入 blob；到 2027–2030 年，ZK-EVM 有望成为网络验证区块的主要方式，进一步推动 Gas 上限提升。此外，他还提到分布式区块构建的重要性，长期目标是避免区块在任何单一地点被完整构建，并通过协议内或协议外方式分散区块构建权力，以降低中心化干预风险并提升地域公平性。

ChainCatcher 消息，Vitalik Buterin 发推表示，modexp 预编译因对 ZK-EVM 极度不友好，最差情况达平均区块 50 倍计算开销，呼吁通过 EIP 以等价 EVM 代码替代，即使需更高 gas。他承认作为 modexp 设计者“羞愧低头”，并指出其使用率极低且增加共识失败风险，不应为极少数需求牺牲整个以太坊生态效率。

ChainCatcher 消息，Vitalik Buterin 在 X 平台发文表示，他高度赞赏 Sandeep Nailwal 及 Polygon 在以太坊生态中的关键作用，特别是在 ZK-EVM 早期投入、支持高扩展性应用（如 Polymarket）及推动抗疫情科研项目方面。他还透露 Sandeep 曾归还价值 1.9 亿美元的 SHIB 捐赠款项，为 Balvi 项目提供关键资金支持。Vitalik 鼓励 Polygon 未来采用现成 ZK 技术以实现更高安全性保障。.

ChainCatcher 消息，针对 Brevis 发布的多 GPU 零知识虚拟机（zkVM）Pico Prism，Vitalik 评价表示，“很高兴看到 Brevis 的 Pico Prism 正式进军 ZK-EVM 验证领域。ZK-EVM 验证速度和多样性迈出了重要一步。” 此前消息，Pico Prism 已在消费级硬件上实现了以太坊实时证明：使用 64 块 RTX 5090 显卡，在 12 秒内完成了 99.6% 的以太坊 L1 区块证明，其中 96.8% 的区块证明时间低于以太坊基金会设定的 10 秒内标准。在 9 月 1 日的测试中，在以太坊当前 45M 的 gas 限制情况下，Pico Prism 平均证明时间仅 6.9 秒。

ChainCatcher 消息，Vitalik Buterin 发布最新文章《探索 circle STARKs》，文章指出 Starkware 能够在 M3 芯片笔记本上每秒证明 620,000 个 Poseidon2 哈希值，这意味着如果我们愿意信任 Poseidon2 作为哈希函数，那么制作高效 ZK-EVM 的最难部分之一实际上已经解决了。 其表示，与常规 STARK 相比，circle STARK 不会给开发人员带来太多额外的复杂性。circle FRI 所操作的“多项式”背后的数学原理相当违反直觉，需要一段时间才能理解和领悟。但恰好这种复杂性被隐藏起来，开发人员无法察觉。Circle 数学原理的复杂性是封装的，而不是系统的。 Vitalik 认为，结合 Mersenne31、BabyBear 和像 Binius 这样的二进制域技术，感觉正在接近 STARKs “基础层”的效率极限；预计 STARK 优化的前沿将转向对哈希函数和签名等原语进行最有效的算术化（并优化这些原语本身以实现这一目的）、制作递归结构以实现更多并行化、对虚拟机进行算术化以改善开发者体验，以及其他更高级别的任务。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发文深入探讨了“ZK-EVM”（Zero-Knowledge Ethereum Virtual Machine）的概念及其可能实现形式。 文章指出，当前的 Layer-2 EVM 协议（如 Optimistic Rollups 和 ZK Rollups）需要依赖于 EVM 的验证机制，但这同时意味着他们必须信任庞大的代码库。一旦代码库中存在漏洞，这些虚拟机可能面临被攻击的风险。此外，即便是希望与 L1 EVM 保持完全等效的 ZK-EVM，也需要一定形式的治理机制，以便将 L1 EVM 的变更复制到自己的 EVM 实现中。 Buterin 提出的 ZK-EVM 概念，旨在减少 Layer-2 项目对 Ethereum 协议功能的重复实现，并提高其在验证 Layer-1 Ethereum 区块时的效率。他还展望了未来光客户端（light clients）将更加强大，甚至可能利用 ZK-SNARKs（零知识证明）完全验证 L1 EVM 执行，届时 Ethereum 网络将实质上具备内置的 ZK-EVM 功能。 文章还讨论了实现 ZK-EVM 的不同版本，包括它们的设计挑战、权衡利弊，以及为何某些方向可能不被采纳。强调了在实现协议功能时，应权衡其优势与保持基础协议简洁性的好处。对于 ZK-EVM 的关键属性，Buterin 强调了其基本功能性、与 Ethereum 多客户端哲学的兼容性、数据可用性要求、可审计性和可升级性。此外，他还提到了对“almost-EVM”的支持，即允许 L2 的 VM 在与 EVM 只有微小差异的情况下，仍能使用协议内的 ZK-EVM，同时也为 EVM 的部分定制化提供了灵活性。

ChainCatcher 消息，链游 Abyss World 官方在社交媒体上发文表示，Abyss World 团队决定基于 Polygon zk-EVM 来打造这款游戏。 据悉，这将使 Abyss World 中智能合约的执行更加高效，并能够处理更多的用户交互，希望与 PolygonGaming 的合作将释放 Web3 游戏创造力的全部潜力。（来源链接）