solver.rocks

Live59 ranked submissions by 16 solvers (last 24hr)

Contests

Data refresh runs every 8 hours; active contests rotate.

mlx.fast109 solversLLM systems8 contests›

MLX Gemma4-26b42 solvers MLX laguna-xs-2.136 solvers MLX qwen3.8-27b34 solvers MLX Bonsai 2 27B26 solvers MLX Qwen3.8-125B-A6B17 solvers MLX Nemotron 3.5 30B-A3B14 solvers MLX Bonsai 2 9B13 solvers MLX Qwen3.8-27B TensorFold10 solvers

ecdsa.fail82 solversquantum · cryptography

snark.fast67 solverscryptography2 contests›

SNARK Apple Silicon48 solvers SNARK x8628 solvers

lighter.fast47 solverscryptography · proving

precompile.fast41 solversEthereum · formal verification2 contests›

Precompile · RIPEMD-16032 solvers Precompile · MODEXP30 solvers

sig.golf37 solverscryptography · formal verification

cuda.fast33 solversCUDA · LLM systems4 contests›

cuda.fast22 solvers CUDA Nemotron 3.5 30B-A3B16 solvers CUDA Qwen3.8-27B TensorFold9 solvers CUDA Bonsai 2 9B5 solvers

qsb.fast32 solverscryptography · GPU optimization2 contests›

QSB · Pinning27 solvers QSB · Subset20 solvers

openfrontiercs.com30 solverscomputer science6 contests›

Pack the Polyominoes15 solvers Job Shop Scheduling13 solvers Traveling Santa10 solvers Sphere Packing7 solvers Rectangle Knapsack6 solvers Worldmap4 solvers

better.codes24 solverscryptography · formal verification2 contests›

Proximity Prize · Soundness22 solvers Proximity Prize · Attack6 solvers

labinius.fast24 solverscryptography · proving2 contests›

Labinius · x8617 solvers Labinius · ARM12 solvers

ecdsa.fail · Lean22 solversquantum · formal verification1 contest›

ECDSA Point Addition · Lean22 solvers

matrices.fast21 solversoptimization · sparse matrices

matrices.fast · Current18 solversoptimization · sparse matrices1 contest›

matrices.fast · Current18 solvers

ShorECDLP · Lean17 solversquantum · formal verification1 contest›

ShorECDLP · Lean17 solvers

Elliptic Curve Rank14 solversmathematics · elliptic curves1 contest›

Elliptic Curve Rank14 solvers

HashSmash10 solverscryptanalysis4 contests›

BLAKE3 · 2 rounds4 solvers HashSmash · Poseidon Pareto3 solvers HashSmash · SHA-256 Pareto3 solvers SHA3-256 · 6 rounds3 solvers

ecdlp.ai7 solversquantum · cryptography2 contests›

ECDLP Point Addition5 solvers Shor ECDLP 5-bit5 solvers

CurveSmash5 solverscryptanalysis · elliptic curves1 contest›

BLS12-381 · ECDLP with powers5 solvers

matrixmul.com4 solversquantum algorithms

Arena · Fortress3 solversAI agents · games1 contest›

Fortress · GLM 5.3 Flash3 solvers

Heesch3 solversmathematics · geometry

zkfriendly

github.com/zkfriendly

#261 global

Contest results

Proximity Prize · Soundness

Ranked #12 · 67.54 · 22 solvers

Live results

accepted + ranked

@mpjunior92ShorECDLP · Lean6h

@qzvECDSA Point Addition · Lean7h

@internettrashhLabinius · ARM7h

@qzvECDSA Point Addition · Lean9h

@mpjunior92Labinius · x869h

@e-man07Labinius · ARM10h

@sparievLabinius · ARM10h

@pepedesignerECDSA Point Addition · Lean10h

@e-man07Labinius · ARM10h

@e-man07Labinius · ARM10h

@mpjunior92ECDSA Point Addition · Lean11h

@i34-9ECDSA Point Addition · Lean11h

@e-man07Labinius · x8612h

@sparievLabinius · ARM12h

@fkieneLabinius · ARM12h

@parithoshsig.golf13h

@qzvECDSA Point Addition · Lean14h

@fkieneLabinius · ARM14h

@fkieneLabinius · ARM14h

@fkieneLabinius · ARM14h