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: 62.569µs
22Prepare input: 12.271114ms
23========== Nova folding scheme ====================
24Prepare folding: 1.038241793s
25Transform input: 293.007µs
26Prove_step 0: 186.297898ms
27Prove_step 1: 216.137291ms
28Prove_step 2: 244.387123ms
29Prove_step 3: 253.724876ms
30Prove_step 4: 249.476304ms
31Prove_step 5: 254.825831ms
32Folding verification: 15.513019ms
33========== HyperNova<1,1> folding scheme ==========
34Prepare folding: 2.125681209s
35Transform input: 221.36µs
36Prove_step 0: 765.455805ms
37Prove_step 1: 848.616158ms
38Prove_step 2: 833.972256ms
39Prove_step 3: 864.703408ms
40Prove_step 4: 844.404617ms
41Prove_step 5: 865.9787ms
42Folding verification: 31.417487ms
43========== HyperNova<2,2> folding scheme ==========
44Prepare folding: 2.843266713s
45Transform input: 3.922030432s
46Prove_step 0: 995.358483ms
47Prove_step 1: 1.209482586s
48thread 'main' panicked at src/folding.rs:159:6:
49Failed to verify folded proof: IVCVerificationFail
50note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
51make: *** [Makefile:17: run] Error 101
52```