You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Piotr Mikołajczyk 986509549a
Do what I can with 720 inputs
10 months ago
circuit Simplify circuit 11 months ago
src Do what I can with 720 inputs 10 months ago
.gitignore gitignore 11 months ago
Cargo.lock Add logging 10 months ago
Cargo.toml Add logging 10 months ago
Makefile Common inputs 11 months ago
README.md Woohoo - multifolding works! 10 months ago
analysis.py Plot M vs N 10 months ago
rust-toolchain.toml Rust project structure 11 months ago
rustfmt.toml Rust project structure 11 months ago

README.md

sonobe-playground

Current state

  • Nova folding
  • HyperNova folding without multifolding (μ = ν = 0)
  • HyperNova multifolding (μ = ν = 1)

Reproduce

make prepare-circuit
make run

Expected output

12th Gen Intel® Core™ i7-12800H × 20, 32Gb RAM

Prepare circuit: 386.733µs
Prepare input: 9.041434ms
========== Nova folding scheme ====================
Prepare folding: 1.042210402s
Transform input: 352.973µs
Prove_step 0: 188.311556ms
Prove_step 1: 201.33003ms
Prove_step 2: 256.05521ms
Prove_step 3: 282.359763ms
Prove_step 4: 252.831315ms
Prove_step 5: 255.913864ms
Folding verification: 16.793244ms
========== HyperNova<1,1> folding scheme ==========
Prepare folding: 2.065175679s
Transform input: 212.792µs
Prove_step 0: 796.910579ms
Prove_step 1: 853.848474ms
Prove_step 2: 930.1784ms
Prove_step 3: 872.190521ms
Prove_step 4: 910.903061ms
Prove_step 5: 939.589533ms
Folding verification: 29.238423ms
========== HyperNova<2,2> folding scheme ==========
Prepare folding: 2.995732852s
Transform input: 3.9520013s
Prove_step 0: 966.629701ms
Prove_step 1: 1.22535041s
Folding verification: 33.430805ms