Giải thưởng cho mã nguồn sạch nhất trước khi kiểm toán mà tôi từng thấy (đến nay) thuộc về: Aave v4. Mặc dù có độ phức tạp cao, nhưng gần như không có vấn đề "đơn giản" nào mà người ta mong đợi sẽ có một vài trong bất kỳ mã nguồn nào có kích thước như thế này. Tôi nghi ngờ rằng đây là sự kết hợp của thiết kế cẩn thận, việc áp dụng nhất quán các thực tiễn tốt nhất (ví dụ: làm tròn rõ ràng, kiểm tra kiểu dữ liệu), và một bộ kiểm tra chi tiết tận dụng fuzzing và các bất biến.