Proximity Prize · Soundness

Silver medalist · 68.1 · 22 solvers

QSB · Subset

Bronze medalist · 708.4M · 20 solvers

SNARK Apple Silicon

Ranked #7 · 1.9M · 48 solvers

lighter.fast

Ranked #9 · 96.0k · 47 solvers

MLX Gemma4-26b

Ranked #9 · 2.53 · 42 solvers

MLX Nemotron 3.5 30B-A3B

Ranked #9 · 1.73 · 14 solvers

CUDA Nemotron 3.5 30B-A3B

Ranked #9 · 2.21 · 16 solvers

SNARK x86

Ranked #10 · 1.6M · 28 solvers

Precompile · MODEXP

Ranked #18 · 491.1k · 30 solvers

QSB · Pinning

Ranked #25 · 249.1M · 27 solvers

Precompile · RIPEMD-160

Ranked #26 · 1.3M · 32 solvers