Hyperliquid'i Teknik Açıdan Derinlemesine Analiz: Köprü Sözleşmeleri, HyperEVM ve Potansiyel Sorunlar

Hyperliquid, dikkat çeken bir zincir üstü emir defteri borsası olarak, teknik mimarisi ve güvenliği derinlemesine incelenmeyi gerektiriyor. Bu makale, çapraz zincir köprü sözleşme yapısı, HyperEVM teknik özellikleri ve potansiyel güvenlik açıkları olmak üzere üç açıdan analiz edecektir.

Hyperliquid Çok Zincirli Köprü Analizi

Hyperliquid, Arbitrum üzerinde kullanıcıların USDC varlıklarını depolamak için bir çapraz zincir köprü sözleşmesi kurdu. Düğüm kimlikleri açısından Hyperliquid'in dört grup doğrulayıcısı var:

• hotValidatorSet: Kullanıcı çekimlerini gibi yüksek frekanslı işlemleri yönetmekle sorumludur.
• coldValidatorSet: Sistem yapılandırmasını değiştirmek ve olağanüstü durumları ele almakla sorumludur.
• kilitler: Güvenlik Komitesine benzer, köprü sözleşmesini oylayarak durdurabilir.
• finalizers: Kross zincir köprüsü durum değişikliklerini onayla

Para Yatırma Süreci

Köprü sözleşmesi, EIP-2612'nin Permit yöntemini kullanarak yatırımları işler, sadece USDC yatırılmasına izin verir. Yatırım işlemi oldukça basittir, esasen batchedDepositWithPermit fonksiyonu ile toplu olarak işlenir.

Para Çekme Süreci

Para çekme süreci oldukça karmaşık:

1. Kullanıcı para çekme talebi başlatır
2. hotValidatorSet'in 2/3 imza ağırlığı onayı
3. 200 saniye itiraz süresi
4. finalizers üyeleri nihai onay

Tartışma süresi içinde, kilitli cüzdanlar sözleşmeyi dondurmak için oy kullanabilir, soğuk Validator Set bazı çekimleri geçersiz kılabilir.

Köprü Sözleşmesi Kilitleme Mekanizması

lockers üyeleri voteEmergencyLock fonksiyonunu çağırarak oylama yapabilir, 2 üye oy kullandığında köprü sözleşmesi kilitlenir. Kilidi açmak için coldValidatorSet'in 2/3 imzası gereklidir.

doğrulayıcı kümesi güncellemesi

updateValidatorSet fonksiyonu ile hotValidatorSet ve coldValidatorSet güncellenir, tüm hotValidatorSet üyelerinin imzası gereklidir, 200 saniyelik bir itiraz süresi vardır.

Ana risk noktaları

1. coldValidatorSet kontrol altında tutulursa tüm savunmaları aşarak varlıkları çalabilir.
2. finalizerlar, kullanıcı varlıklarının çekilememesine neden olacak şekilde para çekme işlemlerini onaylamayı reddedebilir.
3. locker'ların kötü niyetli olarak köprü sözleşmesini kilitlemesi, çekimleri engelliyor.

HyperEVM ve İkili Zincir Etkileşim Mimarisi

Sipariş defteri işlemlerinin programlanabilirliğini sağlamak için Hyperliquid, HyperEVM çözümünü tanıttı. Özellikleri şunlardır:

1. Hyperliquid sipariş defteri durumunu okuyabilirsiniz
2. Hyperliquid Order Book Sistemi ile etkileşim kurulabilir

Hyperliquid, iki zincirin aynı anda çalıştığı "çift zincir çözümü" benimsemektedir:

• Hyperliquid L1: Sipariş defteri özel zincir, izinli
• HyperEVM: EVM uyumlu zincir, izinsiz

İki zincir, Precompiles ve Olaylar aracılığıyla etkileşim sağlar:

• Precompiles: Önceden derlenmiş kod, EVM'nin L1 durumunu okumasına izin verir.
• Olaylar: EVM olayları, L1 düğümü dinler ve ilgili işlemleri gerçekleştirir

HyperBFT Konsensüsü

Hyperliquid, HotStuff tabanlı geliştirilmiş HyperBFT konsensüs algoritmasını kullanıyor ve teorik olarak her saniye 2 milyon sipariş işleyebiliyor.

Geliştirici Dikkat Edilmesi Gerekenler

1. msg.sender sistem sözleşme adresi olabilir, kullanıcı adresi değil.
2. EVM ve L1 etkileşimi atomik değildir, başarısız durumları ele almak gerekir.
3. EVM sözleşme adresi L1'de bir eşleme hesabı oluşturmalıdır
4. Varlıkların çapraz zincir işlemi sırasında bakiyeler geçici olarak görünmez olabilir.

Özet

Hyperliquid, çift zincirli mimarisi ve yenilikçi etkileşim mekanizması sayesinde yüksek performanslı bir order book ile programlanabilirliği bir araya getiriyor. Ancak karmaşık doğrulayıcı mekanizması ve çapraz zincir etkileşimi, potansiyel güvenlik açıklarını da beraberinde getiriyor ve bu konuların daha fazla dikkat ve optimizasyon gerektirdiği söylenebilir.