Prisen for den reneste kodebasen før revisjon jeg noen gang har sett (så langt) går til: Aave v4. Til tross for høy kompleksitet er det nesten ingen "enkle" problemer som man forventer noen få av i en kodebase av denne størrelsen. Jeg mistenker at dette er en kombinasjon av nøye design, konsekvent anvendelse av beste praksis (f.eks. eksplisitt avrunding, kontrollerte kast), og en detaljert testpakke som utnytter fuzzing og invarianter.