Mekanisme Hook Uniswap v4: Inovasi dan Tantangan yang Seimbang

Uniswap v4 akan segera diluncurkan, pembaruan kali ini membawa banyak fitur inovatif, di mana mekanisme Hook sangat mencolok. Mekanisme ini memungkinkan eksekusi kode kustom pada titik tertentu dalam siklus hidup kolam likuiditas, secara signifikan meningkatkan skalabilitas dan fleksibilitas kolam. Namun, mekanisme Hook juga bisa menjadi pedang bermata dua, karena kompleksitasnya tak terhindarkan membawa potensi risiko keamanan baru.

Artikel ini sebagai pembuka dari serangkaian artikel, akan memperkenalkan konsep terkait mekanisme Hook dalam Uniswap v4, serta menguraikan kemungkinan risiko keamanan yang ada.

Mekanisme Inti Uniswap v4

Inovasi utama Uniswap v4 termasuk Hook, arsitektur tunggal, dan pembukuan kilat. Fitur-fitur ini dirancang untuk mewujudkan kolam likuiditas yang disesuaikan dan routing yang efisien di antara beberapa kolam.

Mekanisme Hook

Hook adalah kontrak yang berjalan pada berbagai tahap siklus hidup kolam dana likuiditas. Saat ini ada delapan panggilan balik Hook, dibagi menjadi empat grup:

• sebelumInisialisasi/setelahInisialisasi
• sebelumUbahPosisi/setelahUbahPosisi
• sebelumTukar/setelahTukar
• sebelumDonasi/setelahDonasi

Hook ini dapat mewujudkan fungsi seperti biaya dinamis, pesanan batas on-chain, dan pembuat pasar rata-rata tertimbang waktu (TWAMM).

Arsitektur Singleton dan Pembukuan Lightning

Arsitektur singleton dan pencatatan kilat dirancang untuk meningkatkan kinerja dan efisiensi. Semua kumpulan likuiditas disimpan dalam kontrak pintar yang sama, yang dikelola oleh PoolManager.

Versi v4 memperkenalkan mekanisme penguncian, alur kerjanya adalah sebagai berikut:

1. permintaan kontrak locker lock
2. PoolManager menambahkan alamat kontrak locker ke dalam antrean dan memanggil callback
3. logika eksekusi kontrak locker
4. PoolManager memeriksa status dan menghapus kontrak locker

Mekanisme ini memastikan bahwa semua transaksi dapat diselesaikan dan mencegah akses bersamaan.

Model Ancaman

Kami terutama mempertimbangkan dua model ancaman:

1. Hook itu sendiri bersifat positif, tetapi ada celah.
2. Hook itu sendiri sudah jahat

Masalah keamanan dalam Model Ancaman I

Dalam model ini, kami terutama fokus pada potensi kerentanan yang khusus untuk versi v4. Setelah diteliti, ditemukan bahwa terdapat dua jenis masalah utama: masalah pengendalian akses dan masalah validasi input.

Masalah akses kontrol

Fungsi callback Hook hanya boleh dipanggil oleh PoolManager. Jika fungsi-fungsi ini dapat dipanggil oleh sembarang akun, hal itu dapat menyebabkan masalah seperti hadiah yang salah diterima.

Masalah verifikasi input

Karena adanya mekanisme kunci, pengguna harus mendapatkan lock melalui kontrak untuk dapat melakukan operasi kolam dana. Namun, jika validasi input dalam implementasi Hook tidak tepat, itu dapat menyebabkan panggilan eksternal yang tidak tepercaya, yang dapat memicu berbagai serangan.

Masalah keamanan dalam model ancaman II

Dalam model ini, kami mengasumsikan bahwa Hook itu sendiri bersifat jahat. Berdasarkan cara akses, kami membagi Hook menjadi dua kategori:

1. Hook Terkelola: Pengguna harus berinteraksi dengan Hook melalui router.
2. Hook Mandiri: Pengguna dapat berinteraksi langsung dengan Hook

Untuk Hook yang dikelola, risiko utama adalah bahwa mekanisme pengelolaan biaya dapat dimanipulasi. Sedangkan untuk Hook yang independen, jika dapat ditingkatkan, mungkin akan menjadi jahat setelah peningkatan.

Tindakan Pencegahan

Untuk model ancaman I, kontrol akses yang tepat harus diterapkan pada fungsi sensitif, memverifikasi parameter input, dan mempertimbangkan untuk menambahkan perlindungan reentrancy.

Untuk model ancaman II, untuk Hook yang dikelola, perhatian harus diberikan pada perilaku manajemen biaya; untuk Hook independen, fokus utama adalah apakah itu dapat ditingkatkan.

Kesimpulan

Mekanisme Hook Uniswap v4 membawa inovasi besar, tetapi juga memperkenalkan tantangan keamanan baru. Kami akan menganalisis masalah keamanan spesifik di bawah setiap model ancaman dalam artikel-artikel berikutnya untuk mendorong perkembangan keamanan komunitas.