Uniswap v4 Hook Mekanizması: Yenilik ve Zorluklar Bir Arada

Uniswap v4 yakında piyasaya sürülecek ve bu sürüm, her ticaret çifti için sınırsız sayıda likidite havuzunu ve dinamik ücretleri, tekil tasarımı, anlık muhasebe, Hook mekanizması ve ERC1155 token standardı desteği gibi bir dizi önemli yenilik getirecek. Bu arada, Hook mekanizması güçlü potansiyeli nedeniyle büyük ilgi görüyor.

Hook mekanizması, likidite havuzunun yaşam döngüsündeki belirli noktalarda özel kodların çalıştırılmasına olanak tanır ve bu da havuzun ölçeklenebilirliğini ve esnekliğini büyük ölçüde artırır. Ancak, bu esneklik yeni güvenlik zorluklarını da beraberinde getirir. Bu yazıda, Hook mekanizmasıyla ilgili güvenlik sorunları ve potansiyel riskler sistematik bir şekilde tanıtılacak ve topluluğun güvenli gelişimini teşvik edecektir.

Uniswap V4'ün Temel Mekanizması

Uniswap v4'ün üç önemli özelliği Hook, tekil mimari ve anlık muhasebedir.

Hook mekanizması

Hook, likidite havuzunun yaşam döngüsünün farklı aşamalarında çalışan bir akördür; dinamik ücretleri yerel olarak destekleme, zincir üstü limit emirleri ekleme veya zaman ağırlıklı ortalama piyasa yapıcı (TWAMM) ile büyük emirleri dağıtma gibi işlevler gerçekleştirebilir.

Şu anda dört gruba ayrılmış sekiz Hook geri çağrısı bulunmaktadır:

• beforeInitialize/afterInitialize
• beforeModifyPosition/afterModifyPosition
• beforeSwap/afterSwap
• beforeDonate/afterDonate

Tekil, yıldırım muhasebesi ve kilit mekanizması

Singleton mimarisi ve lightning muhasebe performansı artırmayı amaçlamaktadır. Tüm likidite havuzları aynı PoolManager akıllı sözleşmesinde saklanmaktadır.

Kilitleme mekanizmasının çalışma şekli şöyledir:

1. locker sözleşmesi PoolManager üzerinde lock talep ediyor
2. PoolManager, bu locker adresini kuyruğa ekler ve geri çağrısını çağırır.
3. locker sözleşmesi yürütme mantığı, havuzla etkileşim sıfırdan büyük para artışına neden olabilir.
4. PoolManager, kuyruğu ve para artış durumunu kontrol eder, doğruladıktan sonra bu locker'ı siler.

Bu yöntem, anlık transfer yerine iç net bakiyeyi ayarlar. Gerçek transfer işlem sona erdiğinde gerçekleştirilir ve hiçbir tasfiye edilmemiş tokenin olmadığından emin olunur.

Dış hesaplar doğrudan PoolManager ile etkileşime giremez, bunun yerine sözleşme aracılığıyla işlem yapılması gerekmektedir. İki ana etkileşim senaryosu vardır:

• Resmi veya kullanıcı tarafından dağıtılan locker sözleşmesi ( yönlendirici )
• locker sözleşmesi ve Hook'un aynı sözleşmeye entegre edilmesi

Tehdit Modeli

İki ana tehdit modeli üzerinde duruyoruz:

• Tehdit Modeli I: Hook kendisi iyi niyetli ancak açıklar barındırıyor
• Tehdit modeli II: Hook kendisi kötücül.

Tehdit Modeli I'ndeki güvenlik sorunları

v4 sürümüne özgü olası güvenlik açıklarına odaklanıyoruz, bunlar esasen iki kategoriye ayrılmaktadır:

• Kullanıcı fonlarını saklayan Hook
• Anahtar durum verilerini depolamak için Hook

Araştırmada tespit edilen açıklar, hook, PoolManager ve dış üçüncü taraflar arasındaki risk etkileşimlerinden kaynaklanmaktadır ve şu şekilde sınıflandırılabilir:

• Erişim kontrolü sorunu
• Giriş doğrulama sorusu

22 ilgili proje arasında, 8'inde (36%) güvenlik açığı bulunmaktadır, bunlardan 6'sında erişim kontrol sorunları, 2'sinde ise güvensiz dış çağrılardan etkilenme riski vardır.

Erişim kontrol sorunları

v4'teki geri çağırma fonksiyonu (8 adet hook geri çağırma ve lock geri çağırma ) yalnızca PoolManager tarafından çağrılmalıdır. Güçlü bir erişim kontrol mekanizması oluşturmak kritik öneme sahiptir.

Giriş doğrulama sorunu

Kilitleme mekanizmasına rağmen, potansiyel saldırı senaryoları hala mevcuttur:

• hook doğrulanmamış kullanıcı etkileşimlerinin fon havuzu
• Anahtar hook fonksiyonu, herhangi bir dış çağrıya izin verir.

Bu, yeniden giriş saldırıları gibi sorunlara yol açabilir.

Önlemler

• Hassas fonksiyonlar için gerekli erişim kontrolü uygulamak
• Girdi parametrelerini doğrula
• Yeniden giriş korumasının uygulanması

Tehdit Modeli II'ndeki güvenlik sorunları

Hook'u iki sınıfa ayırıyoruz:

• Yönetilen Hook: Kullanıcı, yönlendirici aracılığıyla hook ile etkileşimde bulunur.
• Bağımsız Hook: Kullanıcılar doğrudan hook ile etkileşime girer.

Teminatlı Hook

Kullanıcı varlıkları yönlendiriciye aktarılır. Kötü niyetli hook'lar doğrudan çalmada zorlanabilir, ancak ücret yönetim mekanizmasını manipüle edebilir.

Bağımsız Tip Hook

hook daha fazla yetki alır, herhangi bir işlem gerçekleştirebilir. Ana riskler:

• Yükseltilebilir ajan
• Kendini yok etme mantığına sahip

Önleyici Tedbirler

• hook'un kötü niyetli olup olmadığını değerlendirin
• Yönetilen hook'un maliyet yönetimi davranışlarına dikkat edin
• Bağımsız hook'un güncellenip güncellenemeyeceğine dikkat edin

Sonuç

Bu makale, Uniswap v4 Hook mekanizmasına ilişkin temel mekanizmaları ve güvenlik risklerini özetlemektedir. Hook mekanizması yenilikçi olmasına rağmen, yeni güvenlik zorlukları da getirmektedir. Sonraki makaleler, her bir tehdit modeli altındaki güvenlik sorunlarını derinlemesine analiz edecektir.