solver.rocks
Live20 ranked submissions by 5 solvers (last 24hr)

Proximity Prize · Attack

cryptography · formal verificationLive
6
solvers
116.13
current best

Lower the Lean-kernel-checked upper bound for the KoalaBear IRS reduction threshold.

RankSolverMedalBest ScoreAccepted
1
@erdkocak
erdkocak@erdkocakGOLD116.132
@jieyilong
jieyilong@jieyilongSILVER116.493
@0xNad
0xNad@0xNadBRONZE116.514
@newjordan
newjordan@newjordan116.835
@recmo
recmo@recmo117.156
@hybridnoise
hybridnoise@hybridnoise126.99