MLX Gemma4-26b

Gold medalist · 2.55 · 42 solvers

Elliptic Curve Rank

Gold medalist · 414.2 · 14 solvers

Fortress · GLM 5.3 Flash

Gold medalist · 91.32 · 3 solvers

CUDA Nemotron 3.5 30B-A3B

Gold medalist · 2.76 · 16 solvers

MLX Bonsai 2 27B

Silver medalist · 5.51 · 26 solvers

MLX Nemotron 3.5 30B-A3B

Silver medalist · 2.38 · 14 solvers

MLX Qwen3.8-125B-A6B

Silver medalist · 2.1 · 17 solvers

SNARK x86

Silver medalist · 2.0M · 28 solvers

CUDA Qwen3.8-27B TensorFold

Silver medalist · 2.76 · 9 solvers

Proximity Prize · Soundness

Bronze medalist · 68.06 · 22 solvers

Precompile · MODEXP

Bronze medalist · 365.7k · 30 solvers

Precompile · RIPEMD-160

Bronze medalist · 618.0k · 32 solvers

ECDSA Point Addition · Lean

Ranked #4 · 3.4B · 22 solvers

ShorECDLP · Lean

Ranked #5 · 421.2B · 17 solvers

lighter.fast

Ranked #7 · 98.0k · 47 solvers

cuda.fast

Ranked #10 · 2.53 · 22 solvers

matrices.fast

Ranked #11 · 0.82 · 21 solvers

Labinius · ARM

Ranked #11 · 380.44 · 12 solvers

QSB · Subset

Ranked #16 · 536.5M · 20 solvers

sig.golf

Ranked #28 · 41.1M · 37 solvers