- Benchmark Results
- CompressedSNARK-StepCircuitSize-0
- CompressedSNARK-StepCircuitSize-6560
- CompressedSNARK-StepCircuitSize-22944
- CompressedSNARK-StepCircuitSize-55712
- CompressedSNARK-StepCircuitSize-121248
- CompressedSNARK-StepCircuitSize-252320
- CompressedSNARK-StepCircuitSize-514464
- CompressedSNARK-StepCircuitSize-1038752
- CompressedSNARK-Commitments-StepCircuitSize-0
- CompressedSNARK-Commitments-StepCircuitSize-6560
- CompressedSNARK-Commitments-StepCircuitSize-22944
- CompressedSNARK-Commitments-StepCircuitSize-55712
- CompressedSNARK-Commitments-StepCircuitSize-121248
- CompressedSNARK-Commitments-StepCircuitSize-252320
- RecursiveSNARK-StepCircuitSize-0
- RecursiveSNARK-StepCircuitSize-6560
- RecursiveSNARK-StepCircuitSize-22944
- RecursiveSNARK-StepCircuitSize-55712
- RecursiveSNARK-StepCircuitSize-121248
- RecursiveSNARK-StepCircuitSize-252320
- RecursiveSNARK-StepCircuitSize-514464
- RecursiveSNARK-StepCircuitSize-1038752
- CompressedSNARK-StepCircuitSize-6559
- CompressedSNARK-StepCircuitSize-22943
- CompressedSNARK-StepCircuitSize-55711
- CompressedSNARK-StepCircuitSize-121247
- CompressedSNARK-StepCircuitSize-252319
- CompressedSNARK-StepCircuitSize-514463
- CompressedSNARK-StepCircuitSize-1038751
- CompressedSNARK-Commitments-StepCircuitSize-6559
- CompressedSNARK-Commitments-StepCircuitSize-22943
- CompressedSNARK-Commitments-StepCircuitSize-55711
- CompressedSNARK-Commitments-StepCircuitSize-121247
- CompressedSNARK-Commitments-StepCircuitSize-252319
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-0
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-6540
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-22924
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-55692
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-121228
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-252300
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-514444
- CompressedSNARKSuperNova-1circuit-StepCircuitSize-1038732
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-0
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-6540
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-22924
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-55692
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-121228
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-252300
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-514444
- CompressedSNARKSuperNova-2circuit-StepCircuitSize-1038732
- RecursiveSNARK-StepCircuitSize-6559
- RecursiveSNARK-StepCircuitSize-22943
- RecursiveSNARK-StepCircuitSize-55711
- RecursiveSNARK-StepCircuitSize-121247
- RecursiveSNARK-StepCircuitSize-252319
- RecursiveSNARK-StepCircuitSize-514463
- RecursiveSNARK-StepCircuitSize-1038751
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-0
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-6540
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-22924
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-55692
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-121228
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-252300
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-514444
- RecursiveSNARKSuperNova-1circuit-StepCircuitSize-1038732
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-0
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-6540
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-22924
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-55692
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-121228
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-252300
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-514444
- RecursiveSNARKSuperNova-2circuit-StepCircuitSize-1038732
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-0
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-6540
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-22924
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-55692
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-121228
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-252300
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-514444
- CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-1038732
nova |
arecibo |
|
---|---|---|
Prove |
716.39 ms (✅ 1.00x) |
649.95 ms (✅ 1.10x faster) |
Verify |
26.38 ms (✅ 1.00x) |
24.68 ms (✅ 1.07x faster) |
nova |
|
---|---|
Prove |
1.00 s (✅ 1.00x) |
Verify |
34.20 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
1.65 s (✅ 1.00x) |
Verify |
51.63 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
2.83 s (✅ 1.00x) |
Verify |
85.14 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
5.33 s (✅ 1.00x) |
Verify |
165.73 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
10.09 s (✅ 1.00x) |
Verify |
342.85 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
20.47 s (✅ 1.00x) |
Verify |
534.90 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
41.34 s (✅ 1.00x) |
Verify |
1.06 s (✅ 1.00x) |
nova |
arecibo |
|
---|---|---|
Prove |
5.99 s (✅ 1.00x) |
5.60 s (✅ 1.07x faster) |
Verify |
149.58 ms (✅ 1.00x) |
136.29 ms (✅ 1.10x faster) |
nova |
|
---|---|
Prove |
8.98 s (✅ 1.00x) |
Verify |
220.73 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
9.74 s (✅ 1.00x) |
Verify |
240.53 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
16.86 s (✅ 1.00x) |
Verify |
409.28 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
18.86 s (✅ 1.00x) |
Verify |
475.59 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
34.35 s (✅ 1.00x) |
Verify |
775.02 ms (✅ 1.00x) |
nova |
arecibo |
|
---|---|---|
Prove |
37.73 ms (✅ 1.00x) |
37.63 ms (✅ 1.00x faster) |
Verify |
23.58 ms (✅ 1.00x) |
24.38 ms (✅ 1.03x slower) |
nova |
|
---|---|
Prove |
45.17 ms (✅ 1.00x) |
Verify |
29.65 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
64.74 ms (✅ 1.00x) |
Verify |
44.68 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
96.76 ms (✅ 1.00x) |
Verify |
74.09 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
161.35 ms (✅ 1.00x) |
Verify |
131.90 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
292.75 ms (✅ 1.00x) |
Verify |
242.94 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
584.20 ms (✅ 1.00x) |
Verify |
482.94 ms (✅ 1.00x) |
nova |
|
---|---|
Prove |
1.03 s (✅ 1.00x) |
Verify |
932.96 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
660.94 ms (✅ 1.00x) |
Verify |
24.68 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
969.10 ms (✅ 1.00x) |
Verify |
34.18 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.67 s (✅ 1.00x) |
Verify |
52.04 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
2.90 s (✅ 1.00x) |
Verify |
89.13 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
5.27 s (✅ 1.00x) |
Verify |
158.30 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
10.69 s (✅ 1.00x) |
Verify |
332.94 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
20.98 s (✅ 1.00x) |
Verify |
504.96 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
8.52 s (✅ 1.00x) |
Verify |
228.19 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
8.43 s (✅ 1.00x) |
Verify |
201.43 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
14.26 s (✅ 1.00x) |
Verify |
382.93 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
14.44 s (✅ 1.00x) |
Verify |
383.68 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
25.86 s (✅ 1.00x) |
Verify |
510.78 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
698.63 ms (✅ 1.00x) |
Verify |
30.74 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
699.02 ms (✅ 1.00x) |
Verify |
30.81 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.01 s (✅ 1.00x) |
Verify |
42.39 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.65 s (✅ 1.00x) |
Verify |
58.86 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
2.84 s (✅ 1.00x) |
Verify |
95.56 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
5.35 s (✅ 1.00x) |
Verify |
169.38 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
10.33 s (✅ 1.00x) |
Verify |
318.28 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
20.27 s (✅ 1.00x) |
Verify |
524.83 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
715.99 ms (✅ 1.00x) |
Verify |
34.76 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
736.01 ms (✅ 1.00x) |
Verify |
34.79 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.02 s (✅ 1.00x) |
Verify |
47.03 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.73 s (✅ 1.00x) |
Verify |
66.99 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
3.08 s (✅ 1.00x) |
Verify |
105.51 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
5.68 s (✅ 1.00x) |
Verify |
193.14 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
11.54 s (✅ 1.00x) |
Verify |
352.13 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
21.21 s (✅ 1.00x) |
Verify |
568.02 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
44.38 ms (✅ 1.00x) |
Verify |
30.26 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
63.88 ms (✅ 1.00x) |
Verify |
46.79 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
97.36 ms (✅ 1.00x) |
Verify |
75.89 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
160.59 ms (✅ 1.00x) |
Verify |
134.30 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
295.07 ms (✅ 1.00x) |
Verify |
244.12 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
550.92 ms (✅ 1.00x) |
Verify |
492.00 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.06 s (✅ 1.00x) |
Verify |
1.05 s (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
39.64 ms (✅ 1.00x) |
Verify |
28.28 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
47.92 ms (✅ 1.00x) |
Verify |
34.51 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
68.81 ms (✅ 1.00x) |
Verify |
48.88 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
103.15 ms (✅ 1.00x) |
Verify |
84.11 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
167.59 ms (✅ 1.00x) |
Verify |
138.64 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
337.52 ms (✅ 1.00x) |
Verify |
276.18 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
703.76 ms (✅ 1.00x) |
Verify |
557.70 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.26 s (✅ 1.00x) |
Verify |
1.01 s (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
44.30 ms (✅ 1.00x) |
Verify |
30.81 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
50.83 ms (✅ 1.00x) |
Verify |
33.41 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
72.70 ms (✅ 1.00x) |
Verify |
51.90 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
105.07 ms (✅ 1.00x) |
Verify |
80.88 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
175.65 ms (✅ 1.00x) |
Verify |
157.11 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
347.55 ms (✅ 1.00x) |
Verify |
248.36 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
581.18 ms (✅ 1.00x) |
Verify |
492.05 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
1.07 s (✅ 1.00x) |
Verify |
921.66 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
9.03 s (✅ 1.00x) |
Verify |
246.94 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
11.86 s (✅ 1.00x) |
Verify |
308.16 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
12.19 s (✅ 1.00x) |
Verify |
311.70 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
18.30 s (✅ 1.00x) |
Verify |
493.17 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
19.35 s (✅ 1.00x) |
Verify |
495.21 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
31.52 s (✅ 1.00x) |
Verify |
665.52 ms (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
53.91 s (✅ 1.00x) |
Verify |
1.27 s (✅ 1.00x) |
arecibo |
|
---|---|
Prove |
104.23 s (✅ 1.00x) |
Verify |
2.40 s (✅ 1.00x) |
Made with criterion-table