1. 引言

前序博客有：

• ZK-Rollups工作原理
• Polygon zkEVM——Hermez 2.0简介
• Polygon zkEVM网络节点
• Polygon zkEVM 基本概念

Polygon zkEVM Prover开源代码见：

• https://github.com/0xPolygonHermez/zkevm-prover（C++，生产版本）
• https://github.com/0xPolygonHermez/zkevm-proverjs（Javascript，参考版本）

Polygon zkEVM Prover负责：

• 生成zkEVM proof。

Polygon zkEVM Prover程序中提供了3个RPC服务：

• 1）Prover服务：
  • 1.1）调用Prover component来执行输入数据（为a batch of EVM transactions）、计算the resulting state、基于PIL多项式定义及其约束，为该计算生成证明。
  • 1.2）当被Prover服务调用时，Executor component会联合14个状态机来对输入数据进行处理，以生成证明所需的evaluations of the committed polynomials。每个状态机生成各自的computation evidence data，而更复杂的计算则委托给下一级的状态机。
  • 1.3）Prover component调用Stark component来生成 Executor状态机所commit多项式的证明。
  • 1.4）Prover服务的接口定义在文件zk-prover.proto文件内。
• 2）Executor服务：
  • 2.1）调用Executor component来执行输入数据（为a batch of EVM transactions）、计算the resulting state。注意，不同于Prover服务，Executor服务不生成证明。
  • 2.2）提供了一种快速方法，来检查所提议的batch of transactions构建正确，且符合单个batch证明所需的工作量要求。
  • 2.3）当被Executor服务调用时，Executor component仅使用Main状态机，因为此处不需要生成证明，也就不需要committed polynomials。
  • 2.4）Executor服务的接口定义在文件executor.proto文件内。
• 3）StateDB服务：
  • 3.1）提供了接口来访问the state of the system（a Merkle tree）和存储状态的数据库。
  • 3.2）由executor和prover使用，作为单一状态数据源，可用于获取状态详情，如账号余额。
  • 3.3）StateDB服务的接口定义在statedb.proto文件内。

testvectors/config.json 文件中包含了配置不同Prover可选项的配置参数，最重要的相关参数有：

若想运行a proof test，需做如下配置：

• 1）修改config.json文件中的"runFile"参数为“true”，其它参数必须配置为“false”。
• 2）将“inputFile”参数指向所需测试的input test data，testvectors/input_executor.json即为一个测试文件。
• 3）在testvectors文件夹内运行$ ../build/zkProver 来启动Prover。
• 4）输出的proof文件存储在“outputPath”配置参数指定的文件夹内。