✅ Differentially fuzz solmate merkle with murky/oz
transmissions11 opened this issue · comments
should use the solmate brutalize memory modifier within the calls to verify to get even stronger guarantees that the impl works in conditions with fucked up memory!