Skip to content

Instantly share code, notes, and snippets.

@huitseeker
Created December 14, 2023 13:25
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save huitseeker/0342a88f350e0345acf530b4091084cb 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-6559

nova arecibo
Prove 1.00 s (✅ 1.00x) 660.94 ms (✅ 1.52x faster)
Verify 34.20 ms (✅ 1.00x) 24.68 ms (✅ 1.39x faster)

CompressedSNARK-StepCircuitSize-22943

nova arecibo
Prove 1.65 s (✅ 1.00x) 969.10 ms (✅ 1.70x faster)
Verify 51.63 ms (✅ 1.00x) 34.18 ms (✅ 1.51x faster)

CompressedSNARK-StepCircuitSize-55711

nova arecibo
Prove 2.83 s (✅ 1.00x) 1.67 s (✅ 1.69x faster)
Verify 85.14 ms (✅ 1.00x) 52.04 ms (✅ 1.64x faster)

CompressedSNARK-StepCircuitSize-121247

nova arecibo
Prove 5.33 s (✅ 1.00x) 2.90 s (🚀 1.84x faster)
Verify 165.73 ms (✅ 1.00x) 89.13 ms (🚀 1.86x faster)

CompressedSNARK-StepCircuitSize-252319

nova arecibo
Prove 10.09 s (✅ 1.00x) 5.27 s (🚀 1.91x faster)
Verify 342.85 ms (✅ 1.00x) 158.30 ms (🚀 2.17x faster)

CompressedSNARK-StepCircuitSize-514463

nova arecibo
Prove 20.47 s (✅ 1.00x) 10.69 s (🚀 1.91x faster)
Verify 534.90 ms (✅ 1.00x) 332.94 ms (✅ 1.61x faster)

CompressedSNARK-StepCircuitSize-1038751

nova arecibo
Prove 41.34 s (✅ 1.00x) 20.98 s (🚀 1.97x faster)
Verify 1.06 s (✅ 1.00x) 504.96 ms (🚀 2.11x faster)

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-6559

nova arecibo
Prove 8.98 s (✅ 1.00x) 8.52 s (✅ 1.05x faster)
Verify 220.73 ms (✅ 1.00x) 228.19 ms (✅ 1.03x slower)

CompressedSNARK-Commitments-StepCircuitSize-22943

nova arecibo
Prove 9.74 s (✅ 1.00x) 8.43 s (✅ 1.16x faster)
Verify 240.53 ms (✅ 1.00x) 201.43 ms (✅ 1.19x faster)

CompressedSNARK-Commitments-StepCircuitSize-55711

nova arecibo
Prove 16.86 s (✅ 1.00x) 14.26 s (✅ 1.18x faster)
Verify 409.28 ms (✅ 1.00x) 382.93 ms (✅ 1.07x faster)

CompressedSNARK-Commitments-StepCircuitSize-121247

nova arecibo
Prove 18.86 s (✅ 1.00x) 14.44 s (✅ 1.31x faster)
Verify 475.59 ms (✅ 1.00x) 383.68 ms (✅ 1.24x faster)

CompressedSNARK-Commitments-StepCircuitSize-252319

nova arecibo
Prove 34.35 s (✅ 1.00x) 25.86 s (✅ 1.33x faster)
Verify 775.02 ms (✅ 1.00x) 510.78 ms (✅ 1.52x faster)

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-6559

nova arecibo
Prove 45.17 ms (✅ 1.00x) 44.38 ms (✅ 1.02x faster)
Verify 29.65 ms (✅ 1.00x) 30.26 ms (✅ 1.02x slower)

RecursiveSNARK-StepCircuitSize-22943

nova arecibo
Prove 64.74 ms (✅ 1.00x) 63.88 ms (✅ 1.01x faster)
Verify 44.68 ms (✅ 1.00x) 46.79 ms (✅ 1.05x slower)

RecursiveSNARK-StepCircuitSize-55711

nova arecibo
Prove 96.76 ms (✅ 1.00x) 97.36 ms (✅ 1.01x slower)
Verify 74.09 ms (✅ 1.00x) 75.89 ms (✅ 1.02x slower)

RecursiveSNARK-StepCircuitSize-121247

nova arecibo
Prove 161.35 ms (✅ 1.00x) 160.59 ms (✅ 1.00x faster)
Verify 131.90 ms (✅ 1.00x) 134.30 ms (✅ 1.02x slower)

RecursiveSNARK-StepCircuitSize-252319

nova arecibo
Prove 292.75 ms (✅ 1.00x) 295.07 ms (✅ 1.01x slower)
Verify 242.94 ms (✅ 1.00x) 244.12 ms (✅ 1.00x slower)

RecursiveSNARK-StepCircuitSize-514463

nova arecibo
Prove 584.20 ms (✅ 1.00x) 550.92 ms (✅ 1.06x faster)
Verify 482.94 ms (✅ 1.00x) 492.00 ms (✅ 1.02x slower)

RecursiveSNARK-StepCircuitSize-1038751

nova arecibo
Prove 1.03 s (✅ 1.00x) 1.06 s (✅ 1.03x slower)
Verify 932.96 ms (✅ 1.00x) 1.05 s (❌ 1.12x slower)

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)

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