Plonky3代码已审计

1. 引言

Polygon Plonky3：

• 为Plonky2的下一迭代版本。Plonky2：
  • 是一种超快的ZK证明系统，
  • 针对消费级硬件上的ZK递归做了优化。
  • 工程创新为：Starky
  • 数学创新为：Goldilocks小素数域
  • Plonky2缺点在于：只固定加速了某些常见的区块链操作。
• 定位为下一代ZK证明系统。Plonky3：
  • 不是单一的证明系统
  • 速度快，针对许多操作进行了优化
  • 提供了多个哈希函数和有限域实现，具有巨大的灵活性。可在speed（当速度很重要时）和proof size（当成本很重要时）之间随意取舍。
  • 采用模块化架构，具有用于构建zkVM和zkEVM的模块化工具包
• 目前已用于Valida 和 Succinct SP1 zkVM中，
• 开源代码见：https://github.com/Plonky3/Plonky3
• 目前已审计完成，审计报告见：Least Authority-Polygon Plonky3 Audit Report-18 July 2024
• 开源许可为：MIT/Apache

Polygon Labs团队专注于ZK技术，ZK技术可用于：

• 密码学安全，提高速度
• 递归，提高效率
• 在主权链网络中统一流动性和状态

Polygon Labs团队认为：

• ZK技术，可助力以太坊扩展到互联网规模。

Polygon Plonky3 在有限域和哈希函数方面是模块化的：

• 有限域： BabyBear；Mersenne31；Goldilocks
• 哈希函数： Poseidon；Poseidon2；Rescue；BLAKE3；Keccak-256；Monolith
• 目前，唯一可用的多项式承诺方案是 FRI，但对其他几个方案的支持正在开发中。

参考资料

[1] 2024年7月16日Polygon 团队发推 Polygon Plonky3 is production ready and open-source
[2] 2024年7月16日Polygon Labs Polygon Plonky3, the Next Generation of ZK Proving Systems, is Production Ready

Plonky1/2/3系列博客

• Plonky = Plonk + Halo + Rescue
• Plonky代码解析
• Plonky msm的改进版Yao算法
• Verifieable FHE（VFHE）：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”
• Plonky2：最好的SNARKs和STARKs
• 2023年 ZK Hack以及ZK Summit 亮点记
• Plonky3 Mersenne素数域的Reed-Solomon codes设计
• 基于circle group的Reed-Solomon codes
• SP1：基于Plonky3构建的zkVM
• Plonky1 & Plonky2 & Plonky2.5 & Plonky3
• Plonky2.5：在Plonky2中验证Plonky3 proof
• Binius：基于binary fields的SNARKs（Part 1）（https://github.com/recmo/binius（Rust + Sage）【基于plonky3等库】【Binius：针对硬件优化的SNARK】）
• STARKs with small finite field：小域带来的迷人性能