HypurrFi、V4アップグレード騒動の激化の中、 Aave V3のバグを報告

HyperliquidのHyperEVM上でプール型市場と分離型市場の両方をサポートする融資市場であるHypurrFiは、 に丸め処理の脆弱性を発見し Aave 、ユーザー資金の安全性を確保するためにXAUTOおよびUBTC市場を一時停止しました。  V3コアコード3.5以前のバージョン

このニュースは、 Aave Labs が V4 アップグレードの成功に関する詳細なレポートを公開し、1 年間のテストを経ても重大な脆弱性は発見されなかったと述べていることを受けて伝えられた。.

したがって、V4 アップグレードの進捗は興味深いものですが、 現在プロトコルに バグがあると思われるため、ユーザーの預金 265 億ドルに対して疑問が残ります 。

HypurrFiは何を発見しましたか?

HypurrFiは、社内監視システムを通じて にエラーを Aave、該当市場における新規預金と借入を直ちに停止しました。この措置は、ユーザー資金の安全性を確保し、リスクなく出金と返済を可能にするために講じられたものです。 のV3計算ロジック発見し

HypurrFiはこれらの問題に対処するため、 Aave 導入者やセキュリティ研究者と提携しました。また、他の Aave フォークプロジェクトにもセキュリティに関する知見を得るために連絡を取るよう促し、この脆弱性が自社の市場以外のプラットフォームにも影響を及ぼす可能性があることを示唆しました。.

最近の展開は Aave V3、 Aave Labsが激しい議論を呼んでいるV4アップグレードの緊急性を主張する上で、より有利な材料となる可能性がある。Defi Aave を超えた に関する疑問を投げかけており llama 昨年の Defiデータ によると、 売上高は1億2000万ドル。

Aave Labs の V4 アップグレードはどれくらい安全ですか?

丸め脆弱性が露呈する数日前、 Aave Labsは V4に関する包括的なセキュリティレポート。このレポートには、2025年3月から2026年2月にかけて実施された1年間のレビュープロセスの詳細が記載されています。このプロセスには、Certora、ChainSecurity、Trail of Bits、Blackthornなど複数の監査会社が関与し、合計345日間のレビュー期間が費やされました。また、dent 6週間にわたるSherlockセキュリティコンテストで発見事項を提出した

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

それは安心できるように聞こえるが、V3 は 導入前に大手企業による 同様の監査を受けており、何年も運用された後に HypurrFi がバグを発見したため、ユーザーは警戒している。

これは Aaveにとって何を意味するのでしょうか?

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

数週間後、ACIも Aaveとのtracを更新せず、残りの4ヶ月間の有効期間内で契約を履行すると発表しました。ACI創設者のマーク・ゼラー氏はさらに、「Aave が勝つ」という提案に言及し、この提案はLabsに約5100万ドルの資金を提供すると述べ、「単一の組織がコミュニティの反対を押し切って独自の予算案を可決するのに十分な議決権を持っている」ことの証拠だとしています。

この提案は必要なすべてのチェックを通過し、コミュニティから52.8%の支持を得たが、ゼラー氏は、 創設 に依存していなければ投票は失敗していた AAVE だろうと抗議した。 

BDGとACIの離脱は、共通の問題点を示している。それは、Aave LabsがV3からV4への移行を強く推し進めていることへの不満だ。当初の提案では、V3の設定を段階的に変更し、V4のリリース後にユーザーに移行を強制するというものだった。BDG はこの動きに真っ向から反対し 、 Aave Labsを厳しく批判した。