Il premio per il codice sorgente pre-audit più pulito che abbia mai visto (fino ad ora) va a: Aave v4. Nonostante l'alta complessità, ci sono quasi nessun "problema semplice" che ci si aspetterebbe di trovare in un codice sorgente di queste dimensioni. Sospetto che questo sia il risultato di un design attento, di un'applicazione coerente delle migliori pratiche (ad es. arrotondamenti espliciti, cast controllati) e di una suite di test dettagliata che sfrutta il fuzzing e le invarianti.