HyperLiquid بعد تراجع الضجة: تفسير تقني لجسرها عبر السلسلة وبنية HyperEVM

هايبرليكيد كمنصة بارزة لتداول دفتر الطلبات على السلسلة، قد تجاوزت قيمتها الإجمالية المقفلة 20 مليار دولار، وتمت الإشادة بها بلقب "بينانس على السلسلة". ستتناول هذه المقالة من منظور البنية التقنية والأمان، وستحلل بعمق بناء ومخاطر عقود الجسور عبر السلسلة، بالإضافة إلى بنية هايبرEVM وهايبرL1 المزدوجة.

تحليل الجسور عبر السلسلة HyperLiquid

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

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

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

تستخدم عقود HyperLiquid الجسر طريقة Permit من EIP-2612 لمعالجة الإيداعات، وتسمح فقط بإيداع USDC. عملية الإيداع بسيطة نسبياً، حيث يتم استخدام دالة batchedDepositWithPermit لمعالجة عدة إيداعات دفعة واحدة.

عملية السحب

عملية السحب معقدة نسبيًا:

1. يقوم المستخدم بتقديم طلب سحب، ويتطلب جمع وزن توقيع 2/3 من hotValidatorSet
2. دخول فترة "الجدل" لمدة 200 ثانية
3. قد تظهر حالتان خلال فترة النزاع:
   • يعتقد lockers أن هناك مشكلة، يمكن التصويت على تجميد العقد.
   • يمكن لمجموعة المدققين الباردة أن تجعل بعض طلبات السحب غير صالحة
4. بعد انتهاء فترة النزاع، يقوم أعضاء finalizers باستدعاء الدالة لتثبيت الحالة النهائية، وتحويل USDC إلى المستخدم.

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

• يحتاج الأمر إلى تصويت 2 من الـ lockers لقفل عقد الجسر
• يمكن سحب التصويت من خلال دالة unvoteEmergencyLock
• يتطلب فتح القفل وزن توقيع 2/3 من coldValidatorSet، ويمكن تحديث مجموعة المدققين في نفس الوقت.

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

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

الجسور عبر السلسلة المخاطر المحتملة

1. يمكن للقراصنة التحكم في coldValidatorSet لتجاوز الدفاع وسرقة الأصول
2. قد ترفض النهائيات تأكيد سحب الأموال، مما يؤدي إلى هجوم المراجعة
3. قد تقوم خزائن بتأمين عقد الجسر بشكل خبيث، مما يعيق السحب

HyperEVM والهيكل الثنائي

هايبر ليكويد تعتمد على بنية مزدوجة السلاسل:

• HyperLiquid L1(L1): سلسلة خاصة بدفتر الطلبات، مرخصة
• HyperEVM(EVM): سلسلة بدون إذن، يمكن نشر العقود الذكية

تتفاعل سلسلتان عبر Precompiles وEvents:

• التجميعات: EVM تقرأ حالة L1
• الأحداث: كتابة البيانات من EVM إلى L1

توافق HyperBFT

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

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

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

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