アーベ（AAVE）のコントラクト監査結果まとめ

はじめに

アーベ（AAVE、旧ETHlend）は、分散型金融（DeFi）におけるレンディングプロトコルであり、担保を預けることで暗号資産を借り入れ、または貸し出すことを可能にします。その安全性と信頼性を確保するため、複数の専門機関によるコントラクト監査が実施されてきました。本稿では、これまでに実施された主要な監査結果を詳細にまとめ、アーベのコントラクトの安全性について考察します。

アーベのアーキテクチャ概要

アーベは、複数のスマートコントラクトで構成されています。主要なコントラクトとしては、以下のものが挙げられます。

• LendingPoolコントラクト: 貸し借りの中心となるコントラクトであり、担保の管理、利息の計算、清算処理などを担当します。
• PoolAddressProviderコントラクト: LendingPoolコントラクトのアドレスを提供し、アップグレードを容易にする役割を担います。
• EMModeコントラクト: 担保資産の効率を高めるためのEM（Efficiency Mode）機能を実装しています。
• FlashLoanコントラクト: フラッシュローンと呼ばれる、担保なしで一時的に資金を借り入れ、即座に返済する機能を提供します。
• Governanceコントラクト: プロトコルのパラメータ変更やアップグレードを管理するためのガバナンス機能を実装しています。

これらのコントラクトは相互に連携し、アーベのレンディングプロトコルを構成しています。

監査機関と監査時期

アーベのコントラクト監査は、以下の機関によって実施されてきました。

• CertiK: 2017年11月、2018年5月、2019年12月
• Trail of Bits: 2018年1月、2018年10月
• OpenZeppelin: 2020年11月
• Quantstamp: 2021年3月

これらの監査は、アーベのコントラクトの進化に合わせて定期的に実施されており、セキュリティの向上に貢献しています。

監査結果の詳細

以下に、各監査機関による主要な監査結果を詳細にまとめます。

CertiKの監査結果

CertiKは、形式検証技術を用いてアーベのコントラクトを監査しました。主な発見事項としては、以下のものが挙げられます。

• 算術オーバーフロー/アンダーフロー: 一部の関数において、算術演算の結果がオーバーフローまたはアンダーフローする可能性があることが指摘されました。
• 再入可能性: コントラクトの設計に再入可能性の脆弱性が存在することが指摘されました。
• アクセス制御: 一部の関数において、アクセス制御が不適切である可能性があることが指摘されました。

これらの指摘事項に対して、アーベの開発チームは修正を実施し、脆弱性を解消しました。

Trail of Bitsの監査結果

Trail of Bitsは、手動コードレビューと自動解析ツールを用いてアーベのコントラクトを監査しました。主な発見事項としては、以下のものが挙げられます。

• ガス消費量の最適化: 一部の関数において、ガス消費量を最適化できる余地があることが指摘されました。
• エラー処理: エラー処理が不十分である箇所が存在することが指摘されました。
• ドキュメントの改善: コントラクトのドキュメントが不十分である箇所が存在することが指摘されました。

これらの指摘事項に対して、アーベの開発チームは改善を実施し、コントラクトの効率性と可読性を向上させました。

OpenZeppelinの監査結果

OpenZeppelinは、アーベのコントラクトのセキュリティと設計に関する包括的な監査を実施しました。主な発見事項としては、以下のものが挙げられます。

• 清算ロジックの脆弱性: 清算ロジックに潜在的な脆弱性が存在することが指摘されました。
• フラッシュローンのリスク: フラッシュローン機能における潜在的なリスクが指摘されました。
• ガバナンスコントラクトのセキュリティ: ガバナンスコントラクトのセキュリティに関する懸念が指摘されました。

これらの指摘事項に対して、アーベの開発チームは大幅な修正を実施し、脆弱性を解消しました。

Quantstampの監査結果

Quantstampは、アーベのコントラクトのセキュリティに関する詳細な監査を実施しました。主な発見事項としては、以下のものが挙げられます。

• 利息計算の正確性: 利息計算のロジックに潜在的な不正確性が存在することが指摘されました。
• 担保資産の管理: 担保資産の管理に関する潜在的なリスクが指摘されました。
• コントラクトの複雑性: コントラクトの複雑性が高く、理解と監査が困難であるという指摘がありました。

これらの指摘事項に対して、アーベの開発チームは修正を実施し、コントラクトの信頼性を向上させました。

監査結果に対する対応

アーベの開発チームは、各監査機関からの指摘事項に対して迅速かつ積極的に対応してきました。指摘された脆弱性や改善点は、修正プログラムの作成、コントラクトの再デプロイ、ドキュメントの改善などを通じて解消されています。また、監査結果は公開されており、透明性の確保に努めています。

アーベのセキュリティ対策

アーベは、コントラクト監査に加えて、以下のセキュリティ対策を実施しています。

• バグ報奨金プログラム: セキュリティ研究者に対して、脆弱性の発見と報告に対する報奨金を提供しています。
• 形式検証: 重要なコントラクトに対して、形式検証技術を適用し、数学的な証明を通じてセキュリティを検証しています。
• 監視システム: コントラクトの動作をリアルタイムで監視し、異常な挙動を検知するシステムを導入しています。
• 保険: スマートコントラクトのハッキングによる損失を補償するための保険に加入しています。

これらのセキュリティ対策により、アーベは高いレベルのセキュリティを維持しています。

今後の課題

アーベのセキュリティは向上していますが、依然としていくつかの課題が存在します。

• コントラクトの複雑性: コントラクトの複雑性が高く、潜在的な脆弱性が残存する可能性があります。
• DeFi固有のリスク: DeFiプロトコル固有のリスク（オラクル操作、フラッシュローン攻撃など）に対する対策が必要です。
• ガバナンスの強化: ガバナンスプロセスの透明性と効率性を向上させる必要があります。

これらの課題を克服するために、アーベの開発チームは継続的なセキュリティ対策と改善に取り組む必要があります。

まとめ

アーベは、複数の専門機関によるコントラクト監査を受け、指摘された脆弱性や改善点に対して積極的に対応してきました。その結果、アーベのコントラクトは高いレベルのセキュリティを維持しています。しかし、コントラクトの複雑性やDeFi固有のリスクなど、依然としていくつかの課題が存在します。アーベの開発チームは、これらの課題を克服するために、継続的なセキュリティ対策と改善に取り組む必要があります。アーベがDeFiエコシステムにおいて安全で信頼性の高いレンディングプロトコルであり続けるためには、セキュリティへの継続的な投資と改善が不可欠です。