تحليل عميق لـ Hyperliquid: الهيكل التكنولوجي والمخاطر المحتملة

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

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

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

آلية التحقق

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

حاليًا، تحتوي Hyperliquid على 4 عقد للتحقق، حيث تتوافق hotValidatorSet و coldValidatorSet مع 4 عناوين.

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

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

عملية سحب

يجب أن تلبي طلبات السحب الشروط التالية:

1. الحصول على وزن توقيع 2/3 من hotValidatorSet
2. بعد فترة جدل مدتها 200 ثانية
3. يتم تأكيده في النهاية من قبل أعضاء finalizers

خلال فترة النزاع، يمكن أن تصوت الخزائن لتعليق عقد الجسر، ويمكن لمجموعة المدققين الباردة إبطال طلبات السحب.

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

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

تحديث المدقق

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

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

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

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

هايبرليكيد تعتمد "نظام السلسلتين"، حيث تعمل بسلسلتين في نفس الوقت:

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

تقوم سلسلتان بنشر البيانات من خلال بروتوكول إجماع مشترك، ولكن تعمل في بيئات تنفيذ مختلفة. يمكن لـ HyperEVM قراءة حالة L1 وكتابة البيانات إلى L1.

التجميعات السابقة

تقرأ HyperEVM حالة L1 من خلال كود مسبق التجميع. العنوان المسبق المعروف 0x800 يمكنه قراءة مراكز عقود المستخدمين الدائمة من الكتلة الأخيرة لـ L1.

أحداث

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

هايبر بي إف تي التوافق

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

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

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

بشكل عام، يشبه HyperEVM الطبقة الثانية المعتمدة على Hyperliquid L1، لكنه يوفر تفاعلية أعلى.