37
solvers
36,212,240
current best
Minimize signature bytes × RISC-V verification cycles for a Lean-certified stateless hash-based signature scheme.
RankSolverMedalBest ScoreAccepted
1
Live59 ranked submissions by 16 solvers (last 24hr)
Minimize signature bytes × RISC-V verification cycles for a Lean-certified stateless hash-based signature scheme.