【亲测免费】 PLONK: 纯Rust实现的ZKProof系统

基础介绍

PLONK 是一个基于纯 Rust 语言实现的零知识证明（ZKProof）系统。该系统由 Dusk Network 团队开发，提供了一个模块化的 KZG10 多项式承诺方案和定制门以优化性能。PLONK 的设计目标是实现一种高效的零知识证明方法，适用于多种加密应用场景。

主要编程语言

• Rust

核心功能

PLONK 的核心功能包括：

• 零知识证明：系统能够生成零知识证明，证明某个陈述是真实的，而不需要透露任何额外的信息。
• 多项式承诺方案：使用 KZG10 作为默认的多项式承诺方案，保证证明的效率和安全性。
• 定制门：为了提高效率，PLONK 包含了定制门，这些门可以根据特定应用的需求进行优化。

最近更新的功能

根据项目的最新更新，以下是一些新增或改进的功能：

• 性能优化：项目进行了多项性能优化，特别是在证明时间和验证时间上。在苹果 M1 芯片上的测试显示，对于 2^16 个约束的电路，证明时间约为 7.871 秒，验证时间约为 2.821 毫秒。
• 特性支持：增加了 alloc 特性，允许使用分配器，这对于构建和验证证明是必需的。同时，std 特性默认启用，支持标准库使用和 Rayon 并行化。
• 调试支持：debug 特性的增加使得可以在运行时启用调试器后端，输出 CDF 文件以便于分析。

请注意，虽然项目提供了这些功能和特性，但它目前仍处于不稳定状态，需要进行彻底的安全分析。因此，使用前请确保了解相关风险。