FRI low degree testing (LDT) & FRI polynomial commitment (PCS) inspired by [VP19] paper.
Note: This is a free time project, not for production use.
cargo bench
Benchmarking fri_ldt_keccak_prove_verify_deg31: Warming up for 3.0000 s
fri_ldt_keccak_prove_verify_deg31
time: [1.2236 ms 1.2263 ms 1.2302 ms]
change: [-0.2080% +0.1693% +0.5203%] (p = 0.37 > 0.05)
No change in performance detected.
Found 11 outliers among 100 measurements (11.00%)
4 (4.00%) high mild
7 (7.00%) high severe
Benchmarking fri_ldt_blake_prove_verify_deg31: Warming up for 3.0000 s
fri_ldt_blake_prove_verify_deg31
time: [1.1000 ms 1.1009 ms 1.1018 ms]
change: [-1.1369% -0.7596% -0.3869%] (p = 0.00 < 0.05)
Change within noise threshold.
Found 12 outliers among 100 measurements (12.00%)
4 (4.00%) high mild
8 (8.00%) high severe
Running benches/fri_pcs_bench.rs (target/release/deps/fri_pcs_bench-609a68efb9b3dad2)
fri_pcs_keccak_commit_open_verify_deg31
time: [3.8001 ms 3.8056 ms 3.8136 ms]
change: [-1.1811% -0.7956% -0.4421%] (p = 0.00 < 0.05)
Change within noise threshold.
Found 10 outliers among 100 measurements (10.00%)
3 (3.00%) high mild
7 (7.00%) high severe
fri_pcs_blake_commit_open_verify_deg31
time: [3.4301 ms 3.4319 ms 3.4339 ms]
change: [-0.0143% +0.0790% +0.1736%] (p = 0.11 > 0.05)
No change in performance detected.
Found 7 outliers among 100 measurements (7.00%)
3 (3.00%) high mild
4 (4.00%) high severe
Running benches/merkle_bench.rs (target/release/deps/merkle_bench-ef8a79d8041d37c9)
merkle_proof_keccak256_64
time: [292.10 µs 292.80 µs 293.77 µs]
change: [-0.1591% +0.1837% +0.4944%] (p = 0.29 > 0.05)
No change in performance detected.
Found 9 outliers among 100 measurements (9.00%)
4 (4.00%) high mild
5 (5.00%) high severe
merkle_proof_blake3_64 time: [235.63 µs 236.79 µs 237.90 µs]
change: [+0.3160% +0.5673% +0.8358%] (p = 0.00 < 0.05)
Change within noise threshold.
Found 11 outliers among 100 measurements (11.00%)
7 (7.00%) high mild
4 (4.00%) high severe