Hyperliquid'in Derin Analizi: Teknik Mimarisi ve Potansiyel Riskler

Hyperliquid, dikkat çeken bir zincir üstü emir defteri borsası olarak, teknik mimarisi ve güvenliği derinlemesine incelenmeyi gerektiriyor. Bu makalede, Hyperliquid'in teknik gerçekleştirimini, çapraz zincir köprü sözleşmesi yapısı ve HyperEVM ile HyperL1 çift zincir mimarisi olmak üzere iki açıdan analiz edeceğiz.

Hyperliquid Çok Zincirli Köprü Analizi

Hyperliquid, Arbitrum üzerinde kullanıcıların USDC varlıklarını depolamak için bir köprü sözleşmesi dağıttı. Bu köprü sözleşmesi, farklı işlevleri yerine getiren dört grup doğrulayıcı içerir: hotValidatorSet, coldValidatorSet, finalizers ve lockers.

doğrulayıcı mekanizması

• hotValidatorSet: yüksek frekanslı işlemleri, örneğin kullanıcı çekimlerini işler
• coldValidatorSet: Sistem yapılandırmasını değiştirir, çekim taleplerini geçersiz kılabilir.
• kilitler: Oylama ile köprü sözleşmesinin çalışması durdurulabilir
• finalizers: Kross zincir köprü durum değişikliklerini onayla

Şu anda Hyperliquid'in sadece 4 doğrulayıcı düğümü var, hotValidatorSet ve coldValidatorSet her biri 4 adrese karşılık geliyor.

Para yatırma süreci

Köprü sözleşmesi, EIP-2612'nin Permit yöntemini kullanarak yatırımları işler, yalnızca USDC yatırılmasına izin verir. batchedDepositWithPermit fonksiyonu birden fazla yatırımı topluca işleyebilir, süreç oldukça basittir.

Para Çekme Süreci

Para çekme talebinin aşağıdaki koşulları sağlaması gerekmektedir:

1. hotValidatorSet'in 2/3 imza ağırlığını elde et
2. 200 saniyelik itiraz süresinin ardından
3. finalizers üyesi tarafından nihai onay

İhtilaf süresi içinde, locker'lar köprü sözleşmesini oylayarak askıya alabilir, coldValidatorSet ise para çekme taleplerini geçersiz kılabilir.

Köprü Akıllı Sözleşme Kilitleme Mekanizması

2 adet locker oyu ile köprü sözleşmesini kilitleyebilirsiniz. Kilidi açmak için coldValidatorSet'in 2/3 imza ağırlığına ihtiyaç vardır ve aynı zamanda doğrulayıcı adresini güncelleyebilirsiniz.

doğrulayıcı güncellemesi

updateValidatorSet fonksiyonu hotValidatorSet ve coldValidatorSet'i güncelleyebilir, tüm hotValidatorSet üyelerinin imzasını gerektirir ve 200 saniyelik bir itiraz süresinden geçmelidir.

potansiyel risk

1. coldValidatorSet kontrol altında olduğu için tüm savunmaları aşarak kullanıcı varlıklarını çalabilir.
2. finalizers, para çekim işlemlerini onaylamayı reddedebilir.
3. kilitler kötü niyetli bir şekilde köprü sözleşmesini kilitleyebilir

HyperEVM ve Çift Zincir Mimarisi

Hyperliquid "çift zincirli çözüm" benimsemekte, aynı anda iki zincir çalıştırmaktadır:

1. Hyperliquid L1: Sipariş defteri sistemi için özel olarak tasarlanmış, lisanslı
2. HyperEVM: EVM uyumlu zincir, izinsiz

İki zincir aynı konsensüs protokolü aracılığıyla veri yayar, ancak farklı yürütme ortamlarında çalışır. HyperEVM, L1 durumunu okuyabilir ve L1'e veri yazabilir.

Önceden Derlenmişler

HyperEVM, L1 durumunu önceden derlenmiş kod aracılığıyla okur. Bilinen önceden derlenmiş adres 0x800, en son L1 bloğundaki kullanıcı sürekli sözleşme pozisyonlarını okumak için kullanılabilir.

Etkinlikler

HyperEVM, Events aracılığıyla L1'e veri yazar. L1 düğümleri, belirli bir adres olan (0x3333...3333)'nin Events'ini dinler ve kullanıcı niyetlerini L1 işlemlerine dönüştür.

HyperBFT konsensüsü

Hyperliquid, HotStuff tabanlı HyperBFT konsensüs algoritmasını kullanmaktadır ve teorik olarak saniyede 2 milyon sipariş işleyebilir.

Geliştirme Dikkat Edilecek Hususlar

1. msg.sender L1 sisteminin sözleşme adresi olabilir.
2. EVM ile L1 etkileşiminin atomik olmaması varlık kaybına yol açabilir.
3. EVM sözleşme adresinin L1'de bir eşleşen hesabı olmalıdır.
4. Varlıkların çapraz zincir işlemleri sırasında, bakiyenin geçici olarak sorgulanamaması durumu ortaya çıkabilir.

Genel olarak, HyperEVM, Hyperliquid L1 tabanlı ikinci katmana benzer, ancak daha yüksek bir birlikte çalışabilirlik sunar.