اختبار ألبنجلو في سولانا يتجاوز مجرد 150 مللي ثانية
cryptonewsأهم ترقية إجماع في سولانا تمر الآن عبر اختبار المُدققين. الجزء الأصعب هو إثبات أن ادعاء السرعة الرئيسي يصمد في ظروف التشغيل الحقيقية.
ألبنجلو، المُتتبَع باسم SIMD-0326، لا يزال مدرجًا ضمن تفعيلات الشبكة الرئيسية المعلقة في الجدول الزمني للمُدققين الخاص بـ Anza. يسجل المتتبع مواضع التفعيل على شبكتي الاختبار والتطوير، ويحدد Agave 4.3.0 كإصدار البرنامج المرتبط بالميزة. في نفس اللقطة، كان الحد الأدنى لإصدار الشبكة الرئيسية لا يزال 4.2.2، مع إدراج 4.3.0 كالحد الأدنى المتوقع التالي.
هذا التمييز مهم. الحد الأدنى المخطط للبرنامج ليس هو نفسه تغيير الإجماع المباشر. لا تزال الشبكة الرئيسية تعتمد على إجماع سولانا الحالي بينما يمر ألبنجلو عبر الاختبار.
الوعد المركزي للترقية هو نهائية أسرع. الرقم الذي يُستشهد به غالبًا هو 150 مللي ثانية. لكن من الأفضل فهم هذا الرقم كهدف لطبقة الإجماع في ظل ظروف محددة، وليس ضمانًا بأن كل تحويل محفظة أو إيداع في بورصة أو دفعة يتم تسويته بالكامل في ذلك الوقت.
28 سبتمبر لم يكن إطلاق ألبنجلو
أحد إدخالات الجدول قال إن تفعيلات ميزات الشبكة الرئيسية ستُستأنف في 28 سبتمبر. لم يقل إن ألبنجلو سيتم تفعيله في ذلك اليوم.
هذا الاختلاف خلق التباسًا. إعادة تشغيل عامة لقائمة انتظار تفعيل الميزات عوملت من قبل بعض القراء كتحويل بروتوكول مجدول. تصحيح في 29 سبتمبر تتبع لاحقًا سوء الفهم وقال إن Anza رفضت تاريخ الإطلاق المزعوم.
العملية الفعلية أكثر تعددًا في الطبقات.
يمكن للمُدققين اعتماد برنامج يحتوي على كود خامل دون تفعيل الميزة. يمكن أن يرتفع الحد الأدنى للإصدار بعد استيفاء عتبات الحصة ومتطلبات الحقبة. يمكن لبوابة ميزة منفصلة بعد ذلك تمكين السلوك الجديد.
رؤية تغيير رقم الإصدار على لوحة المعلومات ليست إذن مثل رؤية نهائية أسرع مباشرة على الشبكة الرئيسية.
الزاوية الإخبارية الأفضل هي أن عملية الاختبار والتفعيل تظل مفتوحة بعد التاريخ المتداول على نطاق واسع. نافذة الشبكة الرئيسية النهائية لا تزال تتطلب جدولًا صريحًا وجاهزية المشغلين وأدلة عامة من الاختبار.
فوتور هي الخطوة الأولى، وروتور تأتي لاحقًا
SIMD-0326 يعرف خطوة ألبنجلو الأولية بشكل أساسي حول فوتور، آلية الإجماع الجديدة.
الاقتراح يترك صراحةً روتور، بديل نشر البيانات المخطط، لتغيير منفصل. في الطرح الأولي، تحتفظ سولانا بـ Turbine، نظام نشر البيانات الحالي لديها.
هذا النطاق مهم لأن "ألبنجلو" قد يبدو كاستبدال شامل. أول تبديل مقترح أضيق.
الإجماع يجيب متى وافق عدد كافٍ من المُدققين على أن الكتلة يجب أن تُعامل كنهائية. نشر البيانات يجيب كيف تصل الكتلة إلى المُدققين. التنفيذ يجيب ما إذا كانت المعاملة قد نُفذت بالفعل. التطبيق المواجه للمستخدم ينتظر أيضًا مزود RPC للإبلاغ عن النتيجة.
تصويت أسرع لا يمكنه إزالة كل تأخير في ذلك المسار.
هدف 150 مللي ثانية يشير إلى النهائية في طبقة الإجماع في ظل ظروف شبكة مواتية. إنه ليس نفس الوقت من ضغط المستخدم على "إرسال" إلى أن تعرض المحفظة أو البورصة أو معالج الدفع الرصيد النهائي.
المعيار المفيد يحتاج إلى تحديد أين تبدأ ساعة الإيقاف وأين تتوقف. قياس يبدأ عند اقتراح الكتلة ليس قابلًا للمقارنة بقياس يبدأ عندما يقدم العميل معاملة.
مقايضة الأمان يجب أن تجلس بجانب ادعاء السرعة
ألبنجلو ليس مجرد نسخة أسرع من مسار التصويت القديم. إنه يغير المقايضة بين السرعة والأمان والتوافر.
يصف الاقتراح نموذج "20 زائد 20": يمكنه تحمل حصة واحدة من الحصة الخصمة وحصة منفصلة من الحصة غير المستجيبة في ظل افتراضات معلنة. يلاحظ المؤلفون أيضًا أن التصويت بجولة واحدة لا يوفر نفس عتبة الخطأ البيزنطي البالغة 33% التي يمكن تحقيقها بتصميمات الجولتين.
هذا الاعتراف ليس ضعفًا في الإفصاح. إنه بالضبط النقطة التي يجب الإبلاغ عنها بجانب هدف زمن الوصول.
يهدف التصميم إلى تقصير المسار الطبيعي. السؤال للمُدققين هو ما إذا كانت افتراضات الفشل المختلفة مقبولة مقابل نهائية أسرع.
هذا قرار حوكمة وهندسة، وليس شيئًا يُحسم بمعيار الحالة الأسرع.
هناك حاجة إلى معيارين
اختبار واضح يجب أن يحتوي على عمودين.
العمود الأول يجب أن يقيس نهائية البروتوكول من وجهة نظر المُدقق: الوقت المنقضي من كتلة مقترحة إلى شهادة نهائية، بما في ذلك النتائج البطيئة.
الثاني يجب أن يقيس مسار المعاملة المرئي للمستخدم: التقديم، الإدراج، التنفيذ، النهائية، استجابة RPC وتأكيد التطبيق أو البورصة.
الفرق بين هذين العمودين هو العمل الذي لا يقيسه عنوان الإجماع.
على سبيل المثال، افترض أن اختبارًا أبلغ عن 150 مللي ثانية للنهائية بعد الاقتراح. إذا انتظر إدراج المعاملة فتحة واحدة مدتها 350 مللي ثانية واستغرق تسليم RPC 100 مللي ثانية أخرى، يرى المستخدم 600 مللي ثانية على الأقل قبل تأخيرات التوقيع أو إعادة المحاولة. هذا هو 350 زائد 150 زائد 100.
هذه الأرقام توضيحية، وليست قياسًا إنتاجيًا لألبنجلو. إنها تُظهر لماذا رقم الإجماع دون الثانية ليس تلقائيًا تجربة دفع دون الثانية.
الوسيط لزمن الوصول يخفي أيضًا الحالات التي يهتم بها المشغلون أكثر. مُدقق خلف مسار شبكة سيئ، أو انقسام مؤقت، أو تصويت مفقود، أو عمل إعادة تشغيل ثقيل قد ينتج ذيلًا طويلًا. البورصات ومزودو الدفع عمومًا يصممون سياسات النهائية حول الظروف السيئة، وليس فقط متوسطات المعايير.
طرح موثوق يجب أن ينشر النتائج المئينية وسلوك الاسترداد وعواقب القادة الفاشلين.
حالات الفشل هي الاختبار الحقيقي
المسار الطبيعي هو أسهل مكان لإنتاج رقم سريع.
تغيير إجماع جاهز للشبكة الرئيسية يجب أن يتعامل مع المُدققين المنضمين متأخرًا، وتأخيرات الرسائل الإقليمية، وإعادة تشغيل البرامج، وفشل القادة، والآراء المتضاربة حول السلسلة.
اقتراح ترحيل ألبنجلو يعالج التسليم من حالة التصويت القديمة إلى الجديدة. هذا التسليم مهم لأن بروتوكول الحالة المستقرة الصحيح يمكن أن ينكشف من خلال انتقال سيئ.
يجب أن تُظهر الاختبارات ما إذا كانت المجموعة تصل إلى قرار نهائي واحد متسق بعد شفاء انقسام الشبكة، ومدى سرعة استئنافها إذا انقطعت حصة ذات معنى عن الاتصال، وما إذا كانت العقد التي تشغل إصدارات متوافقة مختلفة تبلغ عن نفس النتيجة.
شبكة الاختبار مفيدة لأن المُدققين ببنى تحتية مختلفة يواجهون ظروفًا قد يفوتها مختبر مُتحكم فيه. لكن شبكة الاختبار لا يمكنها إعادة إنتاج الحوافز الاقتصادية وحركة المرور والضغط التشغيلي للشبكة الرئيسية بالكامل.
توافق العملاء هو أيضًا جزء من الصورة. في لقطة المتتبع المرصودة، تم وضع علامة على Firedancer و Frankendancer كغير مدعومين لصف ألبنجلو. هذه حالة توافق في جدول محدد، وليست ادعاءً دائمًا عن أي من العميلين.
ترحيل إنتاجي يجب أن يأخذ في الاعتبار الحصة التي تشغل كل تنفيذ أو يحدد ما يحتاج هؤلاء المشغلون إلى تغييره.
الشهادات السريعة والشهادات البطيئة مختلفتان
ألبنجلو لا يعتمد على أن كل كتلة تصل إلى النهائية عبر أسرع مسار.
SIMD-0326 يعرف النهائية السريعة عندما يقوم مُدققون يمثلون 80% من الحصة بتوثيق كتلة في جولة واحدة. المسار الأبطأ يستخدم جولتين تشملان 60% من الحصة، مع شهادتي توثيق ونهائية.
إذا فشل قائد في تسليم كتلة صالحة في الوقت المحدد، يمكن للمُدققين التصويت لتخطي الفتحة. يتضمن التصميم شهادات للفتحات المتخطاة ومسارًا احتياطيًا.
هذا يعني أن معيارًا رئيسيًا يركز فقط على مسار 80% السريع سيحذف الحالات التي تكون فيها النهائية أكثر قيمة.
تقرير يومي مفيد سيحسب كل فتحة مقترحة ويفصلها إلى ثلاث مجموعات: شهادة سريعة، مسار أبطأ وفتحة متخطاة. يجب أن يعطي بعد ذلك الوسيط لزمن الوصول والنسبة المئوية 95 والنسبة المئوية 99 لكل فئة.
خدمة دفع تعالج آلاف الإيصالات يوميًا قد تواجه أحداث ذيل طويل نادرة حتى لو لم يواجهها معظم المستخدمين الأفراد.
الشهادة هي سجل مضغوط وقابل للتحقق من اتفاق مرجح بالحصة. إنها ليست تصويتًا بعدد ثابت من الآلات. عشرة مُدققين صغار لا يمكنهم استبدال مُدقق واحد بحصة مفوضة كبيرة بمجرد التفوق عليه عددًا.
الأرقام الصحيحة هي الحصة المشاركة في كل جولة، والحصة غير المتصلة، والحصة المعارضة. تحتاج هذه الأرقام إلى طوابع زمنية لأن تخصيصات الحصة وتوفر المشغلين تتغير.
الترحيل يحتاج إلى كتلة بداية مشتركة
وثيقة الترحيل تعالج مشكلة لا تظهر في مخطط السرعة.
الإجماع القديم والجديد لا يمكنهما العمل بأمان كتاريخين مستقلين بعد التحويل. يجب أن يتفق المُدققون على الكتلة القديمة النهائية التي تصبح أصل أول كتلة ألبنجلو. تسمي الوثيقة هذه النقطة المشتركة كتلة نشأة ألبنجلو.
إذا اختلف المشغلون على تلك الكتلة، يمكن أن تشير شهادات نهائيتهم اللاحقة إلى تواريخ غير متوافقة.
التسليم المقترح يبدأ بعد فتحة تفعيل الميزة، لكن حدود الترحيل تقع بعد 5000 فتحة. هذه الفترة الإضافية تهدف إلى تجنب بداية حقبة. تنتظر العملية بعد ذلك كتلة تستوفي شرط تأكيد تفاؤلي قوي، مع تصويتات تمثل 82% على الأقل من الحصة في النمط المحدد في الاقتراح.
يوقع المُدققون تصويت نشأة لكتلة سلف مشتركة. شهادة نشأة بنسبة 82% تمنحهم الدليل للتبديل.
هذه العتبات جزء من تصميم الترحيل. إنها منفصلة عن مسار النهائية السريع لفوتور البالغ 80% بعد التبديل.
المُدقق الذي يتلقى شهادة النشأة يتحقق من توقيعاتها مقابل مفاتيح BLS للحقبة ذات الصلة ويبثها. تقوم الخطة بعد ذلك بتهيئة فوتور من الكتلة المحددة وتوقف TowerBFT للفتحات اللاحقة. إنها تتراجع عن الكتل بعد نقطة النشأة المحددة وتعيد تعيين الحالة المرتبطة قبل معالجة كتل جديدة.
تجادل الوثيقة بأن هذا التراجع آمن لأن معاملات المستخدمين لا تُحزم في تلك الكتل المؤقتة. هذا الادعاء يحتاج إلى اختبار على المجموعة الفعلية. لا يمكن التحقق منه بعنوان النهائية وحده.
قد تكون العقدة أيضًا غير متصلة أثناء التسليم. يصف الاقتراح كيف يمكن لمُدقق عائد أن يتعلم شهادة النشأة من لقطة أو يلحق بالركب بعد رؤية شهادة نهائية صالحة لألبنجلو.
هذا هو المكان الذي تلتقي فيه هندسة الإصدار بنظرية الإجماع. إذا فسرت عقدة متأخرة الانتقال بشكل غير صحيح، يمكنها عرض بيانات قديمة أو غير متسقة حتى لو استمرت المجموعة الأغلبية بشكل صحيح.
التحويل لا يزال يمكن أن يقطع التقدم
يقول اقتراح الترحيل إن التسليم يمكن أن يقطع التقدم، بشكل متفائل لفتحة واحدة بعد الحدود.
توقع فتحة واحدة ليس ضمانًا أقصى لمستوى الخدمة.
بعد التفعيل، يجب أن يوضح تحليل ما بعد الحادث العام عدد الفتحات التي تم تخطيها، وما إذا كان تعبئة معاملات المستخدمين قد توقفت، وكم من الوقت استغرقت الخدمات الخارجية لاستئناف الإبلاغ الطبيعي عن التأكيدات.
حالة مستقرة سريعة لا تمحو فترة الانتقال من تجربة المستخدم.
لهذا السبب لا يمكن استنتاج تاريخ الشبكة الرئيسية من تقويم برمجي عام. تحويل آمن يتطلب تسجيل مفاتيح BLS متوافقة، وبوابة ميزة معتمدة، وكتلة بداية مشتركة، وتوزيع الشهادات، وسلوك التراجع، واسترداد العقد المتأخرة.
هذه مهام تشغيلية للمُدققين ومزودي البنية التحتية. توفر مواصفات الترحيل قائمة التحقق. التمرين الفعلي على الشبكة سيُظهر ما إذا كانت قائمة التحقق كافية.
اقتصاديات المُدققين قد تتغير
ألبنجلو يغير أيضًا اقتصاديات المُدققين.
في ظل نموذج التصويت الحالي لسولانا، يرسل المشغلون معاملات تصويت ويدفعون رسومًا مرتبطة. يقترح SIMD-0326 تذكرة قبول مُدقق، أو VAT، بدلاً من نمط الرسوم هذا.
تعطي الوثيقة تقديرًا أوليًا بحوالي 0.8 SOL يوميًا، أو 1.6 SOL لكل حقبة، وتقول إن الدفعة الكاملة ستُحرق. هذه معلمة اقتراح أولية، وليست بيان فوترة مباشر لكل مُدقق.
تكلفة قبول ثابتة قد تبسط نفقة واحدة بينما تثقل أكثر على المشغلين الأصغر ذوي الحصة المفوضة القليلة. المُدقق الكبير والمُدقق الصغير لا يكسبان نفس المكافآت.
السؤال الرئيسي هو ما إذا كان صافي الاقتصاد يتحسن بعد حساب رسوم التصويت الموفرة وتكاليف الأجهزة وعرض النطاق الترددي وVAT.
يقول الاقتراح إن المشغلين يجب أن يروا استخدامًا أقل للموارد بعد الترحيل. هذه نتيجة متوقعة، وليست نتيجة مقاسة بعد عبر مجموعة المُدققين الحية.
مقارنة جادة قبل وبعد ستتابع نفس المشغلين خلال الترقية. لكل شريحة حصة، ستقارن رسوم التصويت اليومية قبل التبديل مع VAT وتكاليف التشغيل بعده. ستتتبع أيضًا عدد المشغلين المستقلين الذين يتوقفون عن التصويت أو يغادرون المجموعة النشطة.
انخفاض في عدد الآلات لن يثبت تلقائيًا أن اللامركزية تدهورت إذا كان لدى المُدققين المغادرين حصة ضئيلة. لكنه سيكون إشارة للتحقيق. تركيز الحصة والتنوع الجغرافي سيوفران السياق الضروري.
يقول الاقتراح أيضًا إن المُدقق غير الممول بشكل كافٍ سيُزال من المجموعة النشطة. هذا يجعل إدارة رصيد التذكرة مسألة توافر. يحتاج المشغلون إلى تنبيهات قبل نفاد الأموال، ويحتاج المفوضون إلى فهم ما يحدث إذا أصبح مُدققهم المختار غير نشط.
سؤال الإنتاج ليس فقط ما إذا كان 150 مللي ثانية قابلاً للتحقيق. إنه ما إذا كانت مجموعة مُدققين واسعة بما يكفي يمكنها تقديم هذا الأداء دون تكاليف خفية أعلى أو هشاشة تشغيلية.
النهائية ليست مثل رصيد المستخدم
إيداع البورصة يُظهر الفجوة بين نهائية السلسلة وتجربة المستخدم.
يقدم العميل معاملة موقعة. يصل التحويل إلى قائد ويُدرج في كتلة. يصوت المُدققون وتتشكل شهادة نهائية. تراقب خدمة RPC الشهادة وتبلغ عنها. يحدد مراقب إيداع البورصة العنوان والأصل، ويجري فحوصات داخلية ويضيف الرصيد إلى الحساب.
ترقية الإجماع تقصر بشكل أساسي فترة واحدة في ذلك التسلسل.
قد تنتظر البورصة لفترة أطول بموجب السياسة. قد تتطلب فحوصات إضافية للإيداعات الكبيرة، أو تقارن النتائج عبر مزودي RPC متعددين، أو تؤخر الإضافة أثناء حادث. هذا لا يعني أن السلسلة فشلت في هدف النهائية. إنه يعني أن معيار السلسلة لا يمكن تسويقه كوقت مضمون لإضافة رصيد العميل.
يمكن أن يحدث العكس أيضًا. قد يعرض التطبيق نجاحًا معلقًا بمجرد أن ترى عقدة RPC الخاصة به كتلة، قبل وصول شهادة النهائية. يرى المستخدم علامة خضراء سريعة على الرغم من أن أقوى ضمان للبروتوكول يأتي لاحقًا.
أثناء الترحيل، يجب اختبار التطبيقات التي تحتفظ بنفس مستويات الالتزام مقابل الدلالات الجديدة. واجهة محفظة تبدو دون تغيير يمكن أن تخفي نموذج مخاطر متغيرًا.
بالنسبة للتطبيقات اللامركزية، الكتلة النهائية لا تضمن صفقة مواتية. يمكن أن تُنفذ المعاملة وتفشل بموجب قاعدة تطبيق، أو تدفع رسومًا، أو تُسوى بسعر غير متوقع ضمن المعلمات المقدمة.
نهائية الإجماع تعني أن السجل قد قرر النتيجة. إنها لا تشهد بأن العقد الذكي آمن أو أن مدخلات الأوراكل كانت صحيحة.
الحجة القوية لألبنجلو لا تزال مهمة
المؤيدون لديهم حجة جادة.
مسار التأكيد الحالي لسولانا ترك منذ فترة طويلة فجوة بين إنتاج الكتل السريع والنهائية الأقوى. إذا ضيق فوتور هذه الفجوة بشكل موثوق، يمكن للبورصات إضافة الإيداعات في وقت أقرب، ويمكن للمتداولين تقليل عدم اليقين بعد التنفيذ، ويمكن لمزودي الدفع التسوية بانتظار أقل.
الاقتراح ليس مجرد ادعاء تسويقي. إنه تصميم بروتوكول رسمي، وقد أمضى المُدققون وقتًا بالفعل في اختباره خارج الشبكة الرئيسية.
مسار حوكمة المُدققين مهم أيضًا. يجب على المشغلين اعتماد البرنامج والمشاركة في التفعيل. بوابة الميزة المرحلية تمنح الشبكة فرصة لكشف المشاكل قبل الإنتاج.
هذه القوى تجعل مرحلة الاختبار ذات أهمية. إنها لا تثبت مستوى الخدمة النهائي.
الحجة المعارضة ليست أن النهائية الأسرع بلا معنى. إنها أن المؤلفين أنفسهم يفصحون عن افتراضات فشل مختلفة، ولا يزال المشغلون بحاجة إلى إدارة الترحيل وتوافق العملاء والآثار الاقتصادية.
وسيط 150 مللي ثانية على مجموعة اختبار هادئة لن يجيب كيف يتصرف البروتوكول عندما تكون حصة ذات معنى غير متصلة أو روابط الشبكة غير مستقرة.
لهذا السبب تنتمي الأدلة إلى تقرير حالات الفشل، وليس فقط عرض السرعة.
جاهزية الشبكة الرئيسية لها عدة بوابات
جاهزية ألبنجلو ليست مفتاحًا واحدًا.
البوابة الأولى هي اعتماد البرنامج: يجب أن تشغل حصة كافية إصدارًا متوافقًا.
الثانية هي التحقق من البروتوكول على شبكتي الاختبار والتطوير: يجب أن تظل التصويتات والشهادات صحيحة في الظروف العادية والمعاكسة.
الثالثة هي التحضير التشغيلي: يجب أن تعرف البورصات ومزودو RPC ومستكشفو الكتل والمحافظ كيف تراقب إشارة النهائية الجديدة.
الرابعة هي تفعيل الميزة المجدول نفسه.
يشير متتبع Anza إلى أن الحد الأدنى لإصدار الشبكة الرئيسية يمكن أن يرتفع بعد أن تتبنى 95% من الحصة إصدارًا ثانويًا جديدًا وتمر حقبتان كاملتان. هذه القاعدة تحكم الحد الأدنى للإصدار المدعوم. لا ينبغي إعادة صياغتها كتفعيل تلقائي لألبنجلو عند 95%.
صف الميزة المستقل يظل المكان المناسب للتحقق من التغيير المعلق الفعلي.
ولا يثبت أي اختبار مُبلغ عنه أن سعر SOL يجب أن يستجيب بطريقة محددة. أسعار الرموز تتضمن الظروف الكلية والتمويل والعرض وطلب التطبيقات وتوقعات الترقية قبل النشر.
إنجاز الإجماع ذو صلة. إنه ليس محفزًا للسعر بحكم التعريف.
ما الذي لا تزال الأدلة العامة تحتاجه
فجوة الأدلة واضحة.
تحتاج سولانا إلى خطة تفعيل نهائية مؤرخة وسلسلة عامة قابلة للمقارنة من قياسات النهائية تحت أحمال متنوعة. يجب أن تحدد النتائج إصدارات البرنامج والحصة المشاركة وأنواع العملاء وظروف الرسائل وإدراج المعاملات وزمن الوصول المئوي.
وقت نهائية واحد في أفضل الحالات ليس كافيًا.
التقرير الأكثر حسماً سيأتي بعد التفعيل: ملاحظات متكررة للشبكة الرئيسية للنهائية والتسوية المرئية للتطبيق، بالإضافة إلى الإفصاح عن أي أحداث استرداد.
حتى ذلك الحين، يُظهر اختبار المُدققين أن ألبنجلو يتم تمرينه. إنه لا يثبت بعد أن كل مستخدم سيختبر تسوية 150 مللي ثانية.
هذا المحتوى لأغراض معلوماتية وتعليمية فقط، ولا يمثل نصيحة استثمارية تتعلق بـ BTCC. تبذل BTCC قصارى جهدها ولكنها لا تضمن صحة أو دقة أو أصالة المحتوى المذكور أعلاه.