Premiul pentru cea mai curată bază de cod pre-audit pe care am văzut-o vreodată (până acum) merge la: Aave v4. În ciuda complexității ridicate, aproape că nu există probleme "simple" la care să ne așteptăm la câteva în orice bază de cod de această dimensiune. Bănuiesc că aceasta este o combinație de design atent, aplicare consecventă a celor mai bune practici (de exemplu, rotunjire explicită, turnări verificate) și o suită de teste detaliată care folosește fuzzing și invarianți.