Skip to content

Instantly share code, notes, and snippets.

@huitseeker
Created December 14, 2023 13:21
Show Gist options
  • Save huitseeker/ec958567d632a380804f27376f6f498e to your computer and use it in GitHub Desktop.
Save huitseeker/ec958567d632a380804f27376f6f498e to your computer and use it in GitHub Desktop.

Benchmarks

Table of Contents

Benchmark Results

CompressedSNARK-StepCircuitSize-0

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)

CompressedSNARK-StepCircuitSize-6560

nova
Prove 1.00 s (✅ 1.00x)
Verify 34.20 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-22944

nova
Prove 1.65 s (✅ 1.00x)
Verify 51.63 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-55712

nova
Prove 2.83 s (✅ 1.00x)
Verify 85.14 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-121248

nova
Prove 5.33 s (✅ 1.00x)
Verify 165.73 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-252320

nova
Prove 10.09 s (✅ 1.00x)
Verify 342.85 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-514464

nova
Prove 20.47 s (✅ 1.00x)
Verify 534.90 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-1038752

nova
Prove 41.34 s (✅ 1.00x)
Verify 1.06 s (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-0

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)

CompressedSNARK-Commitments-StepCircuitSize-6560

nova
Prove 8.98 s (✅ 1.00x)
Verify 220.73 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-22944

nova
Prove 9.74 s (✅ 1.00x)
Verify 240.53 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-55712

nova
Prove 16.86 s (✅ 1.00x)
Verify 409.28 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-121248

nova
Prove 18.86 s (✅ 1.00x)
Verify 475.59 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-252320

nova
Prove 34.35 s (✅ 1.00x)
Verify 775.02 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-0

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)

RecursiveSNARK-StepCircuitSize-6560

nova
Prove 45.17 ms (✅ 1.00x)
Verify 29.65 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-22944

nova
Prove 64.74 ms (✅ 1.00x)
Verify 44.68 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-55712

nova
Prove 96.76 ms (✅ 1.00x)
Verify 74.09 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-121248

nova
Prove 161.35 ms (✅ 1.00x)
Verify 131.90 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-252320

nova
Prove 292.75 ms (✅ 1.00x)
Verify 242.94 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-514464

nova
Prove 584.20 ms (✅ 1.00x)
Verify 482.94 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-1038752

nova
Prove 1.03 s (✅ 1.00x)
Verify 932.96 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-6559

arecibo
Prove 660.94 ms (✅ 1.00x)
Verify 24.68 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-22943

arecibo
Prove 969.10 ms (✅ 1.00x)
Verify 34.18 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-55711

arecibo
Prove 1.67 s (✅ 1.00x)
Verify 52.04 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-121247

arecibo
Prove 2.90 s (✅ 1.00x)
Verify 89.13 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-252319

arecibo
Prove 5.27 s (✅ 1.00x)
Verify 158.30 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-514463

arecibo
Prove 10.69 s (✅ 1.00x)
Verify 332.94 ms (✅ 1.00x)

CompressedSNARK-StepCircuitSize-1038751

arecibo
Prove 20.98 s (✅ 1.00x)
Verify 504.96 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-6559

arecibo
Prove 8.52 s (✅ 1.00x)
Verify 228.19 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-22943

arecibo
Prove 8.43 s (✅ 1.00x)
Verify 201.43 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-55711

arecibo
Prove 14.26 s (✅ 1.00x)
Verify 382.93 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-121247

arecibo
Prove 14.44 s (✅ 1.00x)
Verify 383.68 ms (✅ 1.00x)

CompressedSNARK-Commitments-StepCircuitSize-252319

arecibo
Prove 25.86 s (✅ 1.00x)
Verify 510.78 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-0

arecibo
Prove 698.63 ms (✅ 1.00x)
Verify 30.74 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-6540

arecibo
Prove 699.02 ms (✅ 1.00x)
Verify 30.81 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-22924

arecibo
Prove 1.01 s (✅ 1.00x)
Verify 42.39 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-55692

arecibo
Prove 1.65 s (✅ 1.00x)
Verify 58.86 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-121228

arecibo
Prove 2.84 s (✅ 1.00x)
Verify 95.56 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-252300

arecibo
Prove 5.35 s (✅ 1.00x)
Verify 169.38 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-514444

arecibo
Prove 10.33 s (✅ 1.00x)
Verify 318.28 ms (✅ 1.00x)

CompressedSNARKSuperNova-1circuit-StepCircuitSize-1038732

arecibo
Prove 20.27 s (✅ 1.00x)
Verify 524.83 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-0

arecibo
Prove 715.99 ms (✅ 1.00x)
Verify 34.76 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-6540

arecibo
Prove 736.01 ms (✅ 1.00x)
Verify 34.79 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-22924

arecibo
Prove 1.02 s (✅ 1.00x)
Verify 47.03 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-55692

arecibo
Prove 1.73 s (✅ 1.00x)
Verify 66.99 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-121228

arecibo
Prove 3.08 s (✅ 1.00x)
Verify 105.51 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-252300

arecibo
Prove 5.68 s (✅ 1.00x)
Verify 193.14 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-514444

arecibo
Prove 11.54 s (✅ 1.00x)
Verify 352.13 ms (✅ 1.00x)

CompressedSNARKSuperNova-2circuit-StepCircuitSize-1038732

arecibo
Prove 21.21 s (✅ 1.00x)
Verify 568.02 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-6559

arecibo
Prove 44.38 ms (✅ 1.00x)
Verify 30.26 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-22943

arecibo
Prove 63.88 ms (✅ 1.00x)
Verify 46.79 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-55711

arecibo
Prove 97.36 ms (✅ 1.00x)
Verify 75.89 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-121247

arecibo
Prove 160.59 ms (✅ 1.00x)
Verify 134.30 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-252319

arecibo
Prove 295.07 ms (✅ 1.00x)
Verify 244.12 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-514463

arecibo
Prove 550.92 ms (✅ 1.00x)
Verify 492.00 ms (✅ 1.00x)

RecursiveSNARK-StepCircuitSize-1038751

arecibo
Prove 1.06 s (✅ 1.00x)
Verify 1.05 s (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-0

arecibo
Prove 39.64 ms (✅ 1.00x)
Verify 28.28 ms (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-6540

arecibo
Prove 47.92 ms (✅ 1.00x)
Verify 34.51 ms (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-22924

arecibo
Prove 68.81 ms (✅ 1.00x)
Verify 48.88 ms (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-55692

arecibo
Prove 103.15 ms (✅ 1.00x)
Verify 84.11 ms (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-121228

arecibo
Prove 167.59 ms (✅ 1.00x)
Verify 138.64 ms (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-252300

arecibo
Prove 337.52 ms (✅ 1.00x)
Verify 276.18 ms (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-514444

arecibo
Prove 703.76 ms (✅ 1.00x)
Verify 557.70 ms (✅ 1.00x)

RecursiveSNARKSuperNova-1circuit-StepCircuitSize-1038732

arecibo
Prove 1.26 s (✅ 1.00x)
Verify 1.01 s (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-0

arecibo
Prove 44.30 ms (✅ 1.00x)
Verify 30.81 ms (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-6540

arecibo
Prove 50.83 ms (✅ 1.00x)
Verify 33.41 ms (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-22924

arecibo
Prove 72.70 ms (✅ 1.00x)
Verify 51.90 ms (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-55692

arecibo
Prove 105.07 ms (✅ 1.00x)
Verify 80.88 ms (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-121228

arecibo
Prove 175.65 ms (✅ 1.00x)
Verify 157.11 ms (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-252300

arecibo
Prove 347.55 ms (✅ 1.00x)
Verify 248.36 ms (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-514444

arecibo
Prove 581.18 ms (✅ 1.00x)
Verify 492.05 ms (✅ 1.00x)

RecursiveSNARKSuperNova-2circuit-StepCircuitSize-1038732

arecibo
Prove 1.07 s (✅ 1.00x)
Verify 921.66 ms (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-0

arecibo
Prove 9.03 s (✅ 1.00x)
Verify 246.94 ms (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-6540

arecibo
Prove 11.86 s (✅ 1.00x)
Verify 308.16 ms (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-22924

arecibo
Prove 12.19 s (✅ 1.00x)
Verify 311.70 ms (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-55692

arecibo
Prove 18.30 s (✅ 1.00x)
Verify 493.17 ms (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-121228

arecibo
Prove 19.35 s (✅ 1.00x)
Verify 495.21 ms (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-252300

arecibo
Prove 31.52 s (✅ 1.00x)
Verify 665.52 ms (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-514444

arecibo
Prove 53.91 s (✅ 1.00x)
Verify 1.27 s (✅ 1.00x)

CompressedSNARKSuperNova-Commitments-2circuit-StepCircuitSize-1038732

arecibo
Prove 104.23 s (✅ 1.00x)
Verify 2.40 s (✅ 1.00x)

Made with criterion-table

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment