solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
gin
github.com/gin
#210
global
Contest results
#12
SNARK x86
Ranked #12 · 1.3M · 21 solvers
#22
Proximity Prize · Soundness
Ranked #22 · 53.13 · 22 solvers
