zk-evm

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 将成为以太坊的第三种客户端，对网络的安全和去中心化至关重要。然而，这种方法也存在一些挑战，例如处理恶意攻击者可能会延迟发布块以及对一个客户机有效的证明所带来的延迟挑战。（来源链接）

ChainCatcher 消息，基于 zkRollup 的以太坊二层网络 Taiko 已上线 ZK-EVM alpha-2 测试网“Askja”，现已允许开发人员部署智能合约。该测试网目前部分集成了 ZKP 有效性证明，让验证者无需许可即可生成证明。 此外 Taiko 启用协议经济学，对验证者给予真实奖励以补偿其资源消耗。Taiko L2 测试网对应的 L1 是以太坊测试网 Sepolia，并部署了 Uniswap V2 分叉以支持交易。（来源链接）

Chaincatcher 消息，以太坊 ZK-Rollup 扩容方案 Taiko 发文公布路线图，计划在本月推出 Alpha-2 测试网，其中包含无需许可的 provers 和部分 ZK-EVM 电路，并在 2024 年初上线主网，实现完整的 ZK-EVM 电路、去中心化 proposers 和去中心化 provers。（来源链接）

ChainCatcher 消息，跨链桥 Hop Protocol 近日宣布，ConsenSys zk-EVM 已集成到 Hop 的测试网站点，当测试网向公众开放时，用户将能够从任何支持的测试网链中发送 Goerli ETH 到新的 ConsenSys zk-EVM。 Hop 称，该集成最初是 ConsenSys zk-EVM 团队在 Hop 治理论坛上提出的建议，并一致通过了治理周期的所有阶段。（来源链接）