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 游戏创造力的全部潜力。（来源链接）

ChainCatcher 消息，以太坊创始人 Vitalik 在最新文章《以太坊的多客户端理念将如何与 ZK-EVM 交互?》中强调了以太坊的多客户端理念在维护其安全性和去中心化方面的重要性。以太坊没有每个人都运行的默认“参考客户端”，相反有一个协作管理的规范并且有多个团队实现规范（即“客户端”）。 Vitalik 强调了 ZK-EVM 作为一种新的过渡的重要性，它使用了 EVM 执行的 SNARK 证明，并积极支持主网上的 ZK Rollup 等第二层协议。 然而，ZK-EVM 的挑战在于它如何与多客户端理念进行交互。为了解决这个问题，Vitalik 建议每个客户端在接受一个有效的块之前，都要等待一个与自己的实现兼容的证明。这种方法牺牲了多客户端范例的一些好处，但在能够正式证明所有 ZK-EVM 实现彼此等价之前，它是理想的。ZK-EVM 将成为以太坊的第三种客户端，对网络的安全和去中心化至关重要。然而，这种方法也存在一些挑战，例如处理恶意攻击者可能会延迟发布块以及对一个客户机有效的证明所带来的延迟挑战。（来源链接）