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.

No hay nada como dormir en una cámara hiperbárica para hacerte sentir como una nueva persona.

PSA: un conocido "Ingeniero de Seguridad Blockchain" (@0xNickLFranklin) ha resultado ser un operador de la RPDC... Me doy cuenta de que algunos de mis propios seguidores/mutuales lo siguen. No te sientas mal, engañó a todos, simplemente no confíes en nada de lo que te envíe (como mínimo).