Inverse Finance被盗1450万美元事件分析

CertikDipublikasikan tanggal 2022-04-03Terakhir diperbarui pada 2022-04-03

Abstrak

该事件发生的根本原因在于外部价格预言机依赖导致价格被操纵,因此攻击者可通过操纵价格来借用资产。

北京时间2022年4月2日19时,CertiK安全技术团队监测到Inverse Finance被恶意利用,导致价值约1450万美元的资产受到损失。
该事件发生的根本原因在于外部价格预言机依赖导致价格被操纵,因此攻击者可通过操纵价格来借用资产。
攻击流程
在发起攻击之前,攻击者做了如下准备: 
1. 首先,攻击者部署了一个恶意合约。该合约地址为:0xea0c959bbb7476ddd6cd4204bdee82b790aa1562
2. 其次,攻击者在SushiSwap/Curve.fi中进行调换,以操纵交易中的价格,该交易地址为:0x20a6dcff06a791a7f8be9f423053ce8caee3f9eecc31df32445fc98d4ccd8365
由于SushiSwap:INV(INV-ETH Pair)的流动性非常低,用300ETH(价值约一百多万美元)换取INV将大幅增加INV价格。
随后,攻击者正式发起攻击:
1. 攻击者把在准备阶段获得的INV存入,并铸造(mint)了1746枚XINV代币。
2. XINV的价格计算:根据SushiSwap:INV对中的INV价格所计算。如上所述,INV的价格被操纵,因此每XINV的价值为20926美元。
3. 随着XINV的价格被修改,攻击者能够用铸造的XINV代币借用到如下资产:1588枚ETH,94枚WBTC,3999669枚DOLA与39枚YFI。
合约漏洞分析
该漏洞主要原因是对价格预言机具有依赖性,并且这中间有30分钟的窗口期。而攻击在准备阶段完成后正式发生,仅仅用了15秒。

预言机

在这种情况下,因为timeElapsed == 15,预言机合约Keep3rV2Oracle的函数_update()中'timeElapsed > periodSize'的检查将被绕过。这意味着最后的累积价格还没有被更新。由此可见,函数_computeAmountOut()中的amoutOut会比预期的数额大,因为priceCumulative已经被操纵了,但_observation.priceCumulative没有被更新。

预言机

一方面,XINV的价格依赖于SushiSwap:INV 对(INV-ETH对)的储备,其流动性非常低。
另一方面,TWAP可以防止闪电贷攻击。理论上,攻击者能够通过 "牺牲 "一些钱来操纵价格,也就是说,用他自己的钱来改变价格。在这个特殊的价格预言机设计中,如果经过的时间没有超过30分钟,当前的价格(来自储备金)不应该被用来计算出金金额。
资产追踪
据CertiK SkyTrace显示,价值约1450万美元的资产被盗后已被转移到Tornado Cash。

预言机

其他细节
利用漏洞进行交易的准备期间: 
https://etherscan.io/tx/0x20a6dcff06a791a7f8be9f423053ce8caee3f9eecc31df32445fc98d4ccd8365
利用漏洞进行交易发起攻击: 
https://etherscan.io/tx/0x600373f6752132https://etherscan.io/tx/0x600373f67521324c8068cfd025f121a0843d57ec813411661b07edc5ff781842
攻击者地址1:https://etherscan.io/address/0x117c0391b3483e32aa665b5ecb2cc539669ea7e9
攻击者地址2: https://etherscan.io/address/0x8b4c1083cd6aef062298e1fa900df9832c8351b3
攻击合约: 
https://etherscan.io/address/0xea0c959bbb7476ddd6cd4204bdee82b790aa1562
预言机合约: 
https://etherscan.io/address/0x39b1df026010b5aea781f90542ee19e900f2db15#code
SushiSwap INV-ETH Pair: 
https://etherscan.io/address/0x328dfd0139e26cb0fef7b0742b49b0fe4325f821
XINV 合约地址: https://etherscan.io/address/0x1637e4e9941d55703a7a5e7807d6ada3f7dcd61b#code
Keep3rV2 预言机合约地址: 
https://etherscan.io/address/0x39b1df026010b5aea781f90542ee19e900f2db15#code
​写在最后
现如今,很多项目都会用到预言机,部分项目还会对其具有很强的依赖性。安全审计,会审查预言机的设计合理性、价格算法以及经济模型等。
因此,CertiK的安全专家建议:尽量避免使用流动性低的池子作为价格预言机价格来源,同时对项目进行安全审计从而保证预言机模型的正确性。

Bacaan Terkait

Dia Minta GPT-5.6 Sol Jalankan Teorema Terakhir Fermat Selama 33 Jam Nonstop, Dihentikan Paksa oleh Sistem

Sebagai orang biasa, jika Anda memberikan sebuah masalah matematika sulit kepada AI dan terus menyuruhnya "lanjutkan", mungkinkah ia benar-benar memecahkan masalah itu dan membantu Anda memenangkan hadiah besar, atau bahkan mengubah perkembangan matematika? Baru-baru ini, seorang pakar bernama Michael P. Frank mencoba memberikan tugas penelitian berkesulitan tinggi kepada GPT-5.6 Sol: mengeksplorasi apakah ada jalur pembuktian yang lebih sederhana untuk Teorema Terakhir Fermat dibandingkan bukti Wiles-Taylor, dengan fokus pada kurva Frey khusus, metode keturunan tak hingga seragam, ketidaksetaraan tipe abc aritmatika, dan hasil bagi genus rendah seragam. Tugas ini dijalankan di latar belakang selama sekitar 33 jam, menghabiskan banyak sumber daya komputasi, tetapi akhirnya dihentikan secara paksa oleh sistem OpenAI. GPT-5.6 Sol menganalisis bahwa penyebabnya mungkin dua hal: sistem menilai sesi ini menggunakan terlalu banyak sumber daya, atau OpenAI sebelumnya sudah mencoba masalah ini dengan model serupa dan gagal, sehingga tidak ingin membuang daya komputasi lagi. Hasil kerja 33 jam tersebut adalah menghasilkan peta "jalan buntu" dengan mengubah banyak jalan pintas yang "terdengar layak" menjadi pernyataan tepat yang dapat diverifikasi, lalu membuktikannya salah atau menyingkirkannya, bukan menghasilkan pembuktian itu sendiri. Ada beragam tanggapan atas tindakan OpenAI ini. Beberapa orang menduga OpenAI mungkin menyembunyikan kemampuan sebenarnya untuk mencegah pihak lain mencuri perhatian atau untuk digunakan sendiri. Namun, peneliti senior OpenAI Noam Brown menolak anggapan ini, menyatakan bahwa jika seseorang bisa memenangkan hadiah Millennium Prize hanya dengan mengetik "lanjutkan", itu justru akan menjadi iklan terbaik bagi OpenAI. Pendapat lain menyebutkan bahwa penghentian ini mungkin disebabkan oleh mekanisme keamanan rutin untuk mencegah proses macet, atau bahkan bug dalam versi 5.6 Sol yang menyebabkan pemblokiran saat menjalankan tugas lama. Ada juga yang mengaitkannya dengan pertimbangan regulasi, bahwa membiarkan model publik menyelesaikan masalah matematika tingkat tinggi justru akan membuktikan kekuatan model tersebut dan menarik perhatian regulator.

marsbit5m yang lalu

Dia Minta GPT-5.6 Sol Jalankan Teorema Terakhir Fermat Selama 33 Jam Nonstop, Dihentikan Paksa oleh Sistem

marsbit5m yang lalu

Apakah Ada Pemimpin Baru dalam Perlombaan ETF? Menurut Grayscale, Altcoin Ini Mengungguli Bitcoin, Ethereum, dan Altcoin Lainnya!

Gelombang ETF spot, yang dimulai dengan disetujuinya ETF spot Bitcoin oleh SEC AS pada Januari 2024, kini terus berlanjut dengan melibatkan banyak aset kripto alternatif (altcoin). Saat ini, selain Bitcoin ($BTC), berbagai altcoin seperti Ethereum ($ETH), $XRP, dan Solana (SOL) juga telah mendapatkan persetujuan sebagai ETF. Menariknya, ETF spot Hyperliquid ($HYPE) kini menarik minat signifikan dari investor. Laporan analisis terbaru dari Grayscale, perusahaan pengelola aset kripto, menyoroti kinerja $HYPE. Menurut penilaian mereka, sejak peluncurannya, ETF spot $HYPE telah melampaui ETF spot Bitcoin, Ethereum, Solana, dan $XRP dalam hal arus masuk kumulatif dana relatif terhadap kapitalisasi pasarnya. Grayscale mencatat bahwa ETF spot $HYPE menonjol sebagai produk yang menarik arus masuk dana paling cepat dari investor pada tahap awal. Perusahaan menekankan bahwa dalam periode waktu yang sama, ETF $HYPE menunjukkan awal terkuat dibandingkan para pesaingnya. Analisis Grayscale terhadap ETF lain menunjukkan bahwa ETF spot Bitcoin menunjukkan tren arus masuk yang paling stabil, sementara ETF $ETH mengalami pertumbuhan di pertengahan periode. ETF Solana dan $XRP juga dinikmati minat tinggi dan arus masuk dana yang substansial di awal kehadiran mereka. Namun, Grayscale menyatakan bahwa dibandingkan dengan periode yang sama, ETF $HYPE menunjukkan awal terkuat sepanjang sejarah. Hal ini, menurut mereka, menunjukkan bahwa permintaan investor terhadap $HYPE tetap tinggi. *Ini bukan rekomendasi investasi.

cryptonews.ru11m yang lalu

Apakah Ada Pemimpin Baru dalam Perlombaan ETF? Menurut Grayscale, Altcoin Ini Mengungguli Bitcoin, Ethereum, dan Altcoin Lainnya!

cryptonews.ru11m yang lalu

Peringatan Terbaru CEO Microsoft Nadella: Mengandalkan Hanya Satu Model Besar adalah Menyerahkan Kunci Perusahaan kepada Pihak Lain

CEO Microsoft Satya Nadella memperingatkan bahwa perusahaan yang mengandalkan satu model AI besar untuk segala kebutuhan berisiko kehilangan kendali atas nasib mereka. Dalam wawancara dengan CNN, Nadella menekankan bahwa data, memori, dan catatan penggunaan AI adalah aset kritis. Jika semua elemen ini terikat pada satu penyedia, perusahaan pada dasarnya telah "mengalihdayakan pemikiran" mereka. Risiko utama meliputi: 1. **Kebocoran rahasia bisnis:** Penyedia AI dapat mempelajari operasi dan metode kerja inti perusahaan dari data yang terkumpul. 2. **Keterikatan (lock-in):** Migrasi ke model AI lain menjadi sangat sulit dan mahal karena ketergantungan pada konteks, memori, dan alur kerja yang terikat pada satu platform. 3. **Kehilangan kedaulatan:** Perusahaan menjadi rentan terhadap perubahan harga, penurunan kualitas, atau penghentian layanan dari penyedia tunggal. Solusi yang ditawarkan adalah **memisahkan (mendekopel)** komponen-komponen kunci: * **Model AI** dapat disewa dari berbagai penyedia (OpenAI, Anthropic, Microsoft, dll.) dan dipilih berdasarkan tugas spesifik. * **Data, memori, konteks, metadata (catatan prompt, panggilan alat, koreksi), dan harness/agent** harus tetap dikuasai dan dikelola oleh perusahaan sendiri. Dengan arsitektur ini, perusahaan mempertahankan "otak" atau "sirkuit pemikiran" mereka sendiri—yang merupakan akumulasi pengetahuan dan pengalaman organisasi—sambil fleksibel memanfaatkan model AI terbaik dari luar. Intinya, model paling cerdas bisa disewa, tetapi kapabilitas dan memori inti perusahaan harus tetap menjadi aset yang dipertahankan secara internal.

marsbit55m yang lalu

Peringatan Terbaru CEO Microsoft Nadella: Mengandalkan Hanya Satu Model Besar adalah Menyerahkan Kunci Perusahaan kepada Pihak Lain

marsbit55m yang lalu

Trading

Spot
活动图片