Benchmarks_fg.md

Benchmarks (François' RTX 4070)

Table of Contents

• Benchmark Results
  • CompressedSNARK
  • CompressedSNARK-Commitments
  • CompressedSNARKSuperNova-1circuit
  • CompressedSNARKSuperNova-2circuit
  • CompressedSNARKSuperNova-Commitments-2circuit
  • RecursiveSNARK
  • RecursiveSNARKSuperNova-1circuit
  • RecursiveSNARKSuperNova-2circuit

Benchmark Results

CompressedSNARK

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	422.56 ms (✅ 1.00x)	422.15 ms (✅ 1.00x faster)	429.89 ms (✅ 1.02x slower)
Verify-StepCircuitSize-0	20.77 ms (✅ 1.00x)	20.46 ms (✅ 1.02x faster)	20.65 ms (✅ 1.01x faster)
Prove-StepCircuitSize-6559	604.46 ms (✅ 1.00x)	603.47 ms (✅ 1.00x faster)	609.96 ms (✅ 1.01x slower)
Verify-StepCircuitSize-6559	28.50 ms (✅ 1.00x)	28.62 ms (✅ 1.00x slower)	28.59 ms (✅ 1.00x slower)
Prove-StepCircuitSize-22943	982.25 ms (✅ 1.00x)	971.67 ms (✅ 1.01x faster)	986.41 ms (✅ 1.00x slower)
Verify-StepCircuitSize-22943	18.91 ms (✅ 1.00x)	18.72 ms (✅ 1.01x faster)	18.98 ms (✅ 1.00x slower)
Prove-StepCircuitSize-55711	1.71 s (✅ 1.00x)	1.70 s (✅ 1.01x faster)	1.71 s (✅ 1.00x slower)
Verify-StepCircuitSize-55711	26.08 ms (✅ 1.00x)	26.06 ms (✅ 1.00x faster)	26.02 ms (✅ 1.00x faster)
Prove-StepCircuitSize-121247	3.11 s (✅ 1.00x)	3.11 s (✅ 1.00x faster)	3.11 s (✅ 1.00x faster)
Verify-StepCircuitSize-121247	38.80 ms (✅ 1.00x)	38.41 ms (✅ 1.01x faster)	38.60 ms (✅ 1.01x faster)
Prove-StepCircuitSize-252319	5.87 s (✅ 1.00x)	5.86 s (✅ 1.00x faster)	5.85 s (✅ 1.00x faster)
Verify-StepCircuitSize-252319	56.84 ms (✅ 1.00x)	54.45 ms (✅ 1.04x faster)	58.16 ms (✅ 1.02x slower)
Prove-StepCircuitSize-514463	11.40 s (✅ 1.00x)	11.39 s (✅ 1.00x faster)	11.39 s (✅ 1.00x faster)
Verify-StepCircuitSize-514463	98.27 ms (✅ 1.00x)	96.45 ms (✅ 1.02x faster)	96.60 ms (✅ 1.02x faster)
Prove-StepCircuitSize-1038751	22.47 s (✅ 1.00x)	22.42 s (✅ 1.00x faster)	22.42 s (✅ 1.00x faster)
Verify-StepCircuitSize-1038751	184.23 ms (✅ 1.00x)	184.88 ms (✅ 1.00x slower)	185.91 ms (✅ 1.01x slower)

CompressedSNARK-Commitments

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	3.38 s (✅ 1.00x)	3.38 s (✅ 1.00x slower)	3.44 s (✅ 1.02x slower)
Verify-StepCircuitSize-0	22.19 ms (✅ 1.00x)	22.48 ms (✅ 1.01x slower)	22.43 ms (✅ 1.01x slower)
Prove-StepCircuitSize-6559	6.03 s (✅ 1.00x)	6.14 s (✅ 1.02x slower)	6.35 s (✅ 1.05x slower)
Verify-StepCircuitSize-6559	25.50 ms (✅ 1.00x)	25.94 ms (✅ 1.02x slower)	26.19 ms (✅ 1.03x slower)
Prove-StepCircuitSize-22943	5.59 s (✅ 1.00x)	5.52 s (✅ 1.01x faster)	5.54 s (✅ 1.01x faster)
Verify-StepCircuitSize-22943	25.91 ms (✅ 1.00x)	25.43 ms (✅ 1.02x faster)	26.60 ms (✅ 1.03x slower)
Prove-StepCircuitSize-55711	10.19 s (✅ 1.00x)	10.79 s (✅ 1.06x slower)	10.44 s (✅ 1.03x slower)
Verify-StepCircuitSize-55711	38.36 ms (✅ 1.00x)	38.47 ms (✅ 1.00x slower)	42.69 ms (❌ 1.11x slower)
Prove-StepCircuitSize-121247	8.08 s (✅ 1.00x)	8.06 s (✅ 1.00x faster)	8.13 s (✅ 1.01x slower)
Verify-StepCircuitSize-121247	38.62 ms (✅ 1.00x)	38.39 ms (✅ 1.01x faster)	42.75 ms (✅ 1.11x slower)
Prove-StepCircuitSize-252319	15.55 s (✅ 1.00x)	15.71 s (✅ 1.01x slower)	15.50 s (✅ 1.00x faster)
Verify-StepCircuitSize-252319	71.68 ms (✅ 1.00x)	71.44 ms (✅ 1.00x faster)	74.51 ms (✅ 1.04x slower)

CompressedSNARKSuperNova-1circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	447.93 ms (✅ 1.00x)	451.11 ms (✅ 1.01x slower)	449.50 ms (✅ 1.00x slower)
Verify-StepCircuitSize-0	28.92 ms (✅ 1.00x)	28.88 ms (✅ 1.00x faster)	28.86 ms (✅ 1.00x faster)
Prove-StepCircuitSize-6540	636.34 ms (✅ 1.00x)	639.11 ms (✅ 1.00x slower)	650.00 ms (✅ 1.02x slower)
Verify-StepCircuitSize-6540	36.56 ms (✅ 1.00x)	36.13 ms (✅ 1.01x faster)	35.96 ms (✅ 1.02x faster)
Prove-StepCircuitSize-22924	1.03 s (✅ 1.00x)	1.03 s (✅ 1.00x faster)	1.02 s (✅ 1.01x faster)
Verify-StepCircuitSize-22924	26.82 ms (✅ 1.00x)	26.96 ms (✅ 1.01x slower)	27.07 ms (✅ 1.01x slower)
Prove-StepCircuitSize-55692	1.76 s (✅ 1.00x)	1.74 s (✅ 1.01x faster)	1.75 s (✅ 1.01x faster)
Verify-StepCircuitSize-55692	33.10 ms (✅ 1.00x)	32.93 ms (✅ 1.01x faster)	33.00 ms (✅ 1.00x faster)
Prove-StepCircuitSize-121228	3.13 s (✅ 1.00x)	3.14 s (✅ 1.00x slower)	3.12 s (✅ 1.00x faster)
Verify-StepCircuitSize-121228	43.38 ms (✅ 1.00x)	43.61 ms (✅ 1.01x slower)	43.81 ms (✅ 1.01x slower)
Prove-StepCircuitSize-252300	6.00 s (✅ 1.00x)	6.00 s (✅ 1.00x slower)	6.00 s (✅ 1.00x slower)
Verify-StepCircuitSize-252300	63.35 ms (✅ 1.00x)	62.47 ms (✅ 1.01x faster)	62.45 ms (✅ 1.01x faster)
Prove-StepCircuitSize-514444	11.66 s (✅ 1.00x)	11.65 s (✅ 1.00x faster)	11.64 s (✅ 1.00x faster)
Verify-StepCircuitSize-514444	107.26 ms (✅ 1.00x)	106.98 ms (✅ 1.00x faster)	107.59 ms (✅ 1.00x slower)
Prove-StepCircuitSize-1038732	22.76 s (✅ 1.00x)	22.75 s (✅ 1.00x faster)	22.73 s (✅ 1.00x faster)
Verify-StepCircuitSize-1038732	195.94 ms (✅ 1.00x)	198.61 ms (✅ 1.01x slower)	196.04 ms (✅ 1.00x slower)

CompressedSNARKSuperNova-2circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	449.81 ms (✅ 1.00x)	450.18 ms (✅ 1.00x slower)	450.94 ms (✅ 1.00x slower)
Verify-StepCircuitSize-0	29.34 ms (✅ 1.00x)	29.49 ms (✅ 1.01x slower)	29.37 ms (✅ 1.00x slower)
Prove-StepCircuitSize-6540	639.02 ms (✅ 1.00x)	639.39 ms (✅ 1.00x slower)	638.47 ms (✅ 1.00x faster)
Verify-StepCircuitSize-6540	37.93 ms (✅ 1.00x)	37.51 ms (✅ 1.01x faster)	37.61 ms (✅ 1.01x faster)
Prove-StepCircuitSize-22924	1.04 s (✅ 1.00x)	1.04 s (✅ 1.00x slower)	1.04 s (✅ 1.00x slower)
Verify-StepCircuitSize-22924	30.02 ms (✅ 1.00x)	29.98 ms (✅ 1.00x faster)	29.97 ms (✅ 1.00x faster)
Prove-StepCircuitSize-55692	1.80 s (✅ 1.00x)	1.79 s (✅ 1.00x faster)	1.81 s (✅ 1.01x slower)
Verify-StepCircuitSize-55692	38.19 ms (✅ 1.00x)	38.25 ms (✅ 1.00x slower)	38.19 ms (✅ 1.00x slower)
Prove-StepCircuitSize-121228	3.22 s (✅ 1.00x)	3.22 s (✅ 1.00x faster)	3.24 s (✅ 1.01x slower)
Verify-StepCircuitSize-121228	50.11 ms (✅ 1.00x)	50.19 ms (✅ 1.00x slower)	50.51 ms (✅ 1.01x slower)
Prove-StepCircuitSize-252300	6.05 s (✅ 1.00x)	6.03 s (✅ 1.00x faster)	6.04 s (✅ 1.00x faster)
Verify-StepCircuitSize-252300	71.62 ms (✅ 1.00x)	71.27 ms (✅ 1.00x faster)	73.61 ms (✅ 1.03x slower)
Prove-StepCircuitSize-514444	11.72 s (✅ 1.00x)	11.71 s (✅ 1.00x faster)	11.69 s (✅ 1.00x faster)
Verify-StepCircuitSize-514444	133.72 ms (✅ 1.00x)	134.04 ms (✅ 1.00x slower)	135.14 ms (✅ 1.01x slower)
Prove-StepCircuitSize-1038732	23.49 s (✅ 1.00x)	23.47 s (✅ 1.00x faster)	23.46 s (✅ 1.00x faster)
Verify-StepCircuitSize-1038732	244.96 ms (✅ 1.00x)	245.87 ms (✅ 1.00x slower)	246.86 ms (✅ 1.01x slower)

CompressedSNARKSuperNova-Commitments-2circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	6.18 s (✅ 1.00x)	6.19 s (✅ 1.00x slower)	6.23 s (✅ 1.01x slower)
Verify-StepCircuitSize-0	45.96 ms (✅ 1.00x)	46.30 ms (✅ 1.01x slower)	46.58 ms (✅ 1.01x slower)
Prove-StepCircuitSize-6540	10.32 s (✅ 1.00x)	10.32 s (✅ 1.00x slower)	10.31 s (✅ 1.00x faster)
Verify-StepCircuitSize-6540	55.56 ms (✅ 1.00x)	55.06 ms (✅ 1.01x faster)	55.41 ms (✅ 1.00x faster)
Prove-StepCircuitSize-22924	9.32 s (✅ 1.00x)	9.26 s (✅ 1.01x faster)	9.31 s (✅ 1.00x faster)
Verify-StepCircuitSize-22924	55.73 ms (✅ 1.00x)	55.71 ms (✅ 1.00x faster)	55.22 ms (✅ 1.01x faster)
Prove-StepCircuitSize-55692	16.42 s (✅ 1.00x)	16.48 s (✅ 1.00x slower)	16.48 s (✅ 1.00x slower)
Verify-StepCircuitSize-55692	66.60 ms (✅ 1.00x)	66.02 ms (✅ 1.01x faster)	67.99 ms (✅ 1.02x slower)
Prove-StepCircuitSize-121228	11.78 s (✅ 1.00x)	11.76 s (✅ 1.00x faster)	11.73 s (✅ 1.00x faster)
Verify-StepCircuitSize-121228	69.40 ms (✅ 1.00x)	69.15 ms (✅ 1.00x faster)	N/A
Prove-StepCircuitSize-252300	21.48 s (✅ 1.00x)	21.45 s (✅ 1.00x faster)	21.52 s (✅ 1.00x slower)
Verify-StepCircuitSize-252300	101.07 ms (✅ 1.00x)	100.75 ms (✅ 1.00x faster)	N/A
Prove-StepCircuitSize-514444	39.97 s (✅ 1.00x)	40.08 s (✅ 1.00x slower)	40.47 s (✅ 1.01x slower)
Verify-StepCircuitSize-514444	163.92 ms (✅ 1.00x)	162.44 ms (✅ 1.01x faster)	N/A
Prove-StepCircuitSize-1038732	77.91 s (✅ 1.00x)	77.14 s (✅ 1.01x faster)	N/A
Verify-StepCircuitSize-1038732	284.45 ms (✅ 1.00x)	280.88 ms (✅ 1.01x faster)	N/A
Verify-StepCircuitSize-12122...	N/A	N/A	68.50 ms (✅ 1.00x)
Verify-StepCircuitSize-25230...	N/A	N/A	97.92 ms (✅ 1.00x)
Verify-StepCircuitSize-51444...	N/A	N/A	162.11 ms (✅ 1.00x)
Prove-StepCircuitSize-103873...	N/A	N/A	77.05 s (✅ 1.00x)
Verify-StepCircuitSize-10387...	N/A	N/A	281.56 ms (✅ 1.00x)

RecursiveSNARK

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	28.86 ms (✅ 1.00x)	28.75 ms (✅ 1.00x faster)	28.46 ms (✅ 1.01x faster)
Verify-StepCircuitSize-0	16.50 ms (✅ 1.00x)	16.48 ms (✅ 1.00x faster)	16.44 ms (✅ 1.00x faster)
Prove-StepCircuitSize-6559	37.07 ms (✅ 1.00x)	36.56 ms (✅ 1.01x faster)	36.52 ms (✅ 1.02x faster)
Verify-StepCircuitSize-6559	21.25 ms (✅ 1.00x)	21.39 ms (✅ 1.01x slower)	21.28 ms (✅ 1.00x slower)
Prove-StepCircuitSize-22943	54.92 ms (✅ 1.00x)	54.98 ms (✅ 1.00x slower)	54.20 ms (✅ 1.01x faster)
Verify-StepCircuitSize-22943	34.28 ms (✅ 1.00x)	33.63 ms (✅ 1.02x faster)	33.63 ms (✅ 1.02x faster)
Prove-StepCircuitSize-55711	43.65 ms (✅ 1.00x)	43.56 ms (✅ 1.00x faster)	43.60 ms (✅ 1.00x faster)
Verify-StepCircuitSize-55711	19.37 ms (✅ 1.00x)	19.29 ms (✅ 1.00x faster)	18.96 ms (✅ 1.02x faster)
Prove-StepCircuitSize-121247	55.62 ms (✅ 1.00x)	55.79 ms (✅ 1.00x slower)	55.73 ms (✅ 1.00x slower)
Verify-StepCircuitSize-121247	23.80 ms (✅ 1.00x)	23.26 ms (✅ 1.02x faster)	23.32 ms (✅ 1.02x faster)
Prove-StepCircuitSize-252319	73.51 ms (✅ 1.00x)	73.01 ms (✅ 1.01x faster)	73.76 ms (✅ 1.00x slower)
Verify-StepCircuitSize-252319	31.57 ms (✅ 1.00x)	31.12 ms (✅ 1.01x faster)	31.49 ms (✅ 1.00x faster)
Prove-StepCircuitSize-514463	100.94 ms (✅ 1.00x)	100.16 ms (✅ 1.01x faster)	98.83 ms (✅ 1.02x faster)
Verify-StepCircuitSize-514463	40.94 ms (✅ 1.00x)	41.26 ms (✅ 1.01x slower)	41.20 ms (✅ 1.01x slower)
Prove-StepCircuitSize-1038751	164.80 ms (✅ 1.00x)	164.80 ms (✅ 1.00x slower)	164.86 ms (✅ 1.00x slower)
Verify-StepCircuitSize-1038751	81.42 ms (✅ 1.00x)	82.33 ms (✅ 1.01x slower)	82.33 ms (✅ 1.01x slower)

RecursiveSNARKSuperNova-1circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	30.41 ms (✅ 1.00x)	30.44 ms (✅ 1.00x slower)	30.58 ms (✅ 1.01x slower)
Verify-StepCircuitSize-0	19.20 ms (✅ 1.00x)	19.61 ms (✅ 1.02x slower)	19.11 ms (✅ 1.00x faster)
Prove-StepCircuitSize-6540	38.60 ms (✅ 1.00x)	38.35 ms (✅ 1.01x faster)	38.43 ms (✅ 1.00x faster)
Verify-StepCircuitSize-6540	24.27 ms (✅ 1.00x)	24.14 ms (✅ 1.01x faster)	24.49 ms (✅ 1.01x slower)
Prove-StepCircuitSize-22924	56.09 ms (✅ 1.00x)	56.01 ms (✅ 1.00x faster)	56.45 ms (✅ 1.01x slower)
Verify-StepCircuitSize-22924	37.26 ms (✅ 1.00x)	37.29 ms (✅ 1.00x slower)	37.22 ms (✅ 1.00x faster)
Prove-StepCircuitSize-55692	45.64 ms (✅ 1.00x)	45.35 ms (✅ 1.01x faster)	45.46 ms (✅ 1.00x faster)
Verify-StepCircuitSize-55692	23.59 ms (✅ 1.00x)	23.03 ms (✅ 1.02x faster)	23.18 ms (✅ 1.02x faster)
Prove-StepCircuitSize-121228	58.64 ms (✅ 1.00x)	58.95 ms (✅ 1.01x slower)	58.95 ms (✅ 1.01x slower)
Verify-StepCircuitSize-121228	30.66 ms (✅ 1.00x)	31.03 ms (✅ 1.01x slower)	30.43 ms (✅ 1.01x faster)
Prove-StepCircuitSize-252300	74.95 ms (✅ 1.00x)	75.44 ms (✅ 1.01x slower)	75.28 ms (✅ 1.00x slower)
Verify-StepCircuitSize-252300	45.70 ms (✅ 1.00x)	45.05 ms (✅ 1.01x faster)	45.69 ms (✅ 1.00x faster)
Prove-StepCircuitSize-514444	104.77 ms (✅ 1.00x)	104.84 ms (✅ 1.00x slower)	104.34 ms (✅ 1.00x faster)
Verify-StepCircuitSize-514444	66.54 ms (✅ 1.00x)	66.74 ms (✅ 1.00x slower)	66.24 ms (✅ 1.00x faster)
Prove-StepCircuitSize-1038732	172.58 ms (✅ 1.00x)	175.29 ms (✅ 1.02x slower)	175.59 ms (✅ 1.02x slower)
Verify-StepCircuitSize-1038732	119.24 ms (✅ 1.00x)	122.18 ms (✅ 1.02x slower)	122.85 ms (✅ 1.03x slower)

RecursiveSNARKSuperNova-2circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin	curve-cycle=Grumpkin-run2
Prove-StepCircuitSize-0	30.73 ms (✅ 1.00x)	30.55 ms (✅ 1.01x faster)	30.63 ms (✅ 1.00x faster)
Verify-StepCircuitSize-0	19.21 ms (✅ 1.00x)	19.12 ms (✅ 1.00x faster)	19.13 ms (✅ 1.00x faster)
Prove-StepCircuitSize-6540	38.78 ms (✅ 1.00x)	37.96 ms (✅ 1.02x faster)	38.49 ms (✅ 1.01x faster)
Verify-StepCircuitSize-6540	24.12 ms (✅ 1.00x)	24.14 ms (✅ 1.00x slower)	24.24 ms (✅ 1.00x slower)
Prove-StepCircuitSize-22924	56.22 ms (✅ 1.00x)	55.74 ms (✅ 1.01x faster)	55.99 ms (✅ 1.00x faster)
Verify-StepCircuitSize-22924	37.82 ms (✅ 1.00x)	36.85 ms (✅ 1.03x faster)	37.34 ms (✅ 1.01x faster)
Prove-StepCircuitSize-55692	45.81 ms (✅ 1.00x)	46.02 ms (✅ 1.00x slower)	46.11 ms (✅ 1.01x slower)
Verify-StepCircuitSize-55692	23.29 ms (✅ 1.00x)	22.58 ms (✅ 1.03x faster)	22.65 ms (✅ 1.03x faster)
Prove-StepCircuitSize-121228	58.89 ms (✅ 1.00x)	58.96 ms (✅ 1.00x slower)	58.79 ms (✅ 1.00x faster)
Verify-StepCircuitSize-121228	29.89 ms (✅ 1.00x)	30.14 ms (✅ 1.01x slower)	30.25 ms (✅ 1.01x slower)
Prove-StepCircuitSize-252300	75.64 ms (✅ 1.00x)	75.81 ms (✅ 1.00x slower)	77.00 ms (✅ 1.02x slower)
Verify-StepCircuitSize-252300	46.46 ms (✅ 1.00x)	45.53 ms (✅ 1.02x faster)	40.96 ms (✅ 1.13x faster)
Prove-StepCircuitSize-514444	103.29 ms (✅ 1.00x)	104.96 ms (✅ 1.02x slower)	104.68 ms (✅ 1.01x slower)
Verify-StepCircuitSize-514444	62.30 ms (✅ 1.00x)	66.29 ms (✅ 1.06x slower)	68.31 ms (✅ 1.10x slower)
Prove-StepCircuitSize-1038732	172.33 ms (✅ 1.00x)	175.28 ms (✅ 1.02x slower)	172.27 ms (✅ 1.00x faster)
Verify-StepCircuitSize-1038732	118.54 ms (✅ 1.00x)	121.23 ms (✅ 1.02x slower)	118.85 ms (✅ 1.00x slower)

---

Made with criterion-table

Benchmarks_sam.md

Benchmarks (Sam's L4 runner)

Table of Contents

• Benchmark Results
  • CompressedSNARK
  • CompressedSNARK-Commitments
  • CompressedSNARKSuperNova-1circuit
  • CompressedSNARKSuperNova-2circuit
  • CompressedSNARKSuperNova-Commitments-2circuit
  • RecursiveSNARK
  • RecursiveSNARKSuperNova-1circuit
  • RecursiveSNARKSuperNova-2circuit

Benchmark Results

CompressedSNARK

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	544.66 ms (✅ 1.00x)	613.93 ms (❌ 1.13x slower)
Verify-StepCircuitSize-0	29.64 ms (✅ 1.00x)	29.95 ms (✅ 1.01x slower)
Prove-StepCircuitSize-6559	561.10 ms (✅ 1.00x)	892.29 ms (❌ 1.59x slower)
Verify-StepCircuitSize-6559	29.56 ms (✅ 1.00x)	40.14 ms (❌ 1.36x slower)
Prove-StepCircuitSize-22943	811.11 ms (✅ 1.00x)	1.44 s (❌ 1.77x slower)
Verify-StepCircuitSize-22943	39.45 ms (✅ 1.00x)	22.83 ms (✅ 1.73x faster)
Prove-StepCircuitSize-55711	1.36 s (✅ 1.00x)	2.52 s (❌ 1.85x slower)
Verify-StepCircuitSize-55711	25.09 ms (✅ 1.00x)	34.20 ms (❌ 1.36x slower)
Prove-StepCircuitSize-121247	2.32 s (✅ 1.00x)	4.61 s (❌ 1.99x slower)
Verify-StepCircuitSize-121247	36.12 ms (✅ 1.00x)	58.68 ms (❌ 1.62x slower)
Prove-StepCircuitSize-252319	4.27 s (✅ 1.00x)	8.84 s (❌ 2.07x slower)
Verify-StepCircuitSize-252319	52.78 ms (✅ 1.00x)	109.06 ms (❌ 2.07x slower)
Prove-StepCircuitSize-514463	8.28 s (✅ 1.00x)	17.46 s (❌ 2.11x slower)
Verify-StepCircuitSize-514463	109.05 ms (✅ 1.00x)	244.25 ms (❌ 2.24x slower)
Prove-StepCircuitSize-1038751	16.12 s (✅ 1.00x)	34.54 s (❌ 2.14x slower)
Verify-StepCircuitSize-1038751	232.69 ms (✅ 1.00x)	473.26 ms (❌ 2.03x slower)

CompressedSNARK-Commitments

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	4.41 s (✅ 1.00x)	4.87 s (✅ 1.11x slower)
Verify-StepCircuitSize-0	30.12 ms (✅ 1.00x)	29.59 ms (✅ 1.02x faster)
Prove-StepCircuitSize-6559	8.15 s (✅ 1.00x)	8.74 s (✅ 1.07x slower)
Verify-StepCircuitSize-6559	38.47 ms (✅ 1.00x)	36.42 ms (✅ 1.06x faster)
Prove-StepCircuitSize-22943	7.35 s (✅ 1.00x)	7.92 s (✅ 1.08x slower)
Verify-StepCircuitSize-22943	38.59 ms (✅ 1.00x)	36.27 ms (✅ 1.06x faster)
Prove-StepCircuitSize-55711	14.39 s (✅ 1.00x)	15.22 s (✅ 1.06x slower)
Verify-StepCircuitSize-55711	81.80 ms (✅ 1.00x)	58.26 ms (✅ 1.40x faster)
Prove-StepCircuitSize-121247	11.02 s (✅ 1.00x)	11.70 s (✅ 1.06x slower)
Verify-StepCircuitSize-121247	80.70 ms (✅ 1.00x)	58.04 ms (✅ 1.39x faster)
Prove-StepCircuitSize-252319	21.60 s (✅ 1.00x)	22.70 s (✅ 1.05x slower)
Verify-StepCircuitSize-252319	164.79 ms (✅ 1.00x)	157.38 ms (✅ 1.05x faster)

CompressedSNARKSuperNova-1circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	634.12 ms (✅ 1.00x)	680.59 ms (✅ 1.07x slower)
Verify-StepCircuitSize-0	41.44 ms (✅ 1.00x)	41.77 ms (✅ 1.01x slower)
Prove-StepCircuitSize-6540	624.54 ms (✅ 1.00x)	960.98 ms (❌ 1.54x slower)
Verify-StepCircuitSize-6540	41.47 ms (✅ 1.00x)	52.41 ms (❌ 1.26x slower)
Prove-StepCircuitSize-22924	892.60 ms (✅ 1.00x)	1.53 s (❌ 1.71x slower)
Verify-StepCircuitSize-22924	51.90 ms (✅ 1.00x)	38.53 ms (✅ 1.35x faster)
Prove-StepCircuitSize-55692	1.43 s (✅ 1.00x)	2.59 s (❌ 1.82x slower)
Verify-StepCircuitSize-55692	39.38 ms (✅ 1.00x)	46.66 ms (❌ 1.18x slower)
Prove-StepCircuitSize-121228	2.41 s (✅ 1.00x)	4.68 s (❌ 1.94x slower)
Verify-StepCircuitSize-121228	48.53 ms (✅ 1.00x)	62.16 ms (❌ 1.28x slower)
Prove-StepCircuitSize-252300	4.46 s (✅ 1.00x)	9.07 s (❌ 2.03x slower)
Verify-StepCircuitSize-252300	66.05 ms (✅ 1.00x)	125.30 ms (❌ 1.90x slower)
Prove-StepCircuitSize-514444	8.33 s (✅ 1.00x)	17.79 s (❌ 2.14x slower)
Verify-StepCircuitSize-514444	121.49 ms (✅ 1.00x)	233.09 ms (❌ 1.92x slower)
Prove-StepCircuitSize-1038732	16.24 s (✅ 1.00x)	35.14 s (❌ 2.16x slower)
Verify-StepCircuitSize-1038732	287.71 ms (✅ 1.00x)	497.21 ms (❌ 1.73x slower)

CompressedSNARKSuperNova-2circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	628.51 ms (✅ 1.00x)	677.28 ms (✅ 1.08x slower)
Verify-StepCircuitSize-0	43.37 ms (✅ 1.00x)	43.86 ms (✅ 1.01x slower)
Prove-StepCircuitSize-6540	638.73 ms (✅ 1.00x)	957.32 ms (❌ 1.50x slower)
Verify-StepCircuitSize-6540	43.35 ms (✅ 1.00x)	55.08 ms (❌ 1.27x slower)
Prove-StepCircuitSize-22924	888.43 ms (✅ 1.00x)	1.54 s (❌ 1.73x slower)
Verify-StepCircuitSize-22924	54.95 ms (✅ 1.00x)	42.86 ms (✅ 1.28x faster)
Prove-StepCircuitSize-55692	1.43 s (✅ 1.00x)	2.69 s (❌ 1.88x slower)
Verify-StepCircuitSize-55692	44.61 ms (✅ 1.00x)	53.47 ms (❌ 1.20x slower)
Prove-StepCircuitSize-121228	2.45 s (✅ 1.00x)	4.82 s (❌ 1.97x slower)
Verify-StepCircuitSize-121228	57.03 ms (✅ 1.00x)	70.42 ms (❌ 1.23x slower)
Prove-StepCircuitSize-252300	4.54 s (✅ 1.00x)	9.15 s (❌ 2.02x slower)
Verify-StepCircuitSize-252300	76.86 ms (✅ 1.00x)	121.75 ms (❌ 1.58x slower)
Prove-StepCircuitSize-514444	8.62 s (✅ 1.00x)	17.91 s (❌ 2.08x slower)
Verify-StepCircuitSize-514444	154.35 ms (✅ 1.00x)	316.04 ms (❌ 2.05x slower)
Prove-StepCircuitSize-1038732	16.31 s (✅ 1.00x)	36.32 s (❌ 2.23x slower)
Verify-StepCircuitSize-1038732	350.85 ms (✅ 1.00x)	598.05 ms (❌ 1.70x slower)

CompressedSNARKSuperNova-Commitments-2circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	8.25 s (✅ 1.00x)	8.80 s (✅ 1.07x slower)
Verify-StepCircuitSize-0	67.52 ms (✅ 1.00x)	63.94 ms (✅ 1.06x faster)
Prove-StepCircuitSize-6540	14.19 s (✅ 1.00x)	14.64 s (✅ 1.03x slower)
Verify-StepCircuitSize-6540	82.04 ms (✅ 1.00x)	77.34 ms (✅ 1.06x faster)
Prove-StepCircuitSize-22924	12.62 s (✅ 1.00x)	13.24 s (✅ 1.05x slower)
Verify-StepCircuitSize-22924	82.21 ms (✅ 1.00x)	76.99 ms (✅ 1.07x faster)
Prove-StepCircuitSize-55692	22.61 s (✅ 1.00x)	23.55 s (✅ 1.04x slower)
Verify-StepCircuitSize-55692	125.97 ms (✅ 1.00x)	118.25 ms (✅ 1.07x faster)
Prove-StepCircuitSize-121228	15.64 s (✅ 1.00x)	16.91 s (✅ 1.08x slower)
Verify-StepCircuitSize-121228	125.48 ms (✅ 1.00x)	119.11 ms (✅ 1.05x faster)
Prove-StepCircuitSize-252300	29.95 s (✅ 1.00x)	31.88 s (✅ 1.06x slower)
Verify-StepCircuitSize-252300	210.93 ms (✅ 1.00x)	199.41 ms (✅ 1.06x faster)
Prove-StepCircuitSize-514444	57.32 s (✅ 1.00x)	59.38 s (✅ 1.04x slower)
Verify-StepCircuitSize-514444	424.62 ms (✅ 1.00x)	405.97 ms (✅ 1.05x faster)
Prove-StepCircuitSize-1038732	110.51 s (✅ 1.00x)	115.05 s (✅ 1.04x slower)
Verify-StepCircuitSize-1038732	781.17 ms (✅ 1.00x)	754.16 ms (✅ 1.04x faster)

RecursiveSNARK

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	44.22 ms (✅ 1.00x)	34.55 ms (✅ 1.28x faster)
Verify-StepCircuitSize-0	22.33 ms (✅ 1.00x)	23.47 ms (✅ 1.05x slower)
Prove-StepCircuitSize-6559	52.08 ms (✅ 1.00x)	43.07 ms (✅ 1.21x faster)
Verify-StepCircuitSize-6559	28.82 ms (✅ 1.00x)	30.13 ms (✅ 1.05x slower)
Prove-StepCircuitSize-22943	71.23 ms (✅ 1.00x)	64.19 ms (✅ 1.11x faster)
Verify-StepCircuitSize-22943	44.14 ms (✅ 1.00x)	46.80 ms (✅ 1.06x slower)
Prove-StepCircuitSize-55711	89.11 ms (✅ 1.00x)	50.82 ms (✅ 1.75x faster)
Verify-StepCircuitSize-55711	47.47 ms (✅ 1.00x)	26.83 ms (✅ 1.77x faster)
Prove-StepCircuitSize-121247	69.88 ms (✅ 1.00x)	61.85 ms (✅ 1.13x faster)
Verify-StepCircuitSize-121247	28.51 ms (✅ 1.00x)	30.65 ms (✅ 1.08x slower)
Prove-StepCircuitSize-252319	98.10 ms (✅ 1.00x)	123.56 ms (❌ 1.26x slower)
Verify-StepCircuitSize-252319	42.44 ms (✅ 1.00x)	40.45 ms (✅ 1.05x faster)
Prove-StepCircuitSize-514463	185.46 ms (✅ 1.00x)	184.06 ms (✅ 1.01x faster)
Verify-StepCircuitSize-514463	55.46 ms (✅ 1.00x)	53.29 ms (✅ 1.04x faster)
Prove-StepCircuitSize-1038751	304.50 ms (✅ 1.00x)	311.18 ms (✅ 1.02x slower)
Verify-StepCircuitSize-1038751	105.30 ms (✅ 1.00x)	100.90 ms (✅ 1.04x faster)

RecursiveSNARKSuperNova-1circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	47.18 ms (✅ 1.00x)	37.19 ms (✅ 1.27x faster)
Verify-StepCircuitSize-0	26.57 ms (✅ 1.00x)	27.52 ms (✅ 1.04x slower)
Prove-StepCircuitSize-6540	54.85 ms (✅ 1.00x)	46.08 ms (✅ 1.19x faster)
Verify-StepCircuitSize-6540	33.13 ms (✅ 1.00x)	34.41 ms (✅ 1.04x slower)
Prove-StepCircuitSize-22924	74.26 ms (✅ 1.00x)	66.96 ms (✅ 1.11x faster)
Verify-StepCircuitSize-22924	49.05 ms (✅ 1.00x)	51.70 ms (✅ 1.05x slower)
Prove-StepCircuitSize-55692	91.41 ms (✅ 1.00x)	53.17 ms (✅ 1.72x faster)
Verify-StepCircuitSize-55692	54.00 ms (✅ 1.00x)	31.39 ms (✅ 1.72x faster)
Prove-StepCircuitSize-121228	76.37 ms (✅ 1.00x)	66.25 ms (✅ 1.15x faster)
Verify-StepCircuitSize-121228	41.66 ms (✅ 1.00x)	41.16 ms (✅ 1.01x faster)
Prove-StepCircuitSize-252300	143.83 ms (✅ 1.00x)	125.84 ms (✅ 1.14x faster)
Verify-StepCircuitSize-252300	96.90 ms (✅ 1.00x)	92.22 ms (✅ 1.05x faster)
Prove-StepCircuitSize-514444	217.05 ms (✅ 1.00x)	202.50 ms (✅ 1.07x faster)
Verify-StepCircuitSize-514444	157.11 ms (✅ 1.00x)	152.63 ms (✅ 1.03x faster)
Prove-StepCircuitSize-1038732	388.85 ms (✅ 1.00x)	348.07 ms (✅ 1.12x faster)
Verify-StepCircuitSize-1038732	306.90 ms (✅ 1.00x)	284.27 ms (✅ 1.08x faster)

RecursiveSNARKSuperNova-2circuit

	curve-cycle=Pasta	curve-cycle=Grumpkin
Prove-StepCircuitSize-0	47.18 ms (✅ 1.00x)	37.38 ms (✅ 1.26x faster)
Verify-StepCircuitSize-0	26.75 ms (✅ 1.00x)	27.63 ms (✅ 1.03x slower)
Prove-StepCircuitSize-6540	54.97 ms (✅ 1.00x)	46.10 ms (✅ 1.19x faster)
Verify-StepCircuitSize-6540	33.31 ms (✅ 1.00x)	34.33 ms (✅ 1.03x slower)
Prove-StepCircuitSize-22924	74.30 ms (✅ 1.00x)	67.32 ms (✅ 1.10x faster)
Verify-StepCircuitSize-22924	49.10 ms (✅ 1.00x)	51.54 ms (✅ 1.05x slower)
Prove-StepCircuitSize-55692	91.49 ms (✅ 1.00x)	53.53 ms (✅ 1.71x faster)
Verify-StepCircuitSize-55692	53.71 ms (✅ 1.00x)	31.34 ms (✅ 1.71x faster)
Prove-StepCircuitSize-121228	76.49 ms (✅ 1.00x)	66.42 ms (✅ 1.15x faster)
Verify-StepCircuitSize-121228	41.77 ms (✅ 1.00x)	41.59 ms (✅ 1.00x faster)
Prove-StepCircuitSize-252300	103.89 ms (✅ 1.00x)	125.45 ms (❌ 1.21x slower)
Verify-StepCircuitSize-252300	62.31 ms (✅ 1.00x)	91.80 ms (❌ 1.47x slower)
Prove-StepCircuitSize-514444	138.72 ms (✅ 1.00x)	205.42 ms (❌ 1.48x slower)
Verify-StepCircuitSize-514444	86.24 ms (✅ 1.00x)	156.93 ms (❌ 1.82x slower)
Prove-StepCircuitSize-1038732	385.33 ms (✅ 1.00x)	370.35 ms (✅ 1.04x faster)
Verify-StepCircuitSize-1038732	306.89 ms (✅ 1.00x)	303.87 ms (✅ 1.01x faster)

---

Made with criterion-table