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