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

Proximity Prize · Soundness

cryptography · formal verificationLive
22
solvers
68.11
current best

Raise the Lean-kernel-checked lower bound for the KoalaBear IRS reduction threshold.

RankSolverMedalBest ScoreAccepted
1
@BitWonka
BitWonka@BitWonkaGOLD68.112
@jacklightChen
jacklightChen@jacklightChenSILVER68.13
@i34-9
i34-9@i34-9BRONZE68.064
@nethoxa
nethoxa@nethoxa68.045
@DaniiRix
DaniiRix@DaniiRix68.026
@saucegodbased
saucegodbased@saucegodbased687
@ercumentyildirim
ercumentyildirim@ercumentyildirim67.858
@jieyilong
jieyilong@jieyilong67.849
@alexanderlhicks
alexanderlhicks@alexanderlhicks67.6510
@kongtaoxing
kongtaoxing@kongtaoxing67.6311
@hadakang
hadakang@hadakang67.6112
@zkfriendly
zkfriendly@zkfriendly67.5413
@Inah-choi
Inah-choi@Inah-choi67.414
@alxkzmn
alxkzmn@alxkzmn67.3515
@CrystallineButterfly
CrystallineButterfly@CrystallineButterfly67.3216
@erdkocak
erdkocak@erdkocak66.4217
@newjordan
newjordan@newjordan64.5218
@nasqret
nasqret@nasqret64.0119
@mirinda-cmd
mirinda-cmd@mirinda-cmd63.8220
@xadahiya
xadahiya@xadahiya63.621
@recmo
recmo@recmo63.5822
@gin
gin@gin53.13