Hyperliquid'in mimarisi ve potansiyel riskleri üzerine teknik bir bakışla derinlemesine analiz

Hyperliquid, son zamanlarda dikkat çeken bir zincir üstü emir defteri borsası olarak, TVL'si 2 milyar doları aşmış ve "zincir üstü Binance" olarak adlandırılmıştır. Bu makalede, teknik açıdan Hyperliquid'in çapraz zincir köprü sözleşmesi yapısını, HyperEVM mimarisini ve potansiyel güvenlik açıklarını derinlemesine analiz ederek okuyuculara bu yıldız projenin teknik yapısını kapsamlı bir şekilde anlamalarına yardımcı olacağız.

Hyperliquid Çapraz Zincir Köprüsü Analizi

Hyperliquid, Arbitrum'da kullanıcıların USDC varlıklarını saklamak için bir köprü sözleşmesi dağıttı. Bu köprü sözleşmesi dört grup doğrulayıcı içeriyor:

• hotValidatorSet: Kullanıcı çekimleri gibi yüksek frekanslı işlemlerden sorumludur.
• coldValidatorSet: sistem yapılandırma değişikliklerinden ve acil durum yönetiminden sorumlu
• kilitler: Güvenlik Komitesine benzer, köprü sözleşmesi çalışmasını duraklatabilir
• finalizers: Kıdemli köprü 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, yalnızca USDC yatırılmasına izin verir. Kullanıcı işlemlerini basitleştiren batchedDepositWithPermit fonksiyonunu kullanarak toplu yatırımları işler.

Çekim Süreci

Çekim talebi, hotValidatorSet'in 2/3 imza ağırlığına sahip olması gerekir. Ardından 200 saniyelik bir "tartışma süresi" vardır, locker'lar sözleşmeyi duraklatabilir veya coldValidatorSet çekimi geçersiz kılabilir. Tartışma süresinin ardından, finalizer'lar nihai durumu onaylar.

Köprü Akıtma Kilitleme Mekanizması

lockers, oylama ile köprü sözleşmesini kilitleyebilir. 2 locker oylayarak işlemi durdurabilir. Kilidi açmak için coldValidatorSet'in 2/3 imzası gereklidir ve aynı zamanda doğrulayıcı kümesini güncelleyebilir.

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

updateValidatorSet fonksiyonu hotValidatorSet ve coldValidatorSet'i güncelleyebilir, tüm hotValidatorSet'in imzasını gerektirir, 200 saniyelik bir tartışma süresi vardır.

Potansiyel Risk

1. coldValidatorSet kontrol altında olduğunda, varlıkları çalmak için savunmayı aşmak mümkün.
2. finalizers, çekim işlemlerini onaylamayı reddedebilir.
3. lockers kötü niyetli bir şekilde köprü sözleşmesini kilitleyebilir

HyperEVM ve Çift Zincir Etkileşim Mimarisi

Hyperliquid "çift zincir çözümü" kullanıyor:

• Hyperliquid L1: Sipariş defteri için özel zincir, lisanslı
• HyperEVM:EVM uyumlu zincir, izin gerektirmeyen

İki zincir aynı konsensüs protokolü aracılığıyla veri yayar, ancak ayrı ayrı yürütülür. L1 blok oluşturma hızı daha yüksektir, EVM zinciri L1 verilerini okuyabilir ve L1'e yazabilir.

Önceden Derlenmişler

HyperEVM, L1 emir defteri durumunu okumak için önceden derlenmiş kod ekler. Örneğin, 0x800 adresi en son L1 bloklarının sürekli sözleşme pozisyonlarını okuyabilir.

Etkinlikler

HyperEVM, Events aracılığıyla L1'e veri yazar. L1 düğümleri belirli adreslerdeki Events'i dinler ve bunu L1 işlemlerine dönüştür.

HyperBFT konsensüsü

HotStuff'a dayalı olarak geliştirilmiştir, teorik olarak saniyede 2 milyon işlem işleyebilir. Karmaşıklığı azaltmak için Lider toplama yayını yöntemi kullanır.

Geliştirici Dikkat Edilmesi Gerekenler

1. msg.sender L1 sistem sözleşme adresi olabilir.
2. Etkileşimlerin atomik olmaması varlık kaybına yol açabilir.
3. EVM sözleşme adresi L1 üzerinde bir haritalama hesabı oluşturulmalıdır
4. Çapraz zincir varlıkları geçici olarak bakiye sorgulanamıyor.

Genel olarak, HyperEVM, L1 tabanlı bir ikinci katman mimarisine benzer, ancak daha yüksek bir birlikte çalışabilirlik sunar. Geliştiricilerin, kullanıcı varlıklarının güvenliğini sağlamak için çeşitli özel durumları ele almaları gerektiğine dikkat etmelidir.