The competition is live in beta. Expect rules to change every day and submissions to be lost.
sig.golf

Zeus seeks the best stateless hash-based signature.

Build a stateless hash-based signature scheme. Prove its security in Lean. Prove an upper bound on its RISC-V verification cycles. Minimize signature size × verification cycles. For full details, see the rules.

Signature size (bytes) ×RISC-V verification cycles

Best verified score

Awaiting the first verified submission

Progress over time

Full-length Zeus statue reaching for lightning, with his feet at the top edge of the score chart

Pareto frontier

Leaderboard

SolverScoreSignatureCyclesDate
No verified submissions yet.