1. 引言
前序博客有：
- ZK-Rollups工作原理
- Polygon zkEVM——Hermez 2.0简介
- Polygon zkEVM网络节点
- Polygon zkEVM 基本概念
- Polygon zkEVM Prover
2022年8月8日Jordi Baylina（Iden3合伙人，Polygon Hermez zkEVM技术负责人）在Zcon3分享 Tooling for building zkEVM: PIL and Circom - Jordi Baylina at Zcon3。
Polygon Hermez 总体架构为：
其中zkProver总体示意为：
zkProver内部示意为：
以Fibonacci序列为例：
Fibonacci序列（1024个元素）对应的CIRCOM R1CS电路表示为：
以上CIRCOM R1CS电路对应的Polynomial Identities/State Machine为：
将以上Polynomial Identities以PIL程序表示为：
构建pre-processed polynomials，并计算witnesses（为state machine）：
以fibonacci.js和fibonacci.pil构建测试用例：
2. PIL中的Permutation Check
3. PIL中的Plookup
4. PIL中的Connection Check（Copy constraints）
5. PIL表示PLONK
6. CIRCOM中的Custom Gates
CIRCOM中的Custom Gates：
- 可用作normal templates
- 与其它模板类似，由CIRCOM生成Witness calculator
- No constraints are allowed.
- 所有的custom gates都导出为.r1cs文件。
- 支持以circom来编写电路，而使用STARK来prove/verify该电路。
- 当前circom支持的primes有：BN128、BLS-12 381、Goldilocks。
7. pil-STARK
https://github.com/0xPolygonHermez/pil-stark pil-STARK工具的作用：
- 根据pil生成a STARK proof system。
- 生成a CIRCOM circuit以verify该STARK。
Demo演示见 Tooling for building zkEVM: PIL and Circom - Jordi Baylina at Zcon3视频第24分钟。
参考资料
[1] 2022年8月8日Jordi Baylina在Zcon3分享 Tooling for building zkEVM: PIL and Circom - Jordi Baylina at Zcon3