AMPL預金者はAaveの資金凍結に不満を表明

AmpleforthのAMPLステーブルコインの預金者は、貸出プールの不足により、人気の分散型金融（DeFi）借入・貸出プロトコルAaveの資金が凍結されたと不満を訴えている。AMPL預金者がAaveから資産を引き出せなくなるこの問題は、2023年12月から続いている。Aaveの他のDeFiプールはこの問題の影響を受けていない。
AMPL は、インフレ調整後の 2019 年の米ドルの価値を追跡するように設計されたステーブルコインです。プロトコルは、価格がドル目標と一致するかどうかに基づいて、利用可能なトークンの数を増減します。
2022年11月、AaveはCurve（CRV）プールに対する市場操作攻撃の被害者となった。攻撃者はこの攻撃で利益を得ることはできなかったが、プロトコルに160万ドルの不良債権をもたらした。これを受けて、AaveDAOは2022年11月2日にAMPLを含む17の異なるトークンの預金と借入を凍結することを決議した。
凍結により、当時の古い預金者の引き出しは阻止されず、新規の預金と借入のみがブロックされた。しかし、2023年12月のAaveDAOフォーラムの投稿で、Aaveプロトコルに貢献している開発チームであるBored Ghost Developing Labs（BGD Labs）は、引き出しを妨げる追加の問題を発見したと主張した。それによると、プール契約のバグにより資金が流出し、引き出しを処理するための流動性がなくなったとのことだ。
この問題に対して、Ampleforthの代表者は、AaveDAOがAMPLトークンを購入し、補償としてユーザーに配布することを提案しましたが、Aaveの開発者はAMPLの代わりにステーブルコインを支払うという独自の提案で対抗しました。Aaveの開発者はまた、Ampleforthチームに補償パッケージの40％を自社の資金から提供するよう求めました。記事の公開時点では、Ampleforthチームはこれらの資金を提供するかどうかを確認していませんが、問題解決を支援するために引き続きサポートを提供すると述べています。
3月31日、BGD Labsは預金者に30万ドル相当のUSDコイン（USDC）を支払うことを提案しました。これは単なる最初の分配であり、残りの金額はさらなる議論の後に支払われる可能性があると主張しました。議論が完全に解決されなかったにもかかわらず、この提案は4月5日に99.9％以上の賛成票を得て可決されました。
BGD Labs の 30 万ドルの補償金提案。出典: AaveDAO、スナップショット
関連: Aave はアイゼンバーグ攻撃失敗後の不良債権を解消するために 270 万 CRV を購入
Aave 開発者が AMPL の流動性問題を発見
Aave の GitHub ドキュメントによると、トークン保有者が貸付プールに資金を預けると、それと引き換えに同額の「aToken」を受け取ることになります。これらの aToken は基本的に預金証書として機能します。プールが利息の支払いを受け取ると、預金者はこれらの利息の支払いの取り分を表す追加の aToken を受け取ることになります。
しかし、BGD LabsはAMPLプール契約が意図したとおりに機能していないと主張した。AMPLプール契約には欠陥があり、基礎となるAMPLの利用可能な量よりも多くのAMPL aToken（aAMPL）が支払われる。その結果、預金者が引き出すのに十分なAMPLがプールにない。BGD Labsは次のように述べた。
「資産のaToken供給量は、変動債務と利用可能な流動性の合計よりもかなり多いようです。[...] aAMPL供給量は現在、AMPLの基礎となる債権を反映していません。[...] 利用率が100%であるため、引き出しは実行できず、返済と清算のみが可能です。」
BGD Labs は、契約を設計し、書いたのは AaveDAO の請負業者ではなく、Ampleforth の開発者だと主張した。同社は Ampleforth チームに連絡を取り、各預金者に AMPL がいくら支払われるかを決定するよう依頼したと主張した。BGD Labs は、Ampleforth チームが問題の解決策を見つけようとしている間、預金者に辛抱強く待つよう求めた。
アンプルフォース、Aaveコレクターによるトークン買い戻しを提案
1月31日、Ampleforthの開発者であるAhmed Naguib Aly氏（Aaveガバナンスフォーラムでは単に「Naguib」として知られている）は、チームが問題を認識しており、解決に取り組んでいると述べた。「我々は効果的な解決策を見つけるために、Chaos labsおよびGauntlet（AaveDAOのリスクマネージャー）と連携してきました」と彼は書いている。3月8日、Naguib氏は問題の詳細な評価を行い、解決策を提案した。彼によると、過剰な利子の支払いが検出される前に一部の預金者が引き出したため、プールは不足に直面していた。その結果、これらの早期の引き出しにより、プールの資金が枯渇した。
「預金者に支払われる利息は、借り手に請求される利息よりも多かった。この不一致により、一部の預金者が通常の状況下で可能な金額よりも多くを引き出せる状況が生じた。直接的な結果として、現在、流動性不足に直面しており、現在の預金者は資金を引き出すことができない。」
ナギーブ氏によると、アンプルフォースは当時、各預金者に支払われるべき AMPL の適正額を決定できなかったという。しかし、同氏はチームが 3 月 22 日までにこれらの値を決定することを期待している。
ナギブ氏は、Aaveプロトコルが「Aaveコレクター」契約内でいくつかのトークンを所有していることを指摘した。各預金者に支払うべきAMPLの正確な金額がわかれば、これらのトークンを使用してユーザーに返済できると同氏は示唆した。ユーザーに全額返済するには、715,335 AMPL（3月8日の価格で約130万ドル）の「上限」が必要になる。ナギブ氏は、AaveDAOがこれらの準備金を使用してオープンマーケットでAMPLを購入し、将来構築される契約を通じて預金者に配布することを提案した。
3月17日、ナギーブ氏はBGDラボが反対したとして提案を撤回した。「BGDラボは、AMPLを交換して保有者に解放するという提案は状況を解決する効果的な方法ではないと考えており、別の解決策を提案したいと連絡してきた」と同氏は述べた。
Aave開発者がステーブルコインによる補償を提案
3月21日、BGD LabsとAaveのリスク管理コンサルタントChaos Labsは、預金者に補償するための共同提案を発表しました。 両チームは、不足額を533,973 AMPL（3月21日の価格で約100万ドル）と見積もっています。
彼らによると、この量のAMPLは流通供給量の30％以上を占める。これほど多くのAMPLを購入することは、「比較的流動性が低い状態であることを考えると非効率的であり、資産の根本的な経済性を事実上変える」ことになる。代わりに、彼らは、11月22日の凍結から4か月間のAMPLの平均米ドル価値に基づいて預金者に補償することを提案した。これはAMPL1枚あたり1.198ドル、合計639,700ドルに相当し、USDCなどのステーブルコインで支払われる可能性がある。
Chaos LabsとBGD Labsはまた、預金者に補償するためにAmpleforthが資金の40％を提供し、AaveDAOが残りの60％を負担することを提案した。
「問題はAaveの契約にあるが、実装はAmpleforthチームによって行われたことを考慮して、分配のためにスマートコントラクトに預けられる合計額の60%（Aave）40%（Ampleforth）に分割することを提案します。」
この新しい提案は、フォーラム参加者の多くから批判された。一部の批評家は、預金者が補償としてステーブルコインを受け取るのは不公平だと主張した。「提案された解決策の側面には、実際のAMPLではなく、市場レートよりも低い金額のUSDCをaAMPL保有者に支払うことが含まれています」とユーザーのFiddlekinsは投稿で述べた。これは不合理だと彼らは主張した。「USDCで彼ら[預金者]に返済することは、彼らがAMPLを再購入したい場合に価格影響の負担を彼らに転嫁するだけであり、彼らがそうしない場合は、彼らが持つべき資産を現在の高値で売却する能力を否定することになる」からだ。
フィドルキンス氏は、AaveDAOが1月23日に保有する準備金のうち283,500 aAMPLを売却し、363,000ドルを受け取ったことに言及したが、AMPLは買い戻すには高すぎる価格であるという見解と矛盾していると同氏は考えている。「率直に言えば、DAOは安値で売るのは構わないが高値で買うのは嫌だと考えているようで、貸し手がその矢面に立つべきだと主張している」と同氏は述べた。
他の批評家は、AaveDAOとAmpleforthの間で資金を60％/40％に分割するという考えに異議を唱えた。「AAVEのスマートコントラクトに問題があるのに、なぜForth DAOが支払うのでしょうか？」とRomanPope氏は尋ねた。これに対して、QuantumEvolverは双方に責任があると主張した。「AMPL開発者は最初からスマートコントラクトで間違いを犯しており、その間違いが正確に何であったのかをいまだに特定できていません。また、AAVEプラットフォームに統合する前にスマートコントラクトを監査し、正常に機能することを確認すべきだったため、AAVEにも責任があります。」
関連：AaveがBNBチェーンにDeFiプロトコルを導入
BGD Labsが30万ドルの報酬プランを提案
3月31日、BGD Labsは新たな提案を行った。AaveDAOは、Aaveコレクター契約で保有する準備金から得た30万ドル相当のステーブルコインを預金者に支払うというものだ。同社は、この提案は「Ampleforthチームから何のニュースも受け取っていない」ため必要だとした。Ampleforthが後日報酬プランに貢献したい場合、「このフォーラムでコミュニケーションを取ることを期待している」とBGD Labsは述べ、そのような貢献は「技術的には完全に実行可能」だと付け加えた。
この提案は4月5日に99%以上の賛成投票で承認された。
BGD Labsは提案を明らかにした投稿の中で、預金者に支払われる金額は「30万ドル以上になる」と主張しており、法案が可決された後でも預金者に全額を返済するには少なくともあと1回の分配が必要になることを示唆している。
アンプルフォースの反応
4月7日、ナギーブ氏はこの件に関するアンプルフォースの立場を説明しようとした声明を投稿した。同氏は、チームが2022年5月に誤った利子支払いに気付いたと主張した。しかし、その時点では「差異は小さく、AMPL準備金残高をはるかに下回っていた」。Aaveも当時Aaveバージョン3への移行を計画しており、両チームはこの移行が完了するまでプールを凍結することに合意した。
ナギーブ氏によれば、預金者全員が引き出す前にAaveDAOが破綻した場合には、AMPL準備金を使って不足分を補うことにも合意したという。
この議論の後、AMPLプールの預金と借入は2022年11月22日に凍結されました。しかし、11月25日に預金が再び有効になり、時間の経過とともにプールの不足額が拡大しました。その後、AaveDAOは2023年1月23日にAMPL準備金を売却したため、AaveDAOにとって不足額の補填がはるかに困難になりました。ナギーブ氏によると、アンプルフォースは当初、これらの両方の出来事を認識していませんでした。
Ampleforth チームは、不足額がかなり大きくなったことに気づいたとき、「不一致が急激に拡大し始める前の日付を選び、貸し手がその時点から AMPL を保有していると仮定する」という「単純で議論の余地のない解決策」を提案しました。この計算により、補償パッケージを迅速に作成することができ、AaveDAO の準備金と Ampleforth の資金の組み合わせでカバーできたはずです。Naguib 氏は、この提案は BGD Labs チームに非公開で行われたと主張しました。
BGD LabsはAmpleforthの提案を拒否し、代わりにAAVEプラットフォームの動作のオフチェーンシミュレーションに基づいて負債額を計算するよう依頼したと報じられている。このシミュレーションプロセスはより長い時間を要したが、最終的にAmpleforthチームは3月8日にAaveDAOがAMPLを買い戻して預金者に返済することを提案した。
ナギーブ氏は、アンプルフォースチームは「調査とBGDラボがコミュニティを満足させる提案に到達するのに必要なサポートを提供し続ける」と述べたが、チームは「彼ら[BGDラボ]がこの作業を実行するのに最適な立場にある」と考えているため、BGDラボが「解決を主導する」べきだとも主張した。