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

ولكن في مصالح الإثبات، العقدة التحقق يمكن أن توجد وتختفي، وحتى العدد المطلق للعقدة التحقق تزيد بمرور الوقت أو يتقلص. هذه المرة، و 80 من مجموعة تحقق من أن العقدة قد تكون أقل من 20 التحقق مجموعة عقدة أخرى، يصبح النموذج ثم ما تم إصلاحه غامضة جدا، ثم نموذج ديناميكية، وربما لا ينبغي أن يكون ذلك. فكيف ينبغي لنا أن نفعل ذلك؟

المشكلة الأولى التي يتعين حلها هي لمزامنة مصالح الإثبات، وهذا هو، الحقوق التقليدية ومصالح سلسلة ولا يتضمن النتيجة النهائية. استخدام هذه الخوارزميات تتضمن القليل من المال، نوع NXT من الخوارزمية، منظمات الأشخاص ذوي الإعاقة، الخوارزمية الأولى المذكورة في Manuve ورقة بيضاء، وهناك مشاريع أخرى في الوقت الراهن في العملية. والمشكلة هنا هي بسيطة جدا، لأنه من المستحيل تحقيق أو الحفاظ على "الحسابات الاقتصادية"، بدلا من ذلك، فإن الهدف هو ببساطة لخلق آلية ردود الفعل الإيجابية، يمكن أن يلهم تحقق من أنه يجوز للعقدة، مع الوضع متشعب، وتحديد كتلة الرئيسيين، وتعزيز سلطة على هذه الكتل العمود الفقري مع مرور الوقت.

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

افتراض أن سلسلة ETH 10000000 كحقوق ملكية، ولكن هناك 450،000 (4.5) التي تسيطر عليها أحد المهاجمين. الآن، افترض أن المهاجم بدأ لبدء الحفاظ على سلسلة خاصة بهم من كتلة واحدة. أنها لا تسمح لهم بدخول الجديدة سلسلة عقدة المصادقة، على الرغم من أنها لا تحتوي على خيار الانسحاب النقل. مع مرور الوقت، والفائدة الوحيدة على الرهن العقاري وأخيرا هذه السلسلة ليست سوى المهاجم، قد يكون هناك بعض الاستثناءات. وعلى الرغم من هذه السلسلة هناك الرهن العقاري أقل كثيرا ETH الأسهم، ولكن يبدو الكثير من الجودة، لأن المنتجين سوف تسد 90 من الوقت، ولكن المنتجين كتلة في السلسلة الرئيسية هو واضح المستخدم، و وسيكون أكثر كثيرا حاليا. وبالتالي، فإن نموذج بسيط من أطول سلسلة دخول مثل هذه الهجمات.

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

تحقق من عقدة يرد الآن مجانا، حتى تغيرت تماما مع كل كتلة. بغض النظر عن هذه العقد إنشاء ما حدث، والبيئة الاقتصادية لا تزال نفس المدى، وخلق حوافز لكسب معظم النتيجة المحتملة، وسلسلة لديها اكثر من ETH ديه أقل للفوز ETH.

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

في هذا النموذج، تغيير الإعداد للتحقق من الوضع الصعب عقدة صفقة، لأنك تحمل شهادة الأمن هو مجموعة عقدة التحقق هو نفسه، ولكن الواقع يتغير.

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

قد يظن البعض غريزي من فكرة أخرى. "ومن أجل الحفاظ على الاستدامة، وحتى نتمكن من التحقق من العقدة A إلى التحقق العقدة B أكد، ثم السماح تحقق من أن العقدة B من هناك". وليريدون أن يفهموا وكيف يمكن لهذه الأعمال، والتفكير في ما يلي الخوارزمية:

كل البلاط يجب أن يحتوي على قيم تجزئة العقد التحقق من الكتل.

لكتلة لتكون فعالة، يجب الإشارة إلى أن تم الانتهاء من كتلة سيد صالح، ودليل (على سبيل المثال، وهناك أكثر من كافية ارتكاب نفس رقم تسلسل) من كتلة الأم. وهذا هو، يجب أن تكتمل كل كتلة.

هنا يجب أن نشير إلى توافق بين الكتل، وهذا هو القول، سيكون هناك "جيل كتلة 1، اكتمال كتلة 1، مما أدى إلى كتلة 2، اكتمال كتلة 2 ..." هذا النظام، ونحن لا نريد خوارزميات أخرى حتى في كتلة جديدة سيتم إنشاء قبل الانتهاء قبل الإجماع كتلة. في ظهور هذه الحالة إلى مفترق الطرق، وتحتاج إلى مكان في كتلة من مشتتة للغاية، كتلة، حتى نتمكن من استخدام طريقة لدينا مصادقة آمنة لإظهارها في هذه الكتلة ثلث العقدة التحقق ارتفاع يمكن تخفيضها.

ومع ذلك، إذا حاولنا تطبيق هذا على "نسج توافق" النموذج، كتلة جديدة واستكمال يمكن القيام به كتلة القديمة في نفس الوقت، وهذا هو أحدث طبعة من حالة كاسبر، ولكن هناك تحديا. لأن لست متأكدا 100 وتوصلا الى توافق في كل دورة، لا يمكننا ببساطة السماح للكتلة ليتم التحقق منها الجولة الأولى من N N + 1 عقد الجولة الأولى، وإذا لم يتم الانتهاء من الجولة الأولى N، سوف عجلة N ثم هناك نوعان من المرشحين المتنافسين، سوف تواجه الانتهاء من اثنين متضاربة التحقق سلسلة من عقدتين التي لا علاقة.

حتى إذا عقدنا العزم على (N + 1) * 50 عقدة التحقق، من أجل حل هذه المشكلة، ونأمل أنه من خلال استخدام N * 50 دورك يتم دائما ما لا يقل عن مرة واحدة كل 50. ومع ذلك، هذا أيضا مشكلة:

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

دعونا الاستفادة من هذه الميزة. إذا كانت أوراكل قد يقول، لن نغير يتم تعيين العقدة التحقق، وإذا كان يقول نعم، ثم نغير.

لسوء الحظ، فإن الأمور ليست بهذه البساطة.

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

حتى نتمكن من الحصول من الحلول التي نقدمها. سنحتفظ هيكل أعلاه، ولكن سنضيف الشروط، ويجب أن تكتمل كل كتلة قبل العقدة المصادقة الجديدة في نفس الوقت. هذا، على أية حال، فإننا سوف تحتاج إلى الحصول على نوع من المعلومات للتحقق من ثلثي العقدة النشطة من قبل، الآن نحن بحاجة للتحقق من جمع بين القديم والجديد هو حوالي 2/3 من التحقق التجمع 2/3 في الحصول على الأخبار.

الآن، دعونا نرى ما اذا كان الانتهاء من وضع لكتلة معينة مثيرة للجدل.

هذا أمر سهل لإثبات ذلك ممكنا. إعطاء أي كتلة الوالدين ودون كتلة يمكن أن يكون اثنين فقط المحتملة عقدة التحقق: إضافة كتل من عقدة التحقق الخاصة الماجستير، وكذلك كتلة الأم للتحقق من أن العقدة التي منع الخدمة. إذا كان هناك كتلتين الفرعية، ويتم الانتهاء منه، ثم سيتم تخفيض الوالد كتلة 03/01 عقدة التحقق. إذا كان هناك عدم الانتهاء من كتلة الفرعية، ثم فإن أي كتلة فرعية من عقدة التحقق لا تتغير، مما يدل على عائدات المنطق لاستكمال الواقع أي سلسلة مشتقة التحقق منها.

كيف يمكننا الجمع بين هذه وغيرها من آليات الإجماع عليه، تشمل قال التشعب قبل جميع أنواع آليات التوافق والاختيار؟ يمكن تشغيل الآليات المذكورة أعلاه في فحص نموذج على أي سلسلة، بغض النظر عن ما إذا كان هناك كتلة للتحقق مباشرة اتبع بعضها البعض، أو بين. لذا فإن السؤال هو، نظرا نقطة تفتيش حال الانتهاء نقطة تفتيش للاختبار، فإنه يمكن أن تخلق نقطة تفتيش جنوب، مما يعكس قد اكتملت أو لم تكتمل.

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

الأصل: الشبكي: //medium.com/@VitalikButerin/safety-under-dynamic-validator-sets-ef0c3bbdf9f6

الكاتب: فيتاليك بوترين

ترجمة: nuszjj

المخطوطات (مترجم): معلومات بابيت ( حقوق النشر:

حقوق المؤلف محفوظة. مقالات لمؤلفين مستقلة لا تعبر بالضرورة عن موقف بابيت.