Celer 将 Polygon Zero Starky 列为最快的 ZKP 实施（注意事项）

ZKP 框架中的速度与内存

Polygon 的电路开发框架 Starky 成为 Celer Network 检查的最快的零知识证明 (ZKP) 实现，尽管它的证明大小远大于与之比较的 SNARK 框架。

在基准报告中，Celer 测试了以下框架：

• Circom + snarkjs / rapidsnark
• 纳克
• 方舟
• 光环 2 (KZG)
• Plonky2
• 斯塔基。

就底线结果而言，“Starky .. 显示了更短的证明生成时间，但代价是更大的证明大小。 在内存效率方面，rapidsnark 和 Starky 优于其他框架，”Celer 表示。

Celer 指出，这些结果仅限于电路开发框架，并承诺在一份单独的报告中“对不同的 zkVM（例如，Scroll、Polygon zkEVM、Consensys zkEVM、zkSync、Risc Zero、zkWasm）和 IR 编译器框架（例如，Noir、zkLLVM）进行基准测试”未来。”

ZKP框架测试是Celer试图构建“零知识证明万神殿”的第一步。

根据该博客，“第一步将是鼓励社区分享来自各种 ZKP 框架的可重现基准测试结果。 我们的最终目标是共同协作创建和维护一个普遍认可的评估测试平台，涵盖低级电路开发框架、高级 zkVM 和编译器，甚至硬件加速提供商。”

在 Celer 博客上查看完整报告。

‍

什么是 Celer 网络：

Celer Network 是业界领先的区块链间和跨层通信平台。 该协议在多个链之间提供快速、安全和廉价的桥接。 Celer 生态系统包括三个独特的产品：链间消息框架、cBridge 和 Layer2.Finance。

什么是多边形：

Polygon 是一种“侧链”扩展解决方案，与以太坊区块链一起运行——允许快速交易和低费用。 MATIC 是网络的原生加密货币，用于收费、质押等。 Polygon 作为以太坊替代品的有效性已经见证了 Aave 和 Curve 等现有项目采用其链。