Skip to content

Instantly share code, notes, and snippets.

@huitseeker
Last active January 12, 2024 18:39
Show Gist options
  • Save huitseeker/0a5504320bd179f07310de131f618c72 to your computer and use it in GitHub Desktop.
Save huitseeker/0a5504320bd179f07310de131f618c72 to your computer and use it in GitHub Desktop.

Benchmarks

Table of Contents

Benchmark Results

RecursiveSNARK

Pasta Grumpkin-asm Pasta-PR Grumpkin-PR-asm
Prove-StepCircuitSize-0 44.13 ms (✅ 1.00x) 35.46 ms (✅ 1.24x faster) 68.65 ms (❌ 1.56x slower) 51.94 ms (❌ 1.18x slower)
Verify-StepCircuitSize-0 23.34 ms (✅ 1.00x) 24.20 ms (✅ 1.04x slower) 50.16 ms (❌ 2.15x slower) 42.25 ms (❌ 1.81x slower)
Prove-StepCircuitSize-6559 55.17 ms (✅ 1.00x) 48.73 ms (✅ 1.13x faster) 80.77 ms (❌ 1.46x slower) 62.98 ms (❌ 1.14x slower)
Verify-StepCircuitSize-6559 29.30 ms (✅ 1.00x) 30.58 ms (✅ 1.04x slower) 61.15 ms (❌ 2.09x slower) 51.57 ms (❌ 1.76x slower)
Prove-StepCircuitSize-22943 79.03 ms (✅ 1.00x) 69.39 ms (✅ 1.14x faster) 111.23 ms (❌ 1.41x slower) 87.36 ms (✅ 1.11x slower)
Verify-StepCircuitSize-22943 41.70 ms (✅ 1.00x) 43.55 ms (✅ 1.04x slower) 90.57 ms (❌ 2.17x slower) 74.96 ms (❌ 1.80x slower)
Prove-StepCircuitSize-55711 112.05 ms (✅ 1.00x) 111.75 ms (✅ 1.00x faster) 160.44 ms (❌ 1.43x slower) 126.96 ms (❌ 1.13x slower)
Verify-StepCircuitSize-55711 70.45 ms (✅ 1.00x) 74.44 ms (✅ 1.06x slower) 136.78 ms (❌ 1.94x slower) 110.68 ms (❌ 1.57x slower)
Prove-StepCircuitSize-121247 188.17 ms (✅ 1.00x) 185.34 ms (✅ 1.02x faster) 248.91 ms (❌ 1.32x slower) 200.75 ms (✅ 1.07x slower)
Verify-StepCircuitSize-121247 131.51 ms (✅ 1.00x) 140.78 ms (✅ 1.07x slower) 226.16 ms (❌ 1.72x slower) 182.22 ms (❌ 1.39x slower)
Prove-StepCircuitSize-252319 342.33 ms (✅ 1.00x) 388.50 ms (❌ 1.13x slower) 439.38 ms (❌ 1.28x slower) 329.83 ms (✅ 1.04x faster)
Verify-StepCircuitSize-252319 263.11 ms (✅ 1.00x) 284.64 ms (✅ 1.08x slower) 376.85 ms (❌ 1.43x slower) 309.75 ms (❌ 1.18x slower)
Prove-StepCircuitSize-514463 725.29 ms (✅ 1.00x) 766.61 ms (✅ 1.06x slower) 773.88 ms (✅ 1.07x slower) 629.24 ms (✅ 1.15x faster)
Verify-StepCircuitSize-514463 529.82 ms (✅ 1.00x) 539.58 ms (✅ 1.02x slower) 711.05 ms (❌ 1.34x slower) 561.61 ms (✅ 1.06x slower)
Prove-StepCircuitSize-1038751 1.37 s (✅ 1.00x) 1.40 s (✅ 1.02x slower) 1.41 s (✅ 1.02x slower) 1.15 s (✅ 1.19x faster)
Verify-StepCircuitSize-1038751 1.08 s (✅ 1.00x) 823.05 ms (✅ 1.31x faster) 1.25 s (❌ 1.16x slower) 1.01 s (✅ 1.07x faster)

Made with criterion-table

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