zkEVM 的约束层级设计：架构、权衡与演进
组合数学
2026-02-23 v2
摘要
零知识以太坊虚拟机（zkEVM）必须解决一个根本性矛盾：以太坊虚拟机原为透明顺序执行而设计，而零知识证明则要求代数电路表示。本综述提供了对现有主要生产级 zkEVM 实现如何通过不同约束工程策略解决这一张力的首次系统性分析。我们发展了一种比较框架，将设计空间映射到三个架构维度。首先，算术化方案揭示了明显的权衡：R1CS 需要组合式小部件库，PLONKish 通过捕获复杂 EVM 操作符的自定义门来实现优雅性，而 AIR 的均匀结构本质上不匹配 EVM 的不规则指令集。其次，调度机制决定约束激活模式：基于选择器的系统在非活跃约束上浪费 trace 宽度，而基于 ROM 的方法则用内存查找换取执行灵活性。其次，Type 1-4 谱量化了一种不可避免的权衡：Type 1 在位级 EVM 兼容性方面需要显著更高的约束复杂度，而 Type 4 的自定义指令集则更简洁。除记录实现外，我们识别了跨多个领域的关键开放问题：防止亚秒级证明的性能瓶颈、约束到 EVM 语义等价性缺乏形式化验证、缺乏标准化基准框架，以及混合 zkEVM/zkVM 设计、去中心化 prover 协调、隐私保护和互操作性方面的架构缺口。
引用
@article{arxiv.2510.05375,
title = {Colourings of Uniform Group Divisible Designs and Maximum Packings},
author = {Andrea C Burgess and Peter Danziger and Diane Donovan and Tara Kemp and James G. Lefevre and David A. Pike and E. Şule Yazıcı},
journal= {arXiv preprint arXiv:2510.05375},
year = {2026}
}