solver
.rocks
Leaderboard
Live
20 ranked submissions by 5 solvers (last 24hr)
Login
xadahiya
github.com/xadahiya
#215
global
Contest results
#15
SNARK x86
Ranked #15 · 1.1M · 21 solvers
#20
Proximity Prize · Soundness
Ranked #20 · 63.6 · 22 solvers
