Pasta |
Grumpkin |
Grumpkin-asm |
Pasta-PR |
Grumpkin-PR |
Grumpkin-PR-asm |
|
|---|---|---|---|---|---|---|
Prove-StepCircuitSize-0 |
44.13 ms (✅ 1.00x) |
38.21 ms (✅ 1.15x faster) |
35.46 ms (✅ 1.24x faster) |
68.65 ms (❌ 1.56x slower) |
75.11 ms (❌ 1.70x slower) |
51.94 ms (❌ 1.18x slower) |
Verify-StepCircuitSize-0 |
23.34 ms (✅ 1.00x) |
24.61 ms (✅ 1.05x slower) |
24.20 ms (✅ 1.04x slower) |
50.16 ms (❌ 2.15x slower) |
64.16 ms (❌ 2.75x slower) |
42.25 ms (❌ 1.81x slower) |
Prove-StepCircuitSize-6559 |
55.17 ms (✅ 1.00x) |
51.46 ms (✅ 1.07x faster) |
48.73 ms (✅ 1.13x faster) |
80.77 ms (❌ 1.46x slower) |
90.06 ms (❌ 1.63x slower) |
62.98 ms (❌ 1.14x slower) |
Verify-StepCircuitSize-6559 |
29.30 ms (✅ 1.00x) |
30.71 ms (✅ 1.05x slower) |
30.58 ms (✅ 1.04x slower) |
61.15 ms (❌ 2.09x slower) |
79.40 ms (❌ 2.71x slower) |
51.57 ms (❌ 1.76x slower) |
Prove-StepCircuitSize-22943 |
79.03 ms (✅ 1.00x) |
72.34 ms (✅ 1.09x faster) |
69.39 ms (✅ 1.14x faster) |
111.23 ms (❌ 1.41x slower) |
128.47 ms (❌ 1.63x slower) |
87.36 ms (✅ 1.11x slower) |
Verify-StepCircuitSize-22943 |
41.70 ms (✅ 1.00x) |
44.81 ms (✅ 1.07x slower) |
43.55 ms (✅ 1.04x slower) |
90.57 ms (❌ 2.17x slower) |
114.72 ms (❌ 2.75x slower) |
74.96 ms (❌ 1.80x slower) |
Prove-StepCircuitSize-55711 |
112.05 ms (✅ 1.00x) |
115.91 ms (✅ 1.03x slower) |
111.75 ms (✅ 1.00x faster) |
160.44 ms (❌ 1.43x slower) |
182.79 ms (❌ 1.63x slower) |
126.96 ms (❌ 1.13x slower) |
Verify-StepCircuitSize-55711 |
70.45 ms (✅ 1.00x) |
75.90 ms (✅ 1.08x slower) |
74.44 ms (✅ 1.06x slower) |
136.78 ms (❌ 1.94x slower) |
173.99 ms (❌ 2.47x slower) |
110.68 ms (❌ 1.57x slower) |
Prove-StepCircuitSize-121247 |
188.17 ms (✅ 1.00x) |
192.08 ms (✅ 1.02x slower) |
185.34 ms (✅ 1.02x faster) |
248.91 ms (❌ 1.32x slower) |
292.95 ms (❌ 1.56x slower) |
200.75 ms (✅ 1.07x slower) |
Verify-StepCircuitSize-121247 |
131.51 ms (✅ 1.00x) |
142.16 ms (✅ 1.08x slower) |
140.78 ms (✅ 1.07x slower) |
226.16 ms (❌ 1.72x slower) |
282.30 ms (❌ 2.15x slower) |
182.22 ms (❌ 1.39x slower) |
Prove-StepCircuitSize-252319 |
342.33 ms (✅ 1.00x) |
399.76 ms (❌ 1.17x slower) |
388.50 ms (❌ 1.13x slower) |
439.38 ms (❌ 1.28x slower) |
491.59 ms (❌ 1.44x slower) |
329.83 ms (✅ 1.04x faster) |
Verify-StepCircuitSize-252319 |
263.11 ms (✅ 1.00x) |
289.57 ms (✅ 1.10x slower) |
284.64 ms (✅ 1.08x slower) |
376.85 ms (❌ 1.43x slower) |
472.25 ms (❌ 1.79x slower) |
309.75 ms (❌ 1.18x slower) |
Prove-StepCircuitSize-514463 |
725.29 ms (✅ 1.00x) |
793.04 ms (✅ 1.09x slower) |
766.61 ms (✅ 1.06x slower) |
773.88 ms (✅ 1.07x slower) |
926.56 ms (❌ 1.28x slower) |
629.24 ms (✅ 1.15x faster) |
Verify-StepCircuitSize-514463 |
529.82 ms (✅ 1.00x) |
549.68 ms (✅ 1.04x slower) |
539.58 ms (✅ 1.02x slower) |
711.05 ms (❌ 1.34x slower) |
884.67 ms (❌ 1.67x slower) |
561.61 ms (✅ 1.06x slower) |
Prove-StepCircuitSize-1038751 |
1.37 s (✅ 1.00x) |
1.43 s (✅ 1.05x slower) |
1.40 s (✅ 1.02x slower) |
1.41 s (✅ 1.02x slower) |
1.67 s (❌ 1.22x slower) |
1.15 s (✅ 1.19x faster) |
Verify-StepCircuitSize-1038751 |
1.08 s (✅ 1.00x) |
836.43 ms (✅ 1.29x faster) |
823.05 ms (✅ 1.31x faster) |
1.25 s (❌ 1.16x slower) |
1.53 s (❌ 1.42x slower) |
1.01 s (✅ 1.07x faster) |
Made with criterion-table