sonobe-playground/README.md
README.mdRaw
1# sonobe-playground
2
3## Current state
4
5- ✅ Nova folding
6- ✅ HyperNova folding without multifolding (μ = ν = 0)
7- ✅ HyperNova multifolding (μ = ν = 1)
8
9## Reproduce
10
11```bash
12make prepare-circuit
13make run
14```
15
16### Expected output
17
18_12th Gen Intel® Core™ i7-12800H × 20, 32Gb RAM_
19
20```
21Prepare circuit: 386.733µs
22Prepare input: 9.041434ms
23========== Nova folding scheme ====================
24Prepare folding: 1.042210402s
25Transform input: 352.973µs
26Prove_step 0: 188.311556ms
27Prove_step 1: 201.33003ms
28Prove_step 2: 256.05521ms
29Prove_step 3: 282.359763ms
30Prove_step 4: 252.831315ms
31Prove_step 5: 255.913864ms
32Folding verification: 16.793244ms
33========== HyperNova<1,1> folding scheme ==========
34Prepare folding: 2.065175679s
35Transform input: 212.792µs
36Prove_step 0: 796.910579ms
37Prove_step 1: 853.848474ms
38Prove_step 2: 930.1784ms
39Prove_step 3: 872.190521ms
40Prove_step 4: 910.903061ms
41Prove_step 5: 939.589533ms
42Folding verification: 29.238423ms
43========== HyperNova<2,2> folding scheme ==========
44Prepare folding: 2.995732852s
45Transform input: 3.9520013s
46Prove_step 0: 966.629701ms
47Prove_step 1: 1.22535041s
48Folding verification: 33.430805ms
49```