Polygon zkEVM发布公开测试网2.0

Posted 2022-12-23 mutourend

1. 引言

Polygon zkEVM发布公开测试网2.0，相比于10月份发布的公开测试网1.0版本，做了如下改进：

• 支持递归证明（testnet1.0采用的是one batch of transactions对应one proof）：从而支持多个provers并行工作，提升可扩展性。在testnet 2.0中，证明生成得更快，用户的交易手续费可低于0.04$，未来可进一步降低。
  
• L2 Batch size由400万gas提升到1000万gas：大幅降低了手续费，并提升了交易吞吐量。
• 证明时间由10分钟降低到4分钟
• L1验证gas为35万
• 在finality time和tx cost之间提供了更好的平衡

在Polygon zkEVM内部，sequencer承担核心角色：

• 抓取一组交易，将这些交易转换为a “batch”，然后zkProver会对“batch”进行处理以创建validity proof。

testnet 2.0中对batch creation进行了大幅改进，具体改进措施为：

• 优化了binary状态机
• 优化了Keccak算法

使得可支持更多的签名验证，从而增加batch内可包含的交易数。

此外，还对zkROM中的arithmetization和batch capacity进行了优化。
在ROM强化之后，Polygon zkEVM当前已支持EIP-155: Simple replay attack protection，像Gnosis Safe这样的智能合约。

参考资料

[1] David Schwartz twitter
[2] Final Approach: Last Testnet for an Upgraded Polygon zkEVM

附录：Polygon Hermez 2.0 zkEVM系列博客

• ZK-Rollups工作原理
• Polygon zkEVM——Hermez 2.0简介
• Polygon zkEVM网络节点
• Polygon zkEVM 基本概念
• Polygon zkEVM Prover
• Polygon zkEVM工具——PIL和CIRCOM
• Polygon zkEVM节点代码解析
• Polygon zkEVM的pil-stark Fibonacci状态机初体验
• Polygon zkEVM的pil-stark Fibonacci状态机代码解析
• Polygon zkEVM PIL编译器——pilcom 代码解析
• Polygon zkEVM Arithmetic状态机
• Polygon zkEVM中的常量多项式
• Polygon zkEVM Binary状态机
• Polygon zkEVM Memory状态机
• Polygon zkEVM Memory Align状态机
• Polygon zkEVM zkASM编译器——zkasmcom
• Polygon zkEVM哈希状态机——Keccak-256和Poseidon
• Polygon zkEVM zkASM语法
• Polygon zkEVM可验证计算简单状态机示例
• Polygon zkEVM zkASM 与 以太坊虚拟机opcode 对应集合
• Polygon zkEVM zkROM代码解析（1）
• Polygon zkEVM zkASM中的函数集合
• Polygon zkEVM zkROM代码解析（2）
• Polygon zkEVM zkROM代码解析（3）
• Polygon zkEVM公式梳理
• Polygon zkEVM中的Merkle tree
• Polygon zkEVM中Goldilocks域元素circom约束
• Polygon zkEVM Merkle tree的circom约束
• Polygon zkEVM FFT和多项式evaluate计算的circom约束
• Polygon zkEVM R1CS与Plonk电路转换
• Polygon zkEVM中的子约束系统
• Polygon zkEVM交易解析
• Polygon zkEVM 审计及递归证明