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

Precompile · RIPEMD-160

Ethereum · formal verificationLive
26
solvers
658,504
current best

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

RankSolverMedalBest ScoreAccepted
1
@rubenmarcus
rubenmarcus@rubenmarcusGOLD658,5042
@IvanLudvig
IvanLudvig@IvanLudvigSILVER661,1923
@GordoAR
GordoAR@GordoARBRONZE661,3864
@terrapinelf
terrapinelf@terrapinelf661,5125
@ercumentyildirim
ercumentyildirim@ercumentyildirim663,1746
@i34-9
i34-9@i34-9663,4267
@anamdongparkjinhyeong
anamdongparkjinhyeong@anamdongparkjinhyeong664,0228
@Meganpark980320
Meganpark980320@Meganpark980320665,0709
@fkiene
fkiene@fkiene674,25610
@hybridnoise
hybridnoise@hybridnoise675,27611
@Akashneelesh
Akashneelesh@Akashneelesh681,09512
@DPZZxlz
DPZZxlz@DPZZxlz685,12813
@DrCleverHans
DrCleverHans@DrCleverHans689,18114
@patternrecognition9-del
patternrecognition9-del@patternrecognition9-del701,43715
@alvaroborras
alvaroborras@alvaroborras743,28816
@vibecodooor
vibecodooor@vibecodooor769,39217
@delordemm1
delordemm1@delordemm1898,41218
@jacklightChen
jacklightChen@jacklightChen1,306,58919
@zeeshan8281
zeeshan8281@zeeshan82811,519,74720
@ayseunxl
ayseunxl@ayseunxl1,546,03521
@newjordan
newjordan@newjordan1,637,98122
@tekkac
tekkac@tekkac1,659,14823
@scarletbright
scarletbright@scarletbright2,257,08824
@alexanderlhicks
alexanderlhicks@alexanderlhicks2,259,57125
@AvinashNayak27
AvinashNayak27@AvinashNayak272,279,98226
@mpjunior92
mpjunior92@mpjunior9219,333,200