plonky2

Plonky2 及其他项目

如何使用 Plonky2 来实现简单的应用程序，一个很好的起点是附带的示例：

• factorial: 证明对 100 的知识
• fibonacci: 证明对第 100 个 Fibonacci 数的知识
• range_check: 证明一个域元素在给定的范围内
• square_root: 证明对给定域元素的平方根的知识

rustup override set nightly

在 Plonky2 目录中。

运行

要查看递归性能,可以运行此基准测试,它生成一个包含三个递归证明的链:

RUSTFLAGS=-Ctarget-cpu=native cargo run --release --example bench_recursion -- -vv

Jemalloc

Plonky2 更喜欢使用 Jemalloc 内存分配器,因为它的性能更好。要使用它,请在 Cargo.toml 中添加 jemallocator = "0.5.0" 并添加以下行: 到你的 main.rs:

use jemallocator::Jemalloc;

#[global_allocator]
static GLOBAL: Jemalloc = Jemalloc;

已知在 Rosetta 2 环境下,为 x86 编译的二进制文件在基于 Apple 硅的 Mac 上运行时会导致崩溃。