Keuntungan:
- Kemampuan untuk memahami blok bangunan DeFi seperti AMM, kumpulan likuiditas, oracle dan pinjaman flash serta menggunakan kecerdasan buatan dalam penjelasan mekanisme dan penyusunan skenario
- Mampu membedakan bahwa sebagian besar risiko DeFi adalah kerentanan logika ekonomi/bisnis, bukan bug kode, dan kecerdasan buatan lemah dalam kerentanan ekonomi aslinya
- Mampu memahami bahwa keamanan ekonomi dibuktikan melalui simulasi, bukan pemikiran, dan bahwa kecanduan oracle adalah titik yang paling rapuh.
DeFi (Keuangan Terdesentralisasi) adalah domain Web3 dengan nilai tertinggi dan paling banyak diserang. Pertukaran, protokol peminjaman, kumpulan likuiditas—semuanya dijalankan sebagai kode, dan semuanya menghasilkan jutaan dolar di lingkungan yang tidak bersahabat. Pada unit ini, kita akan menggunakan AI sebagai asisten analisis protokol; Kita akan belajar memahami likuiditas, harga, MEV, dan serangan ekonomi serta di mana AI berguna dan tidak memadai dalam bidang kontekstual ini.
Blok penyusun dasar DeFi
- AMM (Automated Market Maker): Mekanisme pertukaran yang menetapkan harga berdasarkan rumus (misalnya x·y=k) dan bukan mencocokkan pembeli dan penjual.
- Kumpulan likuiditas: Dana bersama tempat pengguna menyimpan token dan perdagangan terjadi.
- Protokol peminjaman: Meminjam tanpa agunan; Likuidasi terjadi ketika nilai agunan menurun.
- Oracle: Sumber data yang memberikan dampak buruk pada protokol — ketergantungan DeFi yang paling kritis dan paling rapuh.
- Pinjaman kilat: Pinjaman yang diambil tanpa agunan dalam satu transaksi dan dikembalikan dalam transaksi yang sama; Ia memiliki kegunaan yang sah dan alat serangan.
MEV dan serangan ekonomi
MEV (Maximal Extractable Value — nilai yang diekstraksi oleh otoritas untuk memesan/menambah/menghapus transaksi) adalah kelas risiko khusus untuk DeFi. Transaksi yang tertunda muncul di kolam publik (mempool); Visibilitas ini membuka pintu bagi serangan berikut:
- Front-running : Melihat transaksi yang menguntungkan dan menyisipkan transaksi sendiri di depannya.
- Serangan sandwich: Melakukan transaksi sebelum dan sesudah pembelian korban dan mengambil keuntungan dari selisih harga.
- Manipulasi Oracle: Menipu protokol dengan mengubah harga suatu pool secara instan, biasanya dengan pinjaman kilat.
Serangan-serangan ini muncul bukan dari "bug" kode, namun dari kemampuan eksploitasi desain ekonomi. Di sinilah AI mengalami kesulitan paling besar: AI yang pandai memindai kode teknis sering kali tidak dapat mendeteksi kerentanan ekonomi spesifik protokol.
Perhatian: Mayoritas kerentanan DeFi bukanlah "bug kode" melainkan kerentanan logika ekonomi/bisnis. Pemindaian kode standar AI melewatkan hal ini; Ini adalah bidang yang paling membutuhkan keahlian manusia, simulasi dan pemodelan.
Peran AI dalam analisis DeFi
1. Deskripsi mekanisme. AI sangat ampuh dalam menjelaskan dalam bahasa sederhana cara kerja protokol yang kompleks (misalnya AMM berbasis kurva). Ini memberikan akses cepat ke dalam analisis.
2. Menghasilkan skenario/kontra hipotesis. “Pada pergerakan harga berapa protokol utang ini akan memasuki krisis likuidasi?” AI menghasilkan rancangan skenario dengan pertanyaan seperti; ini diuji dengan simulasi.
3. Mengingatkan pola serangan yang diketahui. AI membangkitkan pola serangan DeFi di masa lalu (manipulasi oracle, reentrancy, spiral likuidasi) seperti daftar periksa.
4. Draf rencana simulasi. AI dapat membuat rencana untuk skenario mana yang akan diuji; tapi simulasinya sendiri dilakukan dengan alat (Foundry, Tenderly).
Perintah lemah / Perintah kuat
Perintah yang lemah:
Apakah protokol DeFi ini aman?
Perintah yang kuat:
Peran Anda: Analis protokol DeFi. Periksa mekanisme protokol di bawah ini. Pertimbangkan vektor serangan ekonomi berikut satu per satu: manipulasi oracle (dengan pinjaman kilat), sandwich/front-running, spiral likuidasi, efek penarikan likuiditas. Untuk setiap vektor: cara memicunya, kondisi apa yang diperlukan, kemungkinan dampaknya. Inilah hipotesis yang akan diuji MELALUI SIMULASI; Jangan katakan "aman/tidak aman" dengan pasti. GENERATE Kode serangan aktual; Jelaskan risiko untuk tujuan defensif saja.
Empat templat yang dapat disalin
1) Deskripsi mekanisme:
Jelaskan dengan bahasa yang sederhana, langkah demi langkah, mekanisme penetapan harga/likuiditas protokol ini: apa yang terjadi ketika pengguna melakukan transaksi, bagaimana harga ditentukan, ketergantungan eksternal apa saja yang ada? Tandai bagian yang tidak Anda mengerti atau biarkan tidak jelas.
2) Permukaan serangan ekonomi:
Petakan permukaan serangan ekonomi dari protokol ini: asumsi apa yang dapat dieksploitasi dalam oracle, likuiditas, agunan, likuidasi, tata kelola? Tuliskan setiap risiko dengan kondisi (“bagaimana jika”). Sajikan sebagai hipotesis yang akan dikonfirmasi dengan simulasi.
3) Skenario stres:
Pertimbangkan skenario berikut: jika token jaminan turun sebesar 50%, jika harga oracle menyimpang sebesar 30% untuk sesaat, jika 80% likuiditas ditarik, protokol apa yang akan digunakan? Tuliskan dampak langsung dari setiap skenario. Jangan mengklaim presisi numerik; Tentukan bahwa simulasi diperlukan.
4) Pencocokan pola serangan sejarah:
Apakah desain protokol ini memiliki kondisi yang serupa dengan pola serangan DeFi yang diketahui (misalnya oracle sumber tunggal, harga pembukaan pinjaman flash)? Tunjukkan kesamaan untuk tujuan defensif; Jangan mengambil langkah eksploitasi, itu hanya akan menghasilkan titik perhatian.
Tiga kotak mini (dalam jumlah)
Kasus 1 — Risiko Oracle terdeteksi sejak dini. Sebuah tim sedang merancang protokol utang baru. Dalam penjelasan mekanismenya, YZ menandai hipotesis bahwa "harga diambil dari satu kumpulan dan dapat dimanipulasi dengan pinjaman kilat." Tim mengonfirmasi hal ini dalam simulasi dan beralih ke TWAP + multi-sumber. Perkiraan kerugian yang dihindari: seluruh nilai protokol yang terkunci. Pelajaran: AI sangat berharga dalam membangkitkan pola yang diketahui.
Kasus 2 — AI melewatkan kerentanan aslinya. Dalam protokol lain, kerentanannya adalah kesalahan ekonomi unik yang diakibatkan oleh interaksi dua mekanisme (imbalan + likuidasi). AI menemukan setiap mekanisme "sempurna" satu per satu; Tidak dapat melihat interaksinya. Pemodel dan simulasi manusia ditangkap. Pelajaran: Meskipun komponen-komponennya benar, aspek ekonomi secara keseluruhan merupakan titik buta AI.
Kasus 3 — Rencana simulasi menghemat waktu. Seorang analis menyusun 15 skenario stres yang berbeda ke dalam AI alih-alih merencanakannya secara manual; lalu menjalankannya di Foundry. Perencanaan dikurangi dari 1 hari menjadi 2 jam; namun penafsiran hasil dan keputusan ada di tangan manusia. Pelajaran: Rencana AI, ukuran kendaraan, keputusan manusia.
Pentingnya simulasi
Di DeFi, keamanan tidak dibuktikan dengan “berpikir”; Itu diuji dengan simulasi. Ketahanan ekonomi suatu protokol dapat dipahami dengan menjalankan skenario harga, likuiditas, dan serangan yang berbeda secara numerik. AI dapat merencanakan dan menyusun kode simulasi ini; namun alat dan orang-oranglah yang menghasilkan dan menafsirkan hasilnya. Pernyataan “mungkin tahan lama” yang dihasilkan oleh AI bukanlah hasil simulasi dan tidak dapat disajikan begitu saja.
Tip: Saat Anda menerima penilaian risiko DeFi dari AI, Anda harus menanyakan setiap hipotesis “dengan simulasi apa saya mengujinya?” Ubah itu menjadi sebuah pertanyaan. Klaim keamanan yang tidak dapat diuji bukanlah jaminan di DeFi.
Kesalahan umum
- Memindai defisit ekonomi seperti bug kode. Risiko DeFi sebagian besar terletak pada logika bisnis.
- Mempercayai AI untuk mengatakan "aman" dan melewatkan simulasi. Diperlukan pengujian.
- Memvalidasi komponen satu per satu dan melewatkan interaksi. Perekonomian secara keseluruhan sangatlah penting.
- Mempercayai Oracle dari satu sumber. Bencana DeFi yang paling umum.
- Mengabaikan MEV/berjalan di depan. Melupakan fakta mempool publik.
- Menghasilkan kode eksploitasi. Hanya analisis defensif yang sah.
Singkatnya
- DeFi adalah ruang bernilai tinggi dan bermusuhan; Risikonya sebagian besar terletak pada logika ekonomi/bisnis.
- MEV, front-running, sandwich, dan manipulasi oracle adalah kelas serangan khusus untuk DeFi.
- AI kuat dalam penjelasan mekanisme dan penyusunan skenario; Defisit ekonomi awalnya lemah.
- Keamanan ekonomi dibuktikan dengan simulasi, bukan pemikiran; Rencana AI, tindakan kendaraan.
- Ketergantungan Oracle adalah titik paling rentan dari DeFi; banyak sumber daya dan TWAP diperlukan.
Tugas aplikasi
Pilih AMM atau protokol peminjaman (dengan dokumentasi yang jelas). Terapkan petunjuk "deskripsi mekanisme" dan "permukaan serangan ekonomi" ke AI. Untuk setiap hipotesis risiko yang dihasilkan AI, “dengan simulasi apa saya akan mengujinya?” Jawab pertanyaannya. Kemudian temukan laporan audit aktual dari protokol tersebut dan bandingkan temuan aktual dengan risiko yang ditandai oleh AI: Apa yang ditangkap AI, apa yang terlewat?
daftar periksa
- [ ] Saya membahas risiko dalam dua dimensi: kode + ekonomi.
- [ ] Saya mengevaluasi MEV/berjalan di depan.
- [] Saya juga memeriksa ketergantungan Oracle.
- [ ] Saya mempertanyakan interaksi komponen-komponen (perekonomian secara keseluruhan).
- [] Saya menghubungkan setiap hipotesis ke rencana simulasi.
- [ ] Saya mengganti "brankas" AI dengan simulasi.
- [ ] Saya hanya menganalisis untuk tujuan defensif.