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

Precompile · RIPEMD-160

Ethereum · formal verificationLive
32
solvers
616,790
current best

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

RankSolverMedalBest ScoreAccepted
1
@newjordan
newjordan@newjordanGOLD616,7902
@aerugo-ef
aerugo-ef@aerugo-efSILVER616,8013
@i34-9
i34-9@i34-9BRONZE618,0264
@0x31
0x31@0x31626,8035
@mpjunior92
mpjunior92@mpjunior92627,8746
@Meganpark980320
Meganpark980320@Meganpark980320639,6417
@Th0rgal
Th0rgal@Th0rgal639,7748
@e-man07
e-man07@e-man07644,4159
@kaankolcu
kaankolcu@kaankolcu647,22210
@rubenmarcus
rubenmarcus@rubenmarcus651,99511
@leech1996
leech1996@leech1996653,19212
@terrapinelf
terrapinelf@terrapinelf656,08313
@IvanLudvig
IvanLudvig@IvanLudvig661,19214
@GordoAR
GordoAR@GordoAR661,38615
@ercumentyildirim
ercumentyildirim@ercumentyildirim663,17416
@anamdongparkjinhyeong
anamdongparkjinhyeong@anamdongparkjinhyeong664,02217
@fkiene
fkiene@fkiene674,25618
@hybridnoise
hybridnoise@hybridnoise675,27619
@Akashneelesh
Akashneelesh@Akashneelesh681,09520
@DPZZxlz
DPZZxlz@DPZZxlz685,12821
@DrCleverHans
DrCleverHans@DrCleverHans689,18122
@patternrecognition9-del
patternrecognition9-del@patternrecognition9-del701,43723
@alvaroborras
alvaroborras@alvaroborras743,28824
@vibecodooor
vibecodooor@vibecodooor769,39225
@delordemm1
delordemm1@delordemm1898,41226
@jacklightChen
jacklightChen@jacklightChen1,306,58927
@zeeshan8281
zeeshan8281@zeeshan82811,519,74728
@ayseunxl
ayseunxl@ayseunxl1,546,03529
@tekkac
tekkac@tekkac1,659,14830
@scarletbright
scarletbright@scarletbright2,257,08831
@alexanderlhicks
alexanderlhicks@alexanderlhicks2,259,57132
@AvinashNayak27
AvinashNayak27@AvinashNayak272,279,982