Mekanisme Hook Uniswap v4: Peluang dan Tantangan

Uniswap v4 akan segera diluncurkan, dan pembaruan kali ini akan membawa banyak fitur inovatif, di antaranya mekanisme Hook yang sangat menarik perhatian.

Mekanisme Hook memungkinkan eksekusi kode kustom pada titik tertentu dalam siklus hidup kolam likuiditas, secara signifikan meningkatkan skalabilitas dan fleksibilitas kolam. Namun, kompleksitas Hook juga membawa risiko keamanan potensial yang baru.

Artikel ini sebagai pembuka dari serangkaian artikel, akan memperkenalkan konsep-konsep terkait Hook dalam Uniswap v4, dan memberikan gambaran tentang risiko keamanan yang ada.

Mekanisme Inti Uniswap V4

Tiga fungsi inti Uniswap v4 adalah Hook, arsitektur singleton, dan pembukuan kilat.

Mekanisme Hook

Hook adalah kontrak yang beroperasi pada berbagai tahap siklus hidup kolam likuiditas, saat ini terdapat 8 callback Hook, dibagi menjadi 4 grup:

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

Hook dapat mengimplementasikan biaya dinamis, pesanan batas on-chain, dan fungsi lainnya.

Singleton dan Pencatatan Kilat

Arsitektur singleton menyimpan semua kolam likuiditas dalam kontrak pintar yang sama. Pencatatan flash memperkenalkan mekanisme pencatatan baru, meningkatkan efisiensi dengan menyesuaikan saldo internal alih-alih transfer segera.

mekanisme penguncian

Mekanisme penguncian memastikan transaksi dieksekusi dalam urutan dan diselesaikan. Akun eksternal harus berinteraksi dengan PoolManager melalui kontrak, yang berfungsi sebagai pengunci perantara untuk meminta kunci dan mengeksekusi transaksi.

Model Ancaman

Kami terutama mempertimbangkan dua model ancaman:

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

Masalah keamanan dalam model ancaman I

Berkaitan dengan dua jenis Hook:

1. Hook untuk menyimpan dana pengguna
2. Hook untuk menyimpan data status kunci

Setelah diteliti, ditemukan bahwa 36% proyek terkait memiliki kerentanan, terutama mencakup masalah kontrol akses dan masalah validasi input.

Masalah kontrol akses

Fungsi callback Hook hanya boleh dipanggil oleh PoolManager, perlu dibangun mekanisme kontrol akses yang kuat.

Masalah verifikasi input

Beberapa implementasi Hook yang tidak melakukan validasi input dengan benar dapat menyebabkan panggilan eksternal yang tidak terpercaya, yang dapat memicu serangan seperti reentrancy.

Tindakan pencegahan

• Menerapkan kontrol akses pada fungsi sensitif
• Verifikasi parameter input
• Menggunakan perlindungan reentrancy

Masalah keamanan dalam Model Ancaman II

Membagi Hook menjadi dua kategori: yang dikelola dan yang independen.

Hook Tipe Custodian

Pengguna berinteraksi dengan Hook melalui router, dengan permukaan serangan yang lebih kecil, tetapi masih mungkin untuk memanipulasi mekanisme pengelolaan biaya.

Hook Tipe Independen

Pengguna dapat langsung berinteraksi dengan Hook, yang membawa risiko lebih besar. Jika Hook dapat ditingkatkan, mungkin setelah peningkatan menjadi berbahaya.

Tindakan pencegahan

• Evaluasi apakah Hook berbahaya
• Memperhatikan perilaku manajemen biaya Hook yang dikelola
• Perhatikan apakah Hook tipe independen dapat diperbarui

Kata Penutup

Artikel ini menguraikan konsep inti dan potensi risiko keamanan terkait mekanisme Hook Uniswap v4. Artikel selanjutnya akan menganalisis masalah keamanan di bawah berbagai model ancaman secara mendalam.