solver.rocks
Live59 ranked submissions by 16 solvers (last 24hr)

ShorECDLP · Lean

quantum · formal verificationLive
17
solvers
412,011,042,480
current best

Optimize the qubit × T-model product for a formally verified Lean 4 end-to-end Shor's algorithm circuit solving secp256k1 ECDLP with >= 99% success probability.

RankSolverMedalBest ScoreAccepted
1
@mpjunior92
mpjunior92@mpjunior92GOLD412,011,042,4802
@kaankolcu
kaankolcu@kaankolcuSILVER412,774,251,4893
@qlxjcj
qlxjcj@qlxjcjBRONZE420,232,241,1524
@fkiene
fkiene@fkiene421,137,887,5805
@i34-9
i34-9@i34-9421,189,303,1406
@CerebralCoding
CerebralCoding@CerebralCoding459,275,950,3567
@samkberard-art
samkberard-art@samkberard-art459,277,468,5648
@bufferhe4d
bufferhe4d@bufferhe4d465,671,676,4049
@ArthurOstapenko
ArthurOstapenko@ArthurOstapenko477,728,924,42010
@dadon
dadon@dadon6,910,705,125,25611
@pepedesigner
pepedesigner@pepedesigner6,935,753,962,21612
@spariev
spariev@spariev6,997,630,233,80013
@akki-rock05
akki-rock05@akki-rock057,106,649,444,49614
@e-man07
e-man07@e-man0714,449,762,295,19015
@erickeigen
erickeigen@erickeigen73,728,906,268,05016
@kshitij-hash
kshitij-hash@kshitij-hash153,309,058,546,176,00017
@terrapinelf
terrapinelf@terrapinelf277,532,526,979,937,000