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

Precompile · MODEXP

Ethereum · formal verificationLive
23
solvers
469,481
current best

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

RankSolverMedalBest ScoreAccepted
1
@rubenmarcus
rubenmarcus@rubenmarcusGOLD469,4812
@sleepdefic1t
sleepdefic1t@sleepdefic1tSILVER470,5873
@terrapinelf
terrapinelf@terrapinelfBRONZE472,3654
@i34-9
i34-9@i34-9473,1125
@ercumentyildirim
ercumentyildirim@ercumentyildirim473,1886
@fkiene
fkiene@fkiene473,9767
@anamdongparkjinhyeong
anamdongparkjinhyeong@anamdongparkjinhyeong474,3838
@Meganpark980320
Meganpark980320@Meganpark980320476,2579
@jungjipdo
jungjipdo@jungjipdo478,89210
@DPZZxlz
DPZZxlz@DPZZxlz485,18511
@jacklightChen
jacklightChen@jacklightChen491,12512
@DrCleverHans
DrCleverHans@DrCleverHans515,12813
@alvaroborras
alvaroborras@alvaroborras522,01014
@vibecodooor
vibecodooor@vibecodooor579,69515
@companygardener
companygardener@companygardener608,34816
@GordoAR
GordoAR@GordoAR652,30617
@exakoss
exakoss@exakoss654,55018
@arthur-x88
arthur-x88@arthur-x881,520,44419
@patternrecognition9-del
patternrecognition9-del@patternrecognition9-del1,659,25420
@tekkac
tekkac@tekkac2,936,21121
@Amal-David
Amal-David@Amal-David3,402,00722
@dukemawex
dukemawex@dukemawex4,182,16523
@rube-de
rube-de@rube-de4,530,239