تحليل Hyperliquid من منظور تقني: عقود الجسر، الهيكل والمخاطر المحتملة

هايبرليكويد كمنصة لتبادل الأوامر على السلسلة، تستحق تقنيتها وبنيتها الأمنية مناقشة معمقة. ستتناول هذه المقالة تحليل هايبرليكويد تقنيًا من خلال هيكل عقد الجسر المتقاطع، وهيكل هايبر EVM والهيكل الثنائي.

تحليل جسر Hyperliquid عبر السلاسل

هايبرليكيد نشرت عقد جسر عبر السلسلة على Arbitrum، لتخزين أصول USDC الخاصة بالمستخدمين. من حيث تقسيم هوية العقد، لدى هايبرليكيد أربع مجموعات من المدققين:

• hotValidatorSet: معالجة العمليات عالية التردد مثل السحب
• coldValidatorSet: مسؤول عن تعديل تكوين النظام
• خزائن: مشابهة للجنة الأمان، يمكن التصويت على تعليق عقد الجسر
• finalizers: تأكيد تغير حالة الجسر عبر السلاسل

عملية الإيداع

تستخدم عقود الجسر طريقة التصريح EIP-2612 لمعالجة الودائع، مما يسمح فقط بإيداع USDC. يمكن لدالة batchedDepositWithPermit معالجة عدة ودائع دفعة واحدة، والعملية بسيطة ولها مستوى أمان مرتفع.

عملية السحب

يجب أن تحصل طلبات السحب على 2/3 من وزن توقيع hotValidatorSet. بعد الإطلاق، هناك "فترة نزاع" مدتها 200 ثانية، خلال:

1. يمكن التصويت على توقف العقد في lockers
2. coldValidatorSet يمكن أن يجعل سحب معين غير صالح

بعد فترة النزاع، يقوم أعضاء finalizers باستدعاء دالة batchedFinalizeWithdrawals لتأكيد السحب.

آلية قفل عقد الجسر

يمكن قفل عقد الجسر عن طريق تصويت 2 من الـlockers. يتطلب فك القفل توقيع 2/3 من coldValidatorSet، ويمكن أيضًا تحديث قائمة المدققين.

تحديث مجموعة المدققين

يمكن لدالة updateValidatorSet تحديث hotValidatorSet و coldValidatorSet ، ويتطلب توقيع جميع hotValidatorSet ، وهناك فترة نزاع مدتها 200 ثانية.

المخاطر المحتملة

1. يمكن التحكم في coldValidatorSet لتجاوز الحماية وسرقة الأصول
2. قد ترفض finalizers تأكيد معاملات سحب الأموال
3. عقد جسر قفل الحاسوب الخبيث

HyperEVM و هيكل السلسلتين

هايبرليكويد تعتمد على "نظام مزدوج السلسلة"، حيث تعمل في نفس الوقت على سلسلة خاصة بسجل الطلبات ( هايبرL1) وسلسلة متوافقة مع EVM ( هايبرEVM).

التهيئات المسبقة

تضيف HyperEVM كودًا مسبق التجميع، مما يسمح للعقود الذكية بقراءة حالة HyperL1. عنوان التجميع المعروف 0x800 يمكنه قراءة مراكز العقود الدائمة لأحدث كتلة L1.

الأحداث

تقوم HyperEVM بكتابة البيانات إلى HyperL1 من خلال الأحداث. تستمع العقد إلى أحداث العنوان 0x3333...3333، وتحول نية المستخدم إلى معاملات L1.

توافق HyperBFT

مبني على HotStuff ، يمكن أن تصل السرعة النظرية للمعالجة إلى مليوني طلب في الثانية.

ملاحظات تطوير

1. قد يكون msg.sender عنوان عقد النظام L1
2. عدم الذرية في تفاعل EVM مع L1 قد يؤدي إلى خسارة الأصول
3. يجب إنشاء حسابات مخصصة لعناوين العقود الذكية EVM على L1
4. قد لا يكون من الممكن في بعض الأحيان التحقق من رصيد الأصول عبر السلاسل

بشكل عام، يشبه HyperEVM الطبقة الثانية لـ Hyperliquid L1، لكنه يوفر قابلية تشغيل أعلى. يجب على المطورين الانتباه للتعامل بشكل جيد مع جميع الحالات الخاصة لضمان أمان أصول المستخدمين.