Plonky2.5:在Plonky2中验证Plonky3 proof

1. 引言

Plonky2.5为QED Protocol团队主导的项目,定位为:

  • 在Plonky2 SNARK中验证Plonky3 STARK proof。

从而实现Plonky系列的递归证明。

开源代码实现见:

  • https://github.com/QEDProtocol/plonky2.5
  • https://github.com/Plonky3/Plonky3(Rust):
    • 支持的域有:M31域及其AVX2/AVX-512/NEON加速实现、Babybear域及其AVX2/AVX-512/NEON加速实现、Goldilocks域。
    • 支持通用向量承诺方案:通用Merkle tree
    • 多项式承诺方案:基于FRI的PCS、tensor PCS、单变量-》多变量适配器、多变量-》单变量适配器
    • PIOP:单变量STARK、多变量STARK、PLONK
    • 编码:Brakedown编码,和Reed-Solomon编码
    • 插值方式:Barycentric interpolation、radix-2 DIT FFT、radix-2 Bowers FFT、four-step FFT、Mersenne circle group FFT。
    • 哈希函数:Rescue、Poseidon、Poseidon2、BLAKE3、Keccak-256、Monolith
  • https://github.com/0xPolygonZero/plonky2(Rust):基于PLONK和FRI实现的SNARK。已扩展包含Starky(高性能STARK实现)。

参考资料

[1] https://github.com/QEDProtocol/plonky2.5

相关推荐
mutourend1 个月前
当今SNARKs全景
零知识证明
warm3snow1 个月前
密码学承诺原理与应用 - 概览
同态加密·零知识证明·密码学承诺·sigma·pedersen承诺
yunteng5212 个月前
零知识证明-ZK-SNARKs基础(七)
区块链·零知识证明·zk-snarks·ricp·qap
nina_LeXin2 个月前
Mina protocol - 体验教程
web3·区块链·密码学·零知识证明
神通广大白居易2 个月前
【零知识证明】通读Tornado Cash白皮书(并演示)
区块链·零知识证明·tornado·circom·snarkjs
yunteng5212 个月前
零知识证明-公钥分发方案DH((六)
算法·区块链·零知识证明·密钥分发·dh
神通广大白居易2 个月前
【零知识证明】Groth16
区块链·零知识证明
yunteng5212 个月前
零知识证明-基础数学(二)
区块链·零知识证明·欧拉定理·费马小定理·模逆元
知识点集锦4 个月前
代发考生战报:南京考场华为售前HCSP H19-411考试通过
网络·学习·华为·微软·零知识证明
夏冰加密软件4 个月前
零知识证明技术:隐私保护的利器
区块链·零知识证明