Uniswap v4'ün Hook Mekanizması: Yenilik ve Zorlukların Bir Arada Bulunması

Uniswap v4 yakında piyasaya sürülecek, bu güncelleme birçok yenilikçi özellik getirdi, bunlar arasında Hook mekanizması özellikle dikkat çekiyor. Bu mekanizma, likidite havuzu yaşam döngüsünün belirli noktalarında özel kodun yürütülmesine olanak tanır, bu da havuzun ölçeklenebilirliğini ve esnekliğini büyük ölçüde artırır. Ancak, Hook mekanizması aynı zamanda iki ucu keskin bir kılıç haline gelebilir, karmaşıklığı kaçınılmaz olarak yeni potansiyel güvenlik risklerini beraberinde getiriyor.

Bu makale serinin başlangıcı olarak, Uniswap v4'teki Hook mekanizmasının ilgili kavramlarını tanıtacak ve olası güvenlik risklerini özetleyecektir.

Uniswap v4'ün Temel Mekanizması

Uniswap v4'ün ana yenilikleri arasında Hook, tekil mimari ve anlık muhasebe bulunmaktadır. Bu özellikler, özel likidite havuzları ve birden fazla havuz arasında verimli yönlendirme sağlamayı amaçlamaktadır.

Hook mekanizması

Hook, likidite fon havuzunun yaşam döngüsünün farklı aşamalarında çalışan bir akördür. Şu anda dört gruba ayrılmış sekiz Hook geri çağrısı bulunmaktadır:

• beforeInitialize/afterInitialize
• beforeModifyPosition/afterModifyPosition
• beforeSwap/afterSwap
• bağış öncesi/bağış sonrası

Bu Hook'lar dinamik ücretler, zincir üzerindeki limit emirleri ve zaman ağırlıklı ortalama piyasa yapıcı (TWAMM) gibi işlevleri gerçekleştirebilir.

Tekil mimari ve yıldırım muhasebesi

Singleton mimarisi ve lightning muhasebesi, performans ve verimliliği artırmayı amaçlamaktadır. Tüm likidite havuzları aynı akıllı sözleşmede saklanmakta olup, PoolManager tarafından yönetilmektedir.

v4 sürümü, bir kilitleme mekanizması getirdi, çalışma akışı aşağıdaki gibidir:

1. locker sözleşme isteği lock
2. PoolManager, locker sözleşme adresini kuyruğa ekler ve geri çağırmayı arar.
3. locker sözleşme yürütme mantığı
4. PoolManager durumu kontrol eder ve locker sözleşmesini siler

Bu mekanizma, tüm işlemlerin tasfiye edilmesini sağlar ve eşzamanlı erişimi engeller.

Tehdit Modeli

İki ana tehdit modeli üzerinde duruyoruz:

1. Hook kendisi zararsızdır, ancak açıklar vardır.
2. Hook kendisi kötü niyetlidir.

Tehdit Modeli I içindeki güvenlik sorunları

Bu modelde, esas olarak v4 sürümüne özgü olası güvenlik açıklarına odaklanıyoruz. Araştırmalar, iki ana sorun türü olduğunu ortaya koymuştur: erişim kontrolü sorunları ve girdi doğrulama sorunları.

Erişim kontrol sorunları

Hook'un geri çağırma fonksiyonu yalnızca PoolManager tarafından çağrılmalıdır. Bu fonksiyonlar herhangi bir hesap tarafından çağrılabilirse, ödüllerin yanlış bir şekilde alınması gibi sorunlara yol açabilir.

Giriş doğrulama sorunu

Kilit mekanizmasının varlığı nedeniyle, kullanıcıların fon havuzu işlemlerini gerçekleştirebilmek için sözleşme aracılığıyla lock alması gerekmektedir. Ancak, Hook uygulamasında girdi doğrulaması yetersizse, güvenilmeyen dış çağrılara yol açabilir ve bu da çeşitli saldırılara neden olabilir.

Tehdit Modeli II'ndeki güvenlik sorunları

Bu modelde, Hook'un kendisinin kötü niyetli olduğunu varsayıyoruz. Erişim şekline göre, Hook'u iki kategoriye ayırıyoruz:

1. Yönetilen Hook: Kullanıcıların Hook ile etkileşimde bulunmak için yönlendirici aracılığıyla işlem yapması gerekmektedir.
2. Bağımsız Tip Hook: Kullanıcılar doğrudan Hook ile etkileşime girebilir.

Havuz tipi Hook için ana risk, ücret yönetim mekanizmasının manipüle edilebilmesidir. Bağımsız tip Hook içinse, eğer yükseltilebilir bir yapıdaysa, yükseltme sonrası kötü niyetli hale gelebilir.

Önlemler

Tehdit modeli I için, hassas işlevlere uygun erişim kontrolü uygulanmalı, giriş parametreleri doğrulanmalı ve yeniden girdi koruması eklenmesi dikkate alınmalıdır.

Tehdit modeli II için, yönetilen Hook'lar için maliyet yönetimi davranışlarına dikkat edilmelidir; bağımsız Hook'lar için ise, yükseltilebilir olup olmadığına odaklanılmalıdır.

Sonuç

Uniswap v4'ün Hook mekanizması büyük yenilikler getirdi, ancak aynı zamanda yeni güvenlik zorlukları da ortaya çıkardı. Topluluğun güvenli gelişimini teşvik etmek için her bir tehdit modeli altındaki spesifik güvenlik sorunlarını sonraki makalelerde derinlemesine analiz edeceğiz.