Cenu za nejčistší předauditní kódovou základnu, jakou jsem kdy (zatím) viděl, získává: Aave v4. Navzdory vysoké složitosti neexistují téměř žádné "jednoduché" problémy, které by člověk očekával v jakékoli kódové základně této velikosti. Domnívám se, že se jedná o kombinaci pečlivého návrhu, důsledného uplatňování osvědčených postupů (např. explicitní zaokrouhlování, kontrolované obsazení) a podrobné sady testů, která využívá fuzzing a invarianty.