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\]

相关推荐
胡耀超2 个月前
探讨零知识证明的数学原理与应用
python·web安全·区块链·密码学·数据安全·零知识证明
forestsea2 个月前
零知识证明:区块链隐私保护的变革力量
区块链·零知识证明
拾忆-eleven2 个月前
解构区块链身份认证:从ID到零知识证明的实战指南
区块链·零知识证明
人类群星闪耀时3 个月前
区块链技术在数据隐私保护中的应用:从去中心化到零知识证明
去中心化·区块链·零知识证明
搬砖魁首3 个月前
2024年零知识证明(ZK)研究进展
区块链·零知识证明·zk·sumcheck·sum-check
电报号dapp1193 个月前
下一代代币技术白皮书:合规化智能合约与零知识证明隐私协议
web3·去中心化·区块链·智能合约·零知识证明
电报号dapp1194 个月前
2025交易所开发突围:AI增强型撮合引擎与零知识证明跨链架构
人工智能·架构·web3·去中心化·区块链·智能合约·零知识证明
Minner-Scrapy4 个月前
零知识证明与 ZK Rollups 详解
scrapy·区块链·网络爬虫·零知识证明
阳阳大魔王4 个月前
零知识证明在区块链加密货币中的应用分析
网络·网络安全·区块链·零知识证明
TianXuan_Chain6 个月前
web3基于zkEVM的L2扩容方案-Scroll
web3·区块链·零知识证明·l2