以太坊虚拟机是建立在以太坊区块链上的代码运行环境，合约代码可对外完全隔离并在 EVM 内部运行，其主要作用是处理以太坊系统内的智能合约。之所以说以太坊是图灵完备，是因为开发者可以使用 Solidity 语言创建运行于 EVM 上的应用程序，一切可计算的问题都能计算。但仅是图灵完备还不够，人们还试图将 EVM 封装在 ZK 证明系统里，但问题是封装时会产生大量冗余。Fox 所发明的“小表模式”zkEVM，在保证原生的 Solidity 以太坊开发者能无缝迁移至 zkEVM 的同时，还将大幅削减封装 EVM 到 ZK 证明系统时产生的冗余成本。

不同的零知识证明算法本质的不同在于不同程度的计算代理，高度的代理虽然会使验证的计算容易，但是却可能使得证明的复杂度高，从而导致证明耗时长，或是生成的证明大小较大，反之低程度的代理会使得验证者的开销较大。

密码学当中的零知识证明技术在Web3世界有着广泛的应用，包括进行隐私计算、zkRollup等等。

如果密码学家没有发现张量积（Tensor Product）和多项式取值之间的联系，那就很难出现多项式承诺协议 Brakedown，也就不可能诞生基于 Brakedown 的 Orion、以及 FOAKS 这类全新的快速算法。

本文梳理了sum-check协议的具体流程，以及讨论了协议的复杂度，同时展示了其在许多证明系统当中的应用。

Layer 3是以太坊扩容生态系统的一项伟大工程创新，如果说Layer 2的出现解决了通用型扩容问题，那么 Layer 3的出现则解决了更加高速、更加低成本、定制化的扩容问题。

零知识证明无疑是Web3领域中最具创新性的技术之一，零知识证明也提供了构建Trustless产品的绝佳技术手段。