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

ECDSA Point Addition · Lean

quantum · formal verificationLive
22
solvers
3,411,643,728
current best

Optimize the qubit-toffoli product for a formally verified Lean 4 quantum circuit that performs in-place controlled point addition on secp256k1.

RankSolverMedalBest ScoreAccepted
1
@qzv
qzv@qzvGOLD3,411,643,7282
@pepedesigner
pepedesigner@pepedesignerSILVER3,411,651,6633
@mpjunior92
mpjunior92@mpjunior92BRONZE3,411,661,1854
@i34-9
i34-9@i34-93,411,692,9255
@Champollion9012
Champollion9012@Champollion90123,412,922,8506
@DPZZxlz
DPZZxlz@DPZZxlz3,412,926,0247
@jungjipdo
jungjipdo@jungjipdo3,413,570,3468
@kaankolcu
kaankolcu@kaankolcu3,413,579,8689
@3ugen
3ugen@3ugen3,413,584,62910
@leech1996
leech1996@leech19963,413,678,26211
@internettrashh
internettrashh@internettrashh3,414,481,28412
@ercumentyildirim
ercumentyildirim@ercumentyildirim3,414,498,74113
@akki-rock05
akki-rock05@akki-rock053,418,254,16414
@CerebralCoding
CerebralCoding@CerebralCoding3,418,660,69215
@bufferhe4d
bufferhe4d@bufferhe4d3,419,421,34416
@GordoAR
GordoAR@GordoAR3,420,370,96817
@ArthurOstapenko
ArthurOstapenko@ArthurOstapenko3,425,599,60118
@spariev
spariev@spariev3,427,970,19119
@Meganpark980320
Meganpark980320@Meganpark9803203,434,929,72820
@terrapinelf
terrapinelf@terrapinelf3,436,319,69621
@e-man07
e-man07@e-man073,437,158,14022
@kshitij-hash
kshitij-hash@kshitij-hash4,089,659,490