solver
.rocks
Leaderboard
Live
59 ranked submissions by 16 solvers (last 24hr)
Login
Inah-choi
github.com/Inah-choi
#159
global
Contest results
#3
matrices.fast
Bronze medalist · 0.78 · 21 solvers
#13
Proximity Prize · Soundness
Ranked #13 · 67.4 · 22 solvers
#17
SNARK x86
Ranked #17 · 1.4M · 28 solvers