El premio al código base pre-auditoría más limpio que he visto (hasta ahora) es para: Aave v4. A pesar de la alta complejidad, casi no hay problemas "simples" que uno espera encontrar en un código base de este tamaño. Sospecho que esto es una combinación de un diseño cuidadoso, la aplicación consistente de las mejores prácticas (por ejemplo, redondeo explícito, conversiones verificadas) y un conjunto de pruebas detallado que aprovecha el fuzzing y las invariantes.