Blockchain/Tahap IX · Kelajuan dan tontonan/9.2 Pasaran yang adil/Pelajaran 6
Lengkung kekal dan pasaran yang menetapkan harga sendiri
Menghapus acara migrasi dan sumber harga luaran
BahanAntaramuka penjelajah blok (block explorer) untuk Solana atau EthereumDokumentasi mengenai matematik AMM produk malar (constant-product)Sebuah lembaran kira-kira untuk menjejak nisbah rizab
Ingin tahu
- Mengapa pemindahan kecairan daripada satu lengkung ke sebuah kolam mencipta peluang untuk dieksploitasi?
- Bagaimanakah sebuah kontrak boleh menentukan harga sendiri tanpa bergantung pada oracle luaran?
- Apakah kompromi antara kedalaman kecairan dalaman yang tetap dan penyediaan pasaran yang berubah-ubah?
Teroka
- Banyak bonding curve di launchpad menetapkan harga token menggunakan formula produk malar (constant-product), dengan rizab maya menentukan harga permulaan. Apabila sesuatu token mencapai ambang permodalan pasaran tertentu, ia biasanya akan melalui ‘graduation’, iaitu memindahkan rizab yang terkumpul ke kolam kecairan pembuat pasaran automatik (AMM). Migrasi ini melibatkan penghentian sementara dagangan dan pelaksanaan perubahan keadaan (state) yang kompleks yang memindahkan pemilikan aset antara kontrak.
- Detik graduation ini rapuh dari segi struktur. Ia mewujudkan tetingkap singkat ketika kecairan sedang dipindahkan, terdedah kepada sniping oleh pelaku canggih yang memantau transaksi yang belum selesai. Dalam sistem yang direka dengan lemah, pepijat semasa peralihan ini boleh menyebabkan aset terkunci secara kekal atau dicuri. Lengkung kekal menghapuskan acara ini sepenuhnya; kontrak tidak pernah berpindah, maka tetingkap khusus migrasi itu hilang, walaupun serangan sandwich biasa terhadap dagangan pada lengkung masih kekal.
- Lengkung kekal memperoleh harganya semata-mata daripada rizab dalamannya sendiri: nisbah rizab aset asli (seperti SOL) kepada rizab token. Oleh sebab kontrak memegang kedua-dua belah dagangan, ia menyebut harga beli dan jual terus daripada baki tersebut. Mekanisme penetapan harga sendiri ini menghapuskan kebergantungan pada suapan harga luaran (oracle), yang sering menjadi vektor manipulasi dalam kewangan terdesentralisasi.
- Manipulasi oracle telah menyebabkan modal yang besar disedut keluar daripada protokol DeFi. Pada Oktober 2022, seorang penyerang menolak naik harga token MNGO di pasaran nipis yang dibaca oleh oracle Mango Markets, sekali gus menggelembungkan nilai cagarannya, lalu meminjam kira-kira $110 juta dengan cagaran tersebut. Lengkung yang menetapkan harga hanya daripada rizabnya sendiri tidak mempunyai suapan luaran untuk dipesongkan; harganya masih boleh digerakkan melalui dagangan, tetapi hanya dengan membayar harga lengkung itu sendiri bagi setiap token.
- Kompromi utama ialah kedalaman kecairan. Dalam lengkung kekal, kecairan yang tersedia ditentukan oleh parameter awal dan dagangan seterusnya dalam satu kontrak tersebut. Ia tidak mendapat manfaat daripada kecairan teragregat yang disediakan oleh pembuat pasaran luar atau kolam lain. Dagangan besar menggerakkan harganya lebih banyak berbanding dalam kolam yang dalam yang disokong oleh ramai penyedia, dan kedalamannya hanya bertambah apabila rizabnya sendiri bertambah.
- Untuk mengesahkan mekanisme ini, periksa pelaksanaan bonding curve pada penjelajah blok. Perhatikan pembolehubah ‘virtual reserves’ yang memulakan pemalar produk malar (k). Pada setiap dagangan, medan rizab maya dan rizab sebenar berubah dengan jumlah yang sama; perbezaan tetap antara keduanya, iaitu jumlah maya awal, menetapkan bentuk lengkung, dan harga hanya datang daripada keadaan (state) kontrak itu sendiri.
Fakta utama
- Graduation melibatkan pemindahan rizab daripada bonding curve ke kolam AMM, lalu mewujudkan keadaan sementara yang terdedah kepada sniping.
- Lengkung kekal menghapuskan migrasi dengan mengekalkan semua kecairan dalam satu kontrak yang tidak boleh dinaik taraf.
- Penetapan harga sendiri menggunakan nisbah rizab aset asli kepada rizab token (produk malar), dan bukannya oracle luaran.
- Eksploit Mango Markets pada Oktober 2022 menonjolkan risiko bergantung pada suapan harga oracle yang boleh dimanipulasi untuk menilai cagaran yang boleh dijadikan sandaran pinjaman.
- Penentuan harga dalaman menghilangkan permukaan serangan yang berkaitan dengan manipulasi data luaran, tetapi membataskan kedalaman kecairan kepada rizab kontrak itu sendiri.
- Rizab maya dalam bonding curve menggelembungkan kecairan awal, dan sifatnya yang statik memastikan bentuk matematik lengkung kekal konsisten.
Latihan sembilan, enam, tiga, satu
9KumpulKenal pasti 9 mekanisme pelancaran token. Untuk setiap satu, catat sama ada ia menggunakan acara migrasi (graduation) atau struktur kekal, dan bagaimana harga ditentukan.
6KelompokkanKumpulkan 9 mekanisme ini kepada 6 kumpulan berdasarkan cara ia mengurus kecairan dan menentukan harga.
3SaringKurangkan 6 kumpulan tersebut kepada 3 kompromi asas antara keselamatan yang lahir daripada kesederhanaan dan kecekapan yang lahir daripada pengagregatan.
1KristalkanTulis satu ayat tentang serangan mana, jika ada, yang hilang apabila acara migrasi dibuang.
Semakan fakta
Tarikh, angka dan dakwaan telah disemak berbanding dengan sumber yang diterbitkan yang disenaraikan di bawah.
- E. Hertzog, G. Benartzi & G. Benartzi, 'Bancor Protocol' white paper (2017)
- H. Adams, N. Zinsmeister & D. Robinson, 'Uniswap v2 Core' (2020)
- Contemporary reporting on the Mango Markets exploit (October 2022)