المواضيع الرائجة
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
الجمع الهيكلي بين بيئة التنفيذ المتوازية المعتمدة على لغة Move ونموذج أمان التراهن متعدد السلاسل
@Aptos ، @helios_layer1 ، @alignedlayer
تستمر محاولات تأمين قوة المعالجة والأمان في نفس الوقت في أنظمة البلوك تشين منذ فترة طويلة، وفي السنوات الأخيرة، تم دمج تقنيات التنفيذ المتوازي ونماذج الأمان القائمة على التصنيفات متعددة السلاسل تدريجيا من خلال مراحل تطوير مستقلة. في هذا التدفق، تشارك لغة Move، ومحرك التنفيذ المتوازي Block-STM، وAptos وHelios وAligned Layer، المسؤولة عن التحقق من التخزين وإعادة الحجز متعدد السلاسل، الأدوار في طبقات مختلفة لتشكيل هيكل متماسك.
التنفيذ المتوازي هو تقنية لمعالجة المزيد من المعاملات في نفس الوقت الزمني، ويجعل التحقق الأمني صعبا بطبيعته لأن تغييرات الحالة المتعددة قد تحدث في نفس الوقت. لحل هذه المشكلة، يقوم Block-STM بتنفيذ متوازي بناء على ترتيب معاملات محدد مسبقا، وإذا حدث تعارض أثناء التنفيذ، فإنه يضمن أن تكون النتيجة مماثلة للتنفيذ المتسلسل من خلال المقاطعات والمحاولات. تتميز هذه الطريقة بأن عملية التنفيذ متوازية، لكن الحالة النهائية دائما حتمية، وتسمح لجميع المدققين بالوصول إلى نفس النتيجة. هذا الحسم شرط مهم لأنه يسمح بالتحقق وتتبع المساءلة في مرحلة لاحقة.
توفر لغة Move أمانا على مستوى اللغة في بيئة التنفيذ المتوازية هذه. نظام الأنواع الخطية في Move لا يسمح بتكرار أو تدمير الموارد مثل الأصول بشكل تعسفي، مما يمنع هيكليا خطر الإنفاق المزدوج أو عدم تطابق الحالات الذي قد يحدث أثناء التنفيذ المتوازي. التحكم في الوصول القائم على الوحدات ونموذج الملكية الواضح يوضحان من غير أي حالة، حتى يمكن تحديد المسؤولين عند حدوث تنفيذ سيء. بالإضافة إلى ذلك، تم تصميم كود بايت Move ليكون قابلا للتحقق قبل التنفيذ، لذا يمكنك التحقق من أن انتقال الحالة اتبع القواعد حتى لو لم تقم بإعادة إنتاج التنفيذ بالكامل.
يعتمد Aptos على هذه اللغات Move ومحرك تنفيذ Block-STM لضمان توافق السلسلة الواحدة ودقة التنفيذ. هنا، يعمل التخزين كوسيلة لمحاسبة المشاركين في توافق الشبكة اقتصاديا، مع تطبيق القطع على الانتهاكات الواضحة مثل التوقيع المزدوج أو التوفر الاختراق. يعمل هذا كضمان داخلي بأن التنفيذ المتوازي يتم بشكل صحيح.
توسع هيليوس هذا النطاق ليشمل التحقق من الحالة والتوافقية في بيئات متعددة السلاسل. نموذج الرهنة والسمعة، المسمى I-PoSR، يقيم بشكل ترامي مصداقية المشاركين الذين ينفذون مهام التحقق عبر عدة سلاسل. الأخطاء أو فترات التوقف في سلسلة معينة لا تنتهي بحدث واحد، بل تنعكس في درجة السمعة، مما يؤثر على حقوق التحقق والمكافآت على المدى الطويل. ومن خلال ذلك، تستبعد هيليوس تدريجيا المشاركين الذين يتسببون في أخطاء متكررة في عملية نقل البيانات والتحقق من الحالة بين السلاسل.
الطبقة المحازمة مسؤولة عن أمان السلاسل المتعددة على مستوى آخر. تستفيد هذه الطبقة من إعادة التخزين عبر EigenLayer لضمان نتائج الإثباتات والتحققات التي يتم إنشاؤها عبر بيئات تنفيذ متعددة بشكل اقتصادي. يقوم بمحاذاة التحقق من نتائج التنفيذ الصحيحة من خلال أخذ عينات خفيفة للعملاء وإجراءات النزاع، ويطبق القطع على الأصول المرتبة إذا تم تحديد أخطاء التحقق أو فشل التوفر. النقطة المهمة هنا هي أنه بفضل نتائج التنفيذ الحتمية التي يوفرها Block-STM، يمكن ل Aligned التحقق من اتساق النتائج دون الحاجة لإعادة إنتاج جميع العمليات الداخلية للتنفيذ المتوازي.
كما أن دمج هذه الطبقات الثلاث يخلق هيكلا يمكن لخطأ تنفيذ واحد أن يؤثر على عدة أنظمة أمنية في نفس الوقت. إذا شارك نفس المدقق في توافق Aptos، والتحقق عبر السلاسل لHelios، والتحقق من Aligned، يمكن أن تؤدي أخطاء التنفيذ المتوازي إلى سلسلة من القطع داخل السلسلة، وتراجع السمعة، وفقدان الأصول المعاد تخزينها. هذا يوضح أن المخاطر ليست مستقلة عن بعضها البعض في بيئة التخزين متعددة السلاسل، كما يكشف أيضا عن إمكانية السيطرة النظامية حيث يتم تتبع المسؤوليات بوضوح.
نتيجة لذلك، يوفر أمان الموارد في لغة Move والتنفيذ الموازي الحتمي ل Block-STM الأساس التقني لتشغيل نموذج أمني قائم على التخزين متعدد السلاسل. يضمن Aptos دقة التنفيذ بسلسلة واحدة، ويدير Helios موثوقية التحقق من الحالات عبر السلاسل، وتجعل Aligned Layer جميع هذه النتائج قابلة للتحقق اقتصاديا. يمكن القول إن هذا الهيكل مثال على كيف أن التنفيذ المتوازي وأمان السلاسل المتعددة ليسا مفهومين منفصلين، بل مرتبطان ارتباطا وثيقا من خلال الحتمية وقابلية التحقق من التنفيذ.
$APT



الأفضل
المُتصدِّرة
التطبيقات المفضلة
