Нагорода за найчистішу кодову базу перед аудитом, яку я коли-небудь бачив (поки що), дістається: Aave v4. Незважаючи на високу складність, в будь-якій кодовій базі такого розміру майже немає «простих» проблем, від яких можна очікувати кілька. Я підозрюю, що це поєднання ретельного дизайну, послідовного застосування найкращих практик (наприклад, явне округлення, перевірені приведення) та детального набору тестів, який використовує фаззинг та інваріанти.