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