フラッシュローンは壊れていない。問題はプロトコル設計だ。
また別のエクスプロイト。別のプロトコル。別の100万ドル規模の損失。
今回は、Solana上のAllbridge Coreが報じられているところによると、$1.1M超を失った。見出しはフラッシュローンのせいにしているが、本当の問題はそこから始まるわけではない。
フラッシュローンは脆弱性ではない。許可不要の流動性プリミティブだ。誰でも単一のアトミック・トランザクション内で巨額の資本にアクセスできるようにするだけである。もしプロトコルが正しく設計されていれば、借り入れが$1 millionであろうと$100 millionであろうと、そのことがセキュリティ上の前提を変えるはずはない。
悪用が起きるのは、プロトコルが一時的な市場状況を客観的な真実と取り違えるときだ。
フラッシュローンを使えば、攻撃者は一瞬だけ流動性を操作し、プール内のスポット価格を歪め、その操作された価格が正当だとプロトコルに信じさせることができる。会計、担保評価、または償還ロジックが、その一時的な状態に依存している場合、プロトコルは経済的に誤った判断をし始める—しかも、すべての行のコードは意図どおりに正確に動作しているままだ。
だからこそ、現代のDeFiエクスプロイトは、ソフトウェアのバグというより経済的な攻撃として増えている。
リエントラントなし。整数オーバーフローなし。秘密鍵の漏えいなし。
ただし、敵対的な状況下で市場がどう振る舞うかについての、誤った前提があるだけだ。
本当の課題は、もはや安全なスマートコントラクトを書くことではない。攻撃者が1トランザクションにほぼ無制限の資本を持っているときでも、システムを安全に保つ設計をすることだ。
フラッシュローンはDeFiを壊したわけではない。
それは、敵対的な思考ではなく「前提」に基づいて構築されたプロトコルを露呈させただけだ。
コードは形式的に検証できる。経済的前提は検証できない。
#DeFi #solana #FlashLoan #security #SmartContracts