Aaveエコシステムでかなり重要なことを耳にしました。Aave LabsはV4のための徹底的なセキュリティ監査を完了し、重大な脆弱性はゼロだったとのことです。正直なところ、これはこの分野ではあまり注目されないタイプのニュースです。

範囲は非常に本格的でした。345日間にわたる厳格なテストで、費用は150万ドル。彼らは標準的な手動レビューだけにとどまらず、形式的検証、インバリアントテスト、ファズテスト、さらには公開のセキュリティコンペティションも実施しました。その6週間の間に900人以上の参加者が950件以上のレポートを提出しました。これは実際に意味のあるクラウドソース型のセキュリティ監査です。

大手の監査機関もこれを確認しています。ChainSecurity、Trail of Bits、Blackthornの3つがこのプロセスに署名し、高リスクの問題は見つかりませんでした。複数の一流監査会社がこれに同意することは、非常に重みがあります。

興味深いのは、新しいアーキテクチャが実際に役立った点です。V4に採用されたハブ＆スポークのモジュラー設計により、コードベースがよりクリーンで小さくなりました。直感に反するかもしれませんが、これによりセキュリティ監査が効率的になり、手抜きなく行えたのです。

しかし、彼らは自己満足して終わるわけではありません。Aave Labsは形式的検証フレームワークを維持し、インバリアントテストスイートも継続しています。また、継続的なバグバウンティプログラムも設立しており、セキュリティを一度きりの作業ではなく継続的なプロセスとして捉えていることがわかります。

これはあまり見出しにはならない基礎的な取り組みですが、インフラに真剣に取り組むプロジェクトとそうでないものを分ける重要な要素です。こうした厳格なセキュリティ監査に取り組み、それを持続的なコミットメントで支えるプロトコルは、注目に値します。