Penghargaan untuk basis kode pra-audit terbersih yang pernah saya lihat (sejauh ini) diberikan kepada: Aave v4. Terlepas dari kerumitan yang tinggi, hampir tidak ada masalah "sederhana" yang diharapkan dalam basis kode ukuran ini. Saya menduga ini adalah kombinasi dari desain yang cermat, penerapan praktik terbaik yang konsisten (misalnya pembulatan eksplisit, pemeran yang diperiksa), dan rangkaian pengujian terperinci yang memanfaatkan fuzzing dan invarian.