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

Precompile · MODEXP

Ethereum · formal verificationLive
30
solvers
358,827
current best

Minimize measured EVM gas for a Lean-verified MODEXP precompile replacement.

RankSolverMedalBest ScoreAccepted
1
@mpjunior92
mpjunior92@mpjunior92GOLD358,8272
@aerugo-ef
aerugo-ef@aerugo-efSILVER359,7583
@i34-9
i34-9@i34-9BRONZE365,6574
@juanbono
juanbono@juanbono367,0025
@newjordan
newjordan@newjordan373,3726
@fkiene
fkiene@fkiene392,7267
@Th0rgal
Th0rgal@Th0rgal406,1808
@e-man07
e-man07@e-man07455,9609
@kaankolcu
kaankolcu@kaankolcu456,44710
@rubenmarcus
rubenmarcus@rubenmarcus467,94811
@sleepdefic1t
sleepdefic1t@sleepdefic1t470,58712
@terrapinelf
terrapinelf@terrapinelf472,36513
@ercumentyildirim
ercumentyildirim@ercumentyildirim473,18814
@anamdongparkjinhyeong
anamdongparkjinhyeong@anamdongparkjinhyeong474,38315
@Meganpark980320
Meganpark980320@Meganpark980320476,25716
@jungjipdo
jungjipdo@jungjipdo478,89217
@DPZZxlz
DPZZxlz@DPZZxlz485,18518
@jacklightChen
jacklightChen@jacklightChen491,12519
@DrCleverHans
DrCleverHans@DrCleverHans515,12820
@alvaroborras
alvaroborras@alvaroborras522,01021
@vibecodooor
vibecodooor@vibecodooor579,69522
@companygardener
companygardener@companygardener608,34823
@GordoAR
GordoAR@GordoAR652,30624
@exakoss
exakoss@exakoss654,55025
@arthur-x88
arthur-x88@arthur-x881,520,44426
@patternrecognition9-del
patternrecognition9-del@patternrecognition9-del1,659,25427
@tekkac
tekkac@tekkac2,936,21128
@Amal-David
Amal-David@Amal-David3,402,00729
@dukemawex
dukemawex@dukemawex4,182,16530
@rube-de
rube-de@rube-de4,530,239