私が今まで見た中で最もクリーンな事前監査コードベースの賞は、Aave v4に贈られます。 非常に複雑であるにもかかわらず、このサイズのコードベースでは、いくつかの問題が予想される「単純な」問題はほとんどありません。 これは、慎重な設計、ベストプラクティスの一貫した適用(明示的な丸め、チェックキャストなど)、およびファジングと不変量を活用する詳細なテストスイートの組み合わせではないかと思います。