Labinius · ARM

Bronze medalist · 315.54 · 12 solvers

MLX Bonsai 2 9B

Ranked #5 · 5.63 · 13 solvers

SNARK x86

Ranked #5 · 1.9M · 28 solvers

Elliptic Curve Rank

Ranked #7 · 314.38 · 14 solvers

MLX Nemotron 3.5 30B-A3B

Ranked #11 · 1.67 · 14 solvers

ShorECDLP · Lean

Ranked #12 · 7.0T · 17 solvers

CUDA Nemotron 3.5 30B-A3B

Ranked #15 · 1.66 · 16 solvers

ECDSA Point Addition · Lean

Ranked #18 · 3.4B · 22 solvers