تحليل تقني متعمق لـ Hyperliquid: عقد الجسر، HyperEVM والمشكلات المحتملة

هايبرليكيد كمنصة تداول ذات دفتر طلبات على السلسلة تحظى باهتمام كبير، فإن بنية تقنيتها وأمانها تستحق التحليل العميق. ستتناول هذه المقالة تحليل ثلاثة جوانب: هيكل عقود الجسر عبر السلاسل، وميزات تقنية هايبرEVM، والمخاطر الأمنية المحتملة.

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

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

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

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

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

عملية السحب

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

1. يقوم المستخدم بإرسال طلب سحب
2. تأكيد وزن توقيع 2/3 لمجموعة hotValidatorSet
3. فترة النزاع 200 ثانية
4. تأكيد الأعضاء النهائيين

خلال فترة النزاع، يمكن للـ lockers التصويت لتجميد العقد، و coldValidatorSet يمكن أن يجعل بعض السحوبات غير صالحة.

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

يمكن لأعضاء lockers استدعاء دالة voteEmergencyLock للتصويت، حيث يكفي تصويت عضوين لقفل عقد الجسر. يحتاج إلغاء القفل إلى توقيع 2/3 من coldValidatorSet.

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

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

نقاط المخاطر الرئيسية

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

HyperEVM والهيكل المعماري للتفاعل بين سلسلتين

لتحقيق قابلية برمجة التداول في دفتر الطلبات، أطلقت Hyperliquid خطة HyperEVM. وتتميز بما يلي:

1. يمكن قراءة حالة دفتر طلبات Hyperliquid
2. يمكن التفاعل مع نظام دفتر الطلبات Hyperliquid

هايبرليكيد تعتمد "خطة السلسلتين"، حيث تعمل على تشغيل سلسلتين في نفس الوقت:

• Hyperliquid L1: سلسلة خاصة بسجل الطلبات، نظام ترخيص
• HyperEVM: سلسلة متوافقة مع EVM، بدون إذن

تتفاعل السلسلتان من خلال Precompiles و Events:

• Precompiles: الشيفرة المسبقة التجميع، تسمح لـ EVM بقراءة حالة L1
• الأحداث: يتم إطلاق الأحداث من EVM، ويقوم عقد L1 بالاستماع وتنفيذ العمليات المناسبة

توافق HyperBFT

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

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

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

ملخص

تجمع Hyperliquid بين دفتر الطلبات عالي الأداء والبرمجة من خلال بنية ثنائية السلسلة وآلية التفاعل المبتكرة. ومع ذلك، فإن آلية المدققين المعقدة والتفاعل عبر السلاسل يجلبان أيضًا مخاطر أمنية محتملة، مما يستدعي مزيدًا من الاهتمام والتحسين.