这是经过高度简化的抽象概念。从技术上来说，「EVM 状态」 的名单更长，包括程序计数器、gas 余量、调用栈（以上所有加上堆栈中每次调用的地址和静态）、一组日志和交易范围变量（热存储槽、退款、自毁）。我们可以另外引入针对不同调用环境的标识符来直接支持可组合性。

　　由于存储量很大，我们使用累加器进行存储。内存和堆栈可以使用可编辑的 Plookup （我们可以通过这种方式有效地实现 「RAM」）。

　　一个完整的递归证明添加进 zkEVM 电路并非易事。实现递归的最好方式还是使用循环椭圆曲线（即，Pasta 曲线）。我们需要引入某种 「包装（wrapping）」 过程让递归在以太坊 Layer 1 上可验证。

　　感谢 Vitalik Buterin、Barry Whitehat、Chih-Cheng Liang、Kobi Gurkan 和 Georgios Konstantopoulos 的审阅和真知灼见。