Skip to content

Instantly share code, notes, and snippets.

View huitseeker's full-sized avatar

François Garillot huitseeker

View GitHub Profile
# Benchmarks
## Table of Contents
- [Benchmark Results](#benchmark-results)
- [CompressedSNARK](#compressedsnark)
- [CompressedSNARK-Commitments](#compressedsnark-commitments)
- [BatchedCompressedSNARK](#batchedcompressedsnark)
- [BatchedCompressedSNARK-Commitments](#batchedcompressedsnark-commitments)
huitseeker@sleipnir➜tmp/Nova/benches(dev✗)» git checkout rayon_parscan [11:46:17]
Switched to branch 'rayon_parscan'
huitseeker@sleipnir➜tmp/Nova/benches(rayon_parscan✗)» ARECIBO_BENCH_OUTPUT=commit-comment just gpu-bench-ci pcs
/home/huitseeker//.gem/ruby/3.0.0/bin:/home/huitseeker/.opam/fiat/bin:/home/huitseeker//node_modules/.bin:/home/huitseeker//.local/share/ponyup/bin:/home/huitseeker//.local/bin:/bin:/home/huitseeker//golang/bin:/home/huitseeker//bin:/home/huitseeker//.g
em/ruby/3.0.0/bin:/home/huitseeker/.opam/fiat/bin:/home/huitseeker//node_modules/.bin:/home/huitseeker//.local/share/ponyup/bin:/home/huitseeker//.local/bin:/bin:/home/huitseeker//golang/bin:/home/huitseeker//bin:/home/huitseeker//.cargo/bin:/usr/texbin
/:/usr/local/bin:/usr/local/sbin:/home/huitseeker//bin:/home/huitseeker//.gem/ruby/3.0.0/bin:/home/huitseeker/.opam/fiat/bin:/home/huitseeker//node_modules/.bin:/home/huitseeker//.local/share/ponyup/bin:/home/huitseeker//.local/bin:/bin:/home/huitseeker
//golang/bin:/home/huitseeker//bi

Lurk Lab Activity Reports

Lurk Lab Activity Reports

Lurk Lab Activity Reports

Finished release [optimized] target(s) in 0.27s
Running `target/release/examples/minroot`
Number of constraints per step (primary circuit): 206594
Number of constraints per step (secondary circuit): 10538
Number of variables per step (primary circuit): 206586
Number of variables per step (secondary circuit): 10518
Compressed::Prove 1s ├───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
CompressedSNARK::prove 1s ├───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
NIFS::prove 12ms ├┤
AZ_1, BZ_1, CZ_1 825μs ┆
Finished release [optimized] target(s) in 0.25s
Running `target/release/examples/minroot`
Number of constraints per step (primary circuit): 206594
Number of constraints per step (secondary circuit): 10538
Number of variables per step (primary circuit): 206586
Number of variables per step (secondary circuit): 10518
Compressed::Prove 12s ├──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
CompressedSNARK::prove 12s ├──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┤
NIFS::prove 14ms ┆
AZ_1, BZ_1, CZ_1 945μs ┆
group main main_before_299_300 zeromorp_and_kzg_pr
----- ---- ------------------- -------------------
PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<halo2curves::bn256::engine::Bn256, nova_snark::provider::Bn256EngineKZG>/10 7.5ms
PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<nova_snark::provider::hyperkzg::Bn256EngineKZG>/10 7.7ms
PCS-Proving 10/nova_snark::provider::mlkzg::EvaluationEngine<nova_snark::provider::mlkzg::Bn256Engi
group main main_before_299_300 zeromorp_and_kzg_pr
----- ---- ------------------- -------------------
PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<halo2curves::bn256::engine::Bn256, nova_snark::provider::Bn256EngineKZG>/10 7.5±0.02ms
PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<nova_snark::provider::hyperkzg::Bn256EngineKZG>/10 7.7±0.09ms
PCS-Proving 10/nova_snark::provider::mlkzg::EvaluationEngine<nova_snark::provider::mlkzg:
group main main_before_299_300 zeromorp_and_kzg_pr
----- ---- ------------------- -------------------
PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<halo2curves::bn256::engine::Bn256, nova_snark::provider::Bn256EngineKZG>/10 7.5±0.02ms
PCS-Proving 10/nova_snark::provider::hyperkzg::EvaluationEngine<nova_snark::provider::hyperkzg::Bn256EngineKZG>/10 7.7±0.09ms
PCS-Proving 10/nova_snark::provider::mlkzg::EvaluationEngine<nova_snark::provider::mlkzg: