HypurrFi が V4 アップグレードのドラマ激化する中、Aave V3 のバグを報告

が、Aave V3のコアコード（バージョン3.5以前）における丸め誤差の脆弱性を暴き、XAUTOおよびUBTC市場を一時停止して、ユーザー資金の安全性を確保した。 このニュースは、Aave LabsがV4アップグレードの成功に関する詳細なレポートを公開し、1年間のテストの結果、重大な脆弱性は発見されなかったと述べている時期に発生した。したがって、V4アップグレードの進捗は興味深いが、ユーザー預金265億ドルを管理しているプロトコルに現在存在する 

明らかなバグ

のため、疑念が残っている。 HypurrFiは何を発見したのか？ HypurrFiは、内部監視システムを通じて、 

発見した

AaveのV3計算ロジックにおけるエラーを、影響を受けた市場での新規預け入れと借入を直ちに一時停止させた。この措置は、ユーザー資金の安全性を確保し、リスクなく引き出しと返済を可能にするために行われた。 問題を解決するため、HypurrFiは現在、Aaveのデプロイヤーおよびセキュリティ研究者と連携している。また、他のAaveフォークプロジェクトにもセキュリティに関する洞察を提供するよう連絡するよう促し、この脆弱性が自社の市場以外のプラットフォームにも影響を与える可能性があることを示唆した。 最近の展開は、 

Aave V⟦N1⟧

に関する疑問を提起し、Aave Labsがその激しく争われているV4アップグレードの緊急性を主張する上で、より多くのポイントを得る可能性がある。Aaveは 収入の3百万ドルを記録した。 収益120百万ドル デフラマのデータによると昨年。 

Aave LabsのV4アップグレードのセキュリティはどの程度堅牢か？

丸め誤差の脆弱性が暴露される数日前、Aave Labsは V4の包括的なセキュリティレポートを発表した。この文書には、2025年3月から2026年2月にかけて行われた1年間のレビュープロセスの詳細が含まれていた。このプロセスは合計345日間のレビュー期間を要し、Certora、ChainSecurity、Trail of Bits、Blackthornなど複数の監査ファームが関与した。また、6週間にわたるSherlockセキュリティコンテスト中に発見を提出した900人以上の独立した研究者も含まれていた。

レポートの中で、Aave Labsは「重大または高レベルの脆弱性は発見されなかった」と主張し、V4アップグレードのセキュリティフレームワークには形式検証、手動監査、不変性テスト、ファジング、AI支援スキャンが含まれており、これらはすべて「セキュリティファースト」のアプローチを表しており、設計の最終段階ではなく初期段階で保護措置を適用すると述べている。 

これは安心させるように聞こえるが、ユーザーは警戒している。なぜならV3は トップファームによる 同様の監査を経てデプロイされ、数年の運用後にHypurrFiがバグを発見したからである。 

これはAaveにとって何を意味するのか？

このレポートは、BDG Labsが2月20日にガバナンスへの支配とV3開発への人為的な制約を理由に、4月1日付で離脱すると発表したという、Aaveエコシステムにおける困難な時期に発表された。 

数週間後、ACIもAaveとの契約を更新せず、残りの有効期間4ヶ月間で契約を終了すると発表した。ACI創設者のMarc Zellerは、「Aave Will Win」提案について言及し、これによりLabsに約5,100万ドルの資金提供が認められると指摘し、「単一のエンティティがコミュニティの反対を押し切って独自の予算案を可決するのに十分な投票権を持っている」という証拠であると述べた。

この提案は必要なすべてのチェックを通過し、コミュニティから52.8%の支持を得たが、Zellerは 抗議し 、Labs関連アドレス（創設者Stani Kulechovによって委任されたとされる11万1,000枚を含む）から約23万3,000枚のAAVEに依存していなければ、この投票は失敗していたはずだと主張した。 

BDGとACIの両方の離脱は、共通する問題を示している。それは、V3からV4への移行を推進するLabへの不満である。当初の提案では、V3の設定を徐々に変更し、V4のローンチ時にユーザーに移行を強制するものであった。 BDGは大胆に この動きに反対し、V4をV3に否定的に比較して推進する一方で、V3の開発を意図的に停止したAave Labsをさらに批判した。