Mekanisme Hook Uniswap v4: Inovasi dan Tantangan Bersama

Uniswap v4 akan segera diluncurkan, versi ini akan memperkenalkan berbagai inovasi penting, termasuk dukungan untuk jumlah kolam likuiditas yang tidak terbatas untuk setiap pasangan perdagangan dan biaya dinamis, desain tunggal, pembukuan kilat, mekanisme Hook, serta dukungan untuk standar token ERC1155. Di antara semua ini, mekanisme Hook mendapatkan perhatian besar karena potensinya yang kuat.

Mekanisme Hook memungkinkan eksekusi kode kustom pada titik tertentu dalam siklus hidup kolam likuiditas, yang secara signifikan meningkatkan skalabilitas dan fleksibilitas kolam tersebut. Namun, fleksibilitas ini juga membawa tantangan keamanan baru. Artikel ini akan secara sistematis memperkenalkan masalah keamanan dan risiko potensial terkait mekanisme Hook, untuk mendorong perkembangan keamanan komunitas.

Mekanisme Inti Uniswap V4

Tiga fitur penting dari Uniswap v4 adalah Hook, arsitektur singleton, dan pencatatan kilat.

Mekanisme Hook

Hook adalah kontrak yang beroperasi pada berbagai tahap siklus hidup kolam dana likuiditas, yang dapat mendukung biaya dinamis secara asli, menambahkan pesanan batas on-chain, atau melakukan pembuatan pasar dengan rata-rata tertimbang waktu (TWAMM) untuk mendiversifikasi pesanan besar.

Saat ini ada delapan callback Hook, dibagi menjadi empat kelompok:

• sebelumInisialisasi/setelahInisialisasi
• beforeModifyPosition/afterModifyPosition
• sebelumTukar/setelahTukar
• sebelumDonasi/setelahDonasi

Singleton, pencatatan kilat, dan mekanisme kunci

Arsitektur singleton dan pembukuan kilat dirancang untuk meningkatkan kinerja. Semua kolam likuiditas disimpan dalam kontrak pintar PoolManager yang sama.

Cara kerja mekanisme penguncian adalah sebagai berikut:

1. Kontrak locker meminta lock di PoolManager
2. PoolManager menambahkan alamat locker tersebut ke antrian dan memanggil callback-nya.
3. logika eksekusi kontrak locker, interaksi dengan kolam dapat menyebabkan peningkatan mata uang yang tidak nol
4. PoolManager memeriksa antrean dan status peningkatan mata uang, setelah diverifikasi menghapus locker tersebut.

Metode ini menyesuaikan saldo bersih internal, bukan transfer instan. Transfer yang sebenarnya dilakukan setelah operasi selesai, memastikan tidak ada token yang belum diselesaikan.

Akun eksternal tidak dapat berinteraksi langsung dengan PoolManager, harus melalui kontrak. Ada dua skenario interaksi utama:

• Melalui kontrak locker resmi atau yang di-deploy oleh pengguna router (
• kontrak locker dan Hook diintegrasikan ke dalam kontrak yang sama

Model Ancaman

Kami terutama mempertimbangkan dua jenis model ancaman:

• Model ancaman I: Hook itu sendiri baik tetapi memiliki kerentanan
• Model ancaman II: Hook itu sendiri bersifat jahat

) Masalah keamanan dalam model ancaman I

Kami memperhatikan potensi kerentanan yang khas dari versi v4, yang terutama dibagi menjadi dua kategori:

• Hook untuk menyimpan dana pengguna
• Hook untuk menyimpan data status kunci

Kerentanan yang ditemukan terutama berasal dari interaksi risiko antara hook, PoolManager, dan pihak ketiga eksternal, yang dapat dibagi menjadi:

• Masalah kontrol akses
• Masalah verifikasi input

Di antara 22 proyek terkait, 8 dari ###36%( memiliki kerentanan, di mana 6 memiliki masalah kontrol akses, dan 2 rentan terhadap panggilan eksternal yang tidak tepercaya.

)# Masalah kontrol akses

Fungsi callback di v4 ### 8 hook callback dan lock callback ( seharusnya hanya dapat dipanggil oleh PoolManager. Membangun mekanisme kontrol akses yang kuat sangat penting.

)# Masalah verifikasi input

Meskipun ada mekanisme kunci, masih ada skenario serangan yang potensial:

• hook kolam dana interaksi pengguna yang tidak terverifikasi
• Fungsi hook kunci memungkinkan panggilan eksternal yang sembarangan

Ini dapat menyebabkan masalah seperti serangan reentrancy.

Tindakan pencegahan

• Melakukan kontrol akses yang diperlukan pada fungsi sensitif
• Verifikasi parameter input
• Melaksanakan perlindungan reentrancy

![Mengapa Hook dianggap sebagai "pedang bermata dua" untuk Uniswap V4?]###https://img-cdn.gateio.im/webp-social/moments-ba4bfa88e0ac0b6246e82ad879361ff3.webp(

) Masalah keamanan dalam Model Ancaman II

Kami membagi Hook menjadi dua kategori:

• Hook Terkelola: Pengguna berinteraksi dengan hook melalui router
• Hook tipe independen: pengguna berinteraksi langsung dengan hook

Hook Tipe Penitipan

Aset pengguna ditransfer ke router. Hook jahat sulit dicuri secara langsung, tetapi dapat memanipulasi mekanisme manajemen biaya.

Hook Mandiri

hook mendapatkan lebih banyak kekuatan, dapat mengeksekusi operasi apa pun. Risiko utama:

• Agen yang dapat ditingkatkan
• Memiliki logika penghancuran diri

Tindakan Pencegahan

• Menilai apakah hook tersebut berbahaya
• Memperhatikan perilaku manajemen biaya hook yang dikelola
• Perhatikan apakah hook tipe independen dapat ditingkatkan

Penutup

Artikel ini menguraikan mekanisme inti dan risiko keamanan terkait mekanisme Hook Uniswap v4. Meskipun mekanisme Hook adalah inovatif, ia juga menghadirkan tantangan keamanan baru. Artikel selanjutnya akan melakukan analisis mendalam terhadap masalah keamanan di bawah setiap model ancaman.

![Mengapa Hook dianggap sebagai "pedang bermata dua" dari Uniswap V4?]###https://img-cdn.gateio.im/webp-social/moments-97c1e5846e4f09953053f0fb97876f16.webp(