واجهت حلول الطبقة 2 وتعدد الشبكات دائمًا تحديًا بين "الترتيب السريع مع تأكيد ضعيف" و"التأكيد القوي مع أوقات انتظار طويلة". توفر أدوات الترتيب المركزية تأكيدًا أوليًا خلال ثوانٍ لكنها تعتمد على سمعة المشغّل، في حين أن نهائية الطبقة الأولى (L1) أكثر متانة ولكن غالبًا ما تتطلب انتظارًا أطول. ينقل HotShot مسؤولية التأكيد إلى مجموعة لامركزية من المُدقِّقين المخزنين، مستهدفًا نهائية تركيبية خلال ثوانٍ.
لفهم HotShot، يجب استيعاب ثلاثة مبادئ أساسية: يتحكم الإجماع فقط في الترتيب والتأكيد؛ التنفيذ وتوافر البيانات (DA) منفصلان؛ والاستجابة المتفائلة تقلل زمن التأخير. من الضروري أيضًا معرفة ما تعنيه النهائية على مستوى الثواني لحالات الاستخدام عبر السلاسل والتمويل.
ما هو HotShot؟ وما دوره في Espresso؟
HotShot هو بروتوكول الإجماع المتسامح مع الخطأ البيزنطي (BFT) لشبكة Espresso Network (ESP)، ويستند إلى HotStuff وHotStuff-2. يقترح القادة الكتل، ويصل المُدقِّقون إلى شهادات النصاب من خلال جولات تصويت متعددة، وتحت فرضية الأغلبية الصادقة، يتم الاتفاق النهائي على ترتيب الكتل.
في بنية Espresso، يتولى HotShot مسؤولية التسوية والتأكيد، حيث ينشئ سجلًا نهائيًا موحدًا وقابلًا للتحقق لمخرجات المعاملات المقدمة من البيئات المتكاملة. يحتفظ كل تطبيق أو سلسلة ببيئة التنفيذ الخاصة به، واستراتيجية الترتيب، وقواعد الامتثال. لا يجبر Espresso جميع الحالات على آلة مشتركة واحدة؛ بل تشارك عدة أطراف في أساس نهائية موحد.
| مكون HotShot |
الدور في Espresso |
| نواة إجماع BFT |
يوفر التأكيد النهائي اللامركزي لترتيب الكتل |
| مجموعة المُدقِّقين |
تقوم بتخزين ESP، التصويت، وإنتاج الكتل |
| شهادة النصاب |
تثبت أن غالبية المُدقِّقين المخزنين وافقوا على الكتلة |
| طبقة التنفيذ (خارجية) |
كل تطبيق/سلسلة يدير انتقالات الحالة الخاصة به |
| طبقة DA (منفصلة) |
EspressoDA افتراضي؛ حلول أخرى اختيارية |
يوضح هذا الجدول توزيع المهام بين HotShot والوحدات المحيطة: يوفر الإجماع إثباتًا بأن "الترتيب نهائي"، بينما التنفيذ وتوافر البيانات وحدويان وقابلان للتركيب. تعتمد الأمان على وزن التخزين—غالبًا ما يتطلب التلاعب بالنتائج السيطرة على ما لا يقل عن ثلثي ESP المخزن. توضح آلية تخزين ESP ورسوم البروتوكول كيف يدعم تخزين المُدقِّقين والحدود والعقوبات هذا النموذج.
كيف يعمل HotShot؟ ولماذا التركيز على الاستجابة المتفائلة؟
تسلسل عمل HotShot كالتالي: تقدم وحدة الترتيب الكتل أو تدفقات المعاملات → يقوم القائد بتجميعها وبثها → يصوّت المُدقِّقون لتشكيل الشهادات → عند بلوغ النصاب، يتم إنهاء الكتلة. بخلاف البروتوكولات ذات الفواصل الزمنية الثابتة للكتل، يركز HotShot على الاستجابة المتفائلة: عندما تكون ظروف الشبكة جيدة والرسائل سريعة، يتقدم البروتوكول بسرعة الانتشار الفعلية دون الاعتماد على مهلات متحفظة لأسوأ الحالات.
تعني الاستجابة المتفائلة أنه في ظل الظروف المثالية، يمكن أن يقترب التأخير من بضع جولات شبكية، بدلاً من أن يمتد بشكل مصطنع لأقصى تأخير ممكن. يقلل HotStuff-2 عدد الجولات المطلوبة لتغيير الرؤية ومسارات الشهادات، مما يجعل "النهائية في ثلاث جولات شبكية" قابلة للتحقيق فعليًا. في الظروف السيئة، يعود البروتوكول إلى مسار قائم على المهلة لضمان الأمان والحيوية.
| السمة |
استجابة متفائلة (HotShot) |
فاصل زمني ثابت غير متجاوب (مثال) |
| سرعة التقدم |
يتقدم بسرعة الشبكة عند توفر الظروف المثالية |
فترة زمنية ثابتة للكتل/الخانات |
| التأخير في الشبكة الجيدة |
يمكن تقليله إلى ثوانٍ أو أقل |
يبقى مقيدًا بالفواصل الزمنية الثابتة |
| أسوأ حالة |
يعتمد على المهلات وتغيير الرؤية |
يعمل دائمًا بمعايير متحفظة |
| تكامل CDN |
يمكنه تسريع توزيع الشهادات/البيانات |
غالبًا يفتقر لهذا التكامل |
يوضح هذا الجدول الفرق بين النهجين في وتيرة التقدم. تم تصميم بروتوكول HotShot ليكون "سريعًا في المتوسط"، وغالبًا ما يدمج مسرعات الشبكة مثل CDN. تشرح مقارنة طبقة الترتيب المشتركة لماذا يجب أن يشمل "التأكيد السريع" مجموعة مُدقِّقين وليس مجرد أداة ترتيب واحدة.
الشكل 1. مسار إجماع HotShot: اقتراح الكتلة → تصويت المُدقِّقين → شهادة النصاب → نهائية على مستوى الثواني. الاستجابة المتفائلة تتيح التقدم بسرعة الشبكة في الظروف المثالية.
لماذا يؤكد HotShot دون تنفيذ المعاملات؟
يتعمد HotShot عدم تنفيذ المعاملات: لا يقوم المُدقِّقون بإعادة تشغيل العقود الذكية أو آلات الحالة أثناء الإجماع. ما يتم تأكيده هو أن "تسلسلًا قد تمت الموافقة عليه من قبل أغلبية المُدقِّقين المخزنين"، وليس أن "جذر الحالة تم حسابه في هذه الطبقة". بعد استلام بيئات التنفيذ للتسلسل النهائي، تستخرج الحالة وفق قواعدها الخاصة. يمكن لتطبيقات الخصوصية فك التشفير والتنفيذ فقط بعد حصول الأطراف المخولة على المفاتيح.
لفصل التأكيد عن التنفيذ نتيجتان رئيسيتان. أولًا، لم تعد إنتاجية Espresso محدودة بمنفذ عالمي واحد—يمكن للبيئات المتخصصة التنفيذ بالتوازي، بينما يقوم HotShot بإنهاء تدفق مخرجاتها. ثانيًا، يمكن التعاون عبر البيئات بالاعتماد على رسائل قابلة للتحقق (مثل إثباتات المعرفة الصفرية)، بحيث يمكن للسلاسل المستهدفة التحقق من صحة الحالة المصدرية دون تكرار جميع منطق الأعمال على Espresso.
توافر البيانات (DA) أيضًا منفصل عن الإجماع. يمكن للمطورين استخدام EspressoDA (الذي يتضمن التوزيع القابل للتحقق، لجان DA، وتسريع CDN) أو حلول DA أخرى. يركز HotShot على الترتيب والشهادات؛ بينما تضمن DA إمكانية استرجاع البيانات. يربط مسار التأكيد على مستوى الثواني بين الاقتراحات والشهادات واسترجاع البيانات اللاحق في مسار تأكيد متكامل.
الشكل 2. فصل التأكيد عن التنفيذ: HotShot ينتج الترتيب وشهادات النصاب، بينما تضمن EspressoDA أو DA أخرى إمكانية استرجاع البيانات، وتستخلص التطبيقات الحالة بشكل مستقل.
ماذا تعني النهائية على مستوى الثواني لحالات الاستخدام عبر السلاسل والمالية؟
تعني النهائية على مستوى الثواني أن تسلسل المعاملات يتم تأكيده كغير قابل للعكس خلال ثوانٍ بواسطة مجموعة مُدقِّقين لامركزية. بخلاف "تأكيد الترتيب المبدئي"، يتم تثبيت نهائية HotShot من خلال أغلبية المُدقِّقين المخزنين. وعلى عكس بعض شبكات L1 ذات النهائية البطيئة، لا يحتاج المطورون إلى انتظار فترة كاملة لتأكيد قوي. توضح وثائق الشبكة الرئيسية أن التأكيد عادة ما يتم خلال ثوانٍ قليلة (مثلًا، غالبًا ما تذكر Mainnet 1 أقل من ثلاث ثوانٍ)، لكن الأوقات الفعلية تعتمد على حمل الشبكة والإصدار، لذا يجب دائمًا الرجوع إلى حالة الشبكة والإفصاحات العامة.
بالنسبة لحالات الاستخدام عبر السلاسل، تقلل النهائية الموحدة النافذة التي "يعتبر فيها أحد الأطراف المعاملة نهائية بينما يمكن للطرف الآخر إعادة التنظيم"، مما يسهل مراقبة الضمانات، وتمرير الرسائل، وتوجيه السيولة. بالنسبة لإصدار العملات المستقرة، وشبكات الدفع، والأصول المرمّزة، وإدارة الهامش، يقلل التأكيد على مستوى الثواني من فترة التعرض وتأخير التسوية، مما يمكّن من إدارة المخاطر في الوقت الفعلي وتغطية الضمانات عبر الأنظمة—شريطة أن تبقى التنفيذ والامتثال وإدارة المفاتيح تحت سيطرة كل تطبيق.
ما هي مزايا وقيود HotShot؟
المزايا الرئيسية لـHotShot هي: النهائية اللامركزية أكثر قابلية للتدقيق من النماذج أحادية الترتيب؛ الاستجابة المتفائلة تقلل زمن تأكيد المعاملات في ظروف الشبكة الجيدة؛ وفصل التأكيد والتنفيذ وDA يتيح سعة أعلى وتخصيصًا أكبر. يمكن للمطورين الحفاظ على إعدادات VM والرسوم والامتثال الخاصة بهم مع الاستفادة من نفس طبقة التسوية.
أما القيود فهي واضحة أيضًا. لا يستبدل HotShot صحة منطق التطبيق: المنطق الخاطئ، أو المفاتيح المعيبة، أو مدخلات أوراكل غير الصحيحة ستؤدي إلى حالات غير صحيحة. تعتمد الحيوية على الشبكة ومشاركة المُدقِّقين؛ في الظروف القصوى قد يعود البروتوكول إلى مسارات أبطأ قائمة على المهلة. تعتمد الأمان على توزيع التخزين وآليات العقوبات؛ تركّز المُدقِّقين وتنوع العملاء عوامل طويلة الأجل. يمكن أن تؤثر اختيارات DA السيئة أو فشل استرجاع البيانات على التنفيذ اللاحق والتحقق عبر السلاسل، حتى إذا بقيت شهادات الإجماع صالحة.
من ناحية المخاطر، يجب التمييز بين: مخاطر البروتوكول (فشل فرضيات الإجماع، أخطاء التنفيذ)، ومخاطر التكامل (الترتيب، الربط، أنظمة الإثبات)، والمخاطر التشغيلية (المفاتيح، الصلاحيات، الامتثال). ما سبق يوضح فقط نقاط القوة وحدود الآلية.
الملخص
باعتباره بروتوكول الإجماع BFT لشبكة Espresso، يوفر HotShot ترتيبًا نهائيًا للمعاملات يمكن التحقق منه، مدعومًا بتخزين المُدقِّقين، ويحقق نهائية على مستوى الثواني عبر الاستجابة المتفائلة. لا ينفذ البروتوكول المعاملات، DA وحدوي، والتنفيذ يبقى ضمن بيئة كل تطبيق. تستفيد السيناريوهات المالية وعبر السلاسل من نوافذ تأكيد أقصر وأكثر اتساقًا، لكن صحة التطبيق، وتوزيع التخزين، وظروف الشبكة، وخيار DA تبقى حدودًا أساسية.
الأسئلة الشائعة
ما هو إجماع HotShot؟
HotShot هو بروتوكول إجماع متسامح مع الخطأ البيزنطي (BFT) يُستخدم في شبكة Espresso، ويستند إلى HotStuff وHotStuff-2. يصوّت المُدقِّقون على ترتيب الكتل ويشكلون شهادات النصاب، مما يوفر التأكيد النهائي وفق فرضية الأغلبية الصادقة. لا ينفذ HotShot ذاته انتقالات حالة المعاملات.
كيف تحقق Espresso النهائية على مستوى الثواني؟
تستفيد Espresso من استجابة HotShot المتفائلة والتصويت متعدد الجولات لتقدم الإجماع بسرعة الشبكة في الظروف المثالية، لذا تحدث التأكيدات على الشبكة الرئيسية عادة خلال بضع ثوانٍ. النهائية مدعومة بمجموعة مُدقِّقين لامركزية من المخزنين—not just a single sequencer’s soft confirmation.
ما هي شبكة Espresso؟
شبكة Espresso هي بنية تحتية مشتركة للتسوية والتأكيد بين عدة سلاسل وتطبيقات. تحتفظ كل بيئة بتنفيذها وقواعدها الخاصة، وتحقق مخرجات المعاملات النهائية اللامركزية عبر HotShot، ويمكن دمج توافر البيانات والرسائل عبر السلاسل لتقليل الاعتماد على الوسطاء الموثوقين.
ما هي فائدة رمز ESP؟
ESP هو رمز الخدمة الأصلي لشبكة Espresso، ويُستخدم أساسًا لتخزين المُدقِّقين لتأمين HotShot والمشاركة في آليات رسوم البروتوكول. يحدد وزن التخزين تأثير التصويت؛ غالبًا ما يتطلب التلاعب بالتأكيد السيطرة على جزء كبير من ESP المخزن.
ما هي مخاطر استخدام Espresso؟
تشمل المخاطر الرئيسية: أن منطق التطبيق أو أخطاء المفاتيح لا يصححها الإجماع تلقائيًا؛ سلوك الشبكة أو المُدقِّقين المتطرف قد يبطئ التأكيد؛ تركّز التخزين وضعف العملاء يؤثران على الأمان؛ يمكن أن تؤثر عيوب DA ومكونات الربط/الإثبات على التوافر اللاحق. يجب أن تميز تقييمات المخاطر بين مخاطر البروتوكول ومستوى التكامل.
