O prémio para a base de código pré-auditoria mais limpa que já vi (até agora) vai para: Aave v4. Apesar da alta complexidade, quase não há problemas "simples" que se esperaria encontrar em qualquer base de código deste tamanho. Suspeito que isto seja uma combinação de um design cuidadoso, aplicação consistente das melhores práticas (por exemplo, arredondamento explícito, casts verificados) e um conjunto de testes detalhado que utiliza fuzzing e invariantes.

Não há nada como dormir numa câmara hiperbárica para te fazer sentir como uma nova pessoa.

PSA: um conhecido "Engenheiro de Segurança de Cadeia de Blocos" (@0xNickLFranklin) acabou por ser um operador da RPDC... Noto que alguns dos meus próprios seguidores/mutualistas o seguem. Não se sinta mal, ele enganou todo mundo, só não confie em nada que ele te manda (no mínimo).