التحرير:

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

في مقالات تقنية من الصعب الأساسية ظهرت القسم، سنرى حول مخطط التزام متعدد الحدود، و 51 من المضادة للهجوم، بيتكوين الجديد منطق التداول اعادتها وهلم جرا.

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

(الصورة: tuchong.com)

A، السيجارة: GHOST الجمع و Casper

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

ومدروس Vitalik، ساحة المتحدة منسق 2.0 إيثرنت داني ريان، وعدد من الباحثين من جامعة سان خوسيه الدولة (SJSU)، وشارك في رعاية اتفاق بتوافق الآراء نقاط البيع يسمى "السيجارة"، الذي هو إيثرنت سلسلة مربع ايديال ستاندرد الإصدار 2.0 اتفاق إلكتروني الآراء. وأشار الباحثون اتفاق ملزم نهائية وكاسبر FFG انقسم قاعدة الاختيار أداة LMD GHOST، وتحت افتراضات مختلفة، وسلامة نشطة (من مدى الحياة) وقد ثبت.

الأوراق الأصلية تصل: الشبكي: //arxiv.org/pdf/2003.03052.pdf

معلومات عن 1،1

ما يسمى السيجارة، وأنه هو من كاسبر FFG LMD GHOST (قواعد الاختيار منقسمة) الجمع.

كاسبر FFG خوارزمية مسؤولة عن بعض الكتل في سلسلة كتلة ضعت الانتهاء من المشاركين وذلك ليكون جزءا من المعلومات لا يزال منع جزء من مواصفات مقتنع تماما من سلسلة كتلة.

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

1،2 السيجارة وبعض المصطلحات ذات الصلة

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

1.2.1 اتفاق الآراء، محققين وسلسلة كتلة

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

نحن الكيانات المشاركة في اتفاق (الناس، برامج، الخ) تسمى المدقق (مدقق)، ويمثلها مجموعة من V. نظرا لدورها في التحقق من صحة البيانات إيثرنت ساحة 2.0 سلسلة منارة، وبالتالي ما يطلق عليه "المدقق"، وهذا الدور ليس فقط فريدة من نوعها لبروتوكول إيثرنت ساحة مجردة، وسلاسل كتلة أخرى لها مفهوم مماثل (فقط استخدام مصطلحات مختلفة)، على سبيل المثال PBFT الأدب الكلاسيكي، "نسخة"، ومنظمات الأشخاص ذوي الإعاقة وEOS "منتج كتلة" الاعتمادات قليلا وNXT "النظير" أو Tezos على "الخبز من قبل" ( خباز).

اتصال متحقق لبعضها البعض في الند للند الشبكة، وهو ما يعني أنها يمكن بث رسائل لبعضهم البعض (حزمة بشكل كبير).

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

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

1.2.2 وعرض (عرض)

في نموذج السيجارة المدقق V من خلال بث رسالة (بعض سلسلة اللغة) يتفاعل مع الشبكة. عندما صادقة المدقق V رسالة البث M، فإننا نفترض أن يتم إرسال M لجميع مصادقة الشبكة.

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

بسبب تأخر شبكة واحتمال المدقق الخبيثة (أي تأخر أو الرسالة المعاد توجيهها معلومات غير صحيحة)، لتقديم رسالة كاملة للشبكة، قد يكون المدقق الدولة المعرفية المختلفة. وكل رسالة، قد يكون هناك واحد أو أكثر من تبعيات، كل الاعتماد، هو رسالة أخرى. في أي وقت، طالما يتم قبول رسالة من كل التبعيات وتعريف العودية، ونحن نقبل الرسالة. الآن، نعرف المدقق V في وجهة نظر T وقت معين من عرض (V، T)، وكلها تم وضعها كما استعرض رسالة ينظر المحقق حتى الآن. علينا أيضا أن يكون لها "رأي العين الله"، والتي نسميها وجهة نظر الشبكة، الذي يعرف بأنه يفترض المدقق لقبول مجموعة الرسالة، يمكن أن المدقق يرى بث كافة الرسائل أي المدقق في أي وقت (بما في ذلك التحقق الخبيثة فهو يرسل رسالة إلى مجموعة فرعية من الشبكات).

نضع الشبكة بأنها "المدقق الظاهري"، لذلك نستخدم عرض (NW، T) لتمثل وجهة نظر الشبكة من الزمن T. للحصول على أي المدقق V وفي أي وقت من الأوقات T، وعرض (NW، T) تضم كل عرض الرسالة (V، T) في، على الرغم من الطابع الزمني قد لا تتطابق.

الشكل 1: التصور رسومية عرض (كتلة التصور فقط، وأنه لا يتضمن رسائل أخرى)

كما هو مبين أعلاه، في ضوء تشكيل كتلة شجرة، حيث كتلة C و D كتلة في نزاع (كتل E و D أيضا كتل الصراع)، E لديه أطول سلسلة، أي سلسلة (E) = (B نشأة، A، B، C، E).

1.2.3 دليل على الفائدة (إثبات صحة حصة)

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

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

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

أولا، لنفترض أن لدينا مجموعة من N مجموعة المدقق V = {V1، ...، VN}، ولكل من المدقق V V لديها عدد معين من الفوائد الجانبية ث (V). ونحن نفترض كذلك أن متوسط كمية الأسهم التي يملكها كل التصديق وحدة، لذلك يقام الأسهم مجموع كتبها N. ونحن نفترض أن عدد مجموعة المدقق وحجم ثابت التعهد، من أجل التركيز على بروتوكول نقطة النظري.

العنصر الرئيسي في ما نحتاج إليه هو:

 

التشعب قواعد الاختيار: وجهة نظر عندما تعطى G، قواعد الاختيار انقسم لتعريف فلقة واحدة كتلة B. وهذا الاختيار تنتج سلسلة مواصفات فريدة من نوعها، G في طريقة العرض، ويسمى كتلة سلسلة كتلة B من الرأس (الرأس)، حدسي، تقول قواعد متباينة في التصديق على اختيار "القاعدة"، بحيث ليتوافق مع ما هو كتل "الحق". على سبيل المثال، انقسم أطول قاعدة السلسلة هي قاعدة الاختيار، والذي يستخدم العائد من كتلة أبعد كتلة النبتات بدأت، وهذه القاعدة بيتكوين "أثقل قواعد تسلسل" متشابهة.

نهاية المفاهيم (النهائية): الشكل، لتحديد وظيفة F.، وجهة نظر عندما G معينة، بإرجاع مجموعة من كتل مجموعة كاملة من F (G). حدسي، لوضع اللمسات الأخيرة على كتلة، فهذا يعني الجميع قبلت في نهاية المطاف "إجماع جزءا من التاريخ"، أو "سلسلة كتلة لتحديد المحتوى."

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

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

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

وقد أثبتت كتلة على حد سواء، (شهادة) من وجهة نظر مثالية: الرقم 2

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

1.2.4 المدقق البيزنطي وPBFT

في الاتفاق، إذا كان المدقق اتباع البروتوكول، ونحن ندعو المدقق صادقة، والمعروف باسم المدقق البيزنطي. ونحن عادة نفترض أن التصديق بدقة أقل من 1/3 من الطراز البيزنطي، التي يعود تاريخها إلى عملي التسامح مع الخطأ البيزنطي ثابت (PBFT) بروتوكول، طالما أن النظام هو أقل من 1/3 من نسخة (المصادقة وكانت السيجارة مرادفا) هو بيزنطة، فإن PBFT تكون قادرة على ضمان تشغيل النظام السليم. في كثير من بروتوكول PBFT أساس القائمة، وهذا التسامح مع الخطأ الثالث هو عالمي (الفكرة الرئيسية هي لمبدأ برج الحمام)، في حين يرتبط كاسبر FFG والسيجارة بشكل مباشر إلى اتفاق.

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

1.2.5 الأمن والنشاط (من مدى الحياة)

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

 

أمن : والهدف النهائي هو لمنع أي ضوء G تعيين F (G) لا يمكن أبدا أن يحتوي على مبنيين متضاربة. النتائج مع الأمن أن كتلة النهائية F. (G) G أي رأي المدقق، يمكن أن يكون "الكامل" لابنته فريدة حبلا F (عرض (NW))، والذي يبدأ من كتلة تأسيس الى الاخير الانتهاء من نهاية الكتلة، فإننا ندعو سلسلة اللمسات الأخيرة (سلسلة الانتهاء).

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

للوهلة الأولى، يبدو هذا الأخير لاحتواء السابق، ولكن الوضع هو أكثر دقة. الأول هو طبيعة نقية غير الاحتمالية من منطق البروتوكول، في حين يتطلب هذا الأخير افتراضات حول تحقيق السياق، للتأكد من أن الاتفاق "عادة العمل كما هو متوقع". (ملاحظة: لمزيد من المقارنة بين الاثنين، يمكن للقارئ أن يرى قسم الورق الأصلي 7.3)

1.2.6 الوقت وعصر فترة

السيجارة النموذج، هناك مفهوم يسمى فتحة الوقت (فتحة)، وممثل ثابت لعدد الثواني كل فتحة (على سبيل المثال، إيثرنت مواصفات ساحة 2.0 المرحلة 0 تم تعيين 12 ثانية)، ثم نحدد الثوابت كما C فترة العصر (مؤقتا 64 فتحات (فتحة)). الهدف الرئيسي من الدورة عصر، يتم تقسيم الوقت إلى قطع، يمكن اعتبار الحدود بينهما بأنه "نقطة تفتيش" (الحاجز)، والذي يسمح باستخدام مفهوم كاسبر FFG، وسوف نرى فيما بعد.

1،3 المكونات الرئيسية (كاسبر FFG + LMD GHOST انقسم قواعد الاختيار)

1.3.1 كاسبر FFG

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

 

كل كتلة لديها الارتفاع الذي تم تعريفه من قبل بعدها عن كتلة تأسيس (كتلة 0 إلى ارتفاع)، أي في ذروة كتلة B، يساوي طول سلسلة (B) -1 و.

ونحن سوف تحقق يعرف كتلة نقطة كمضاعف ثابت من كتلة H (كاسبر FFG في، H = 100)، ونحن نقطة تفتيش للH ارتفاع الحاجز كتلة B (B) هو الذي يعرف بأنه H ارتفاع مقسوما B، حيث H يكون دائما صحيحا. وهكذا، لا يمكننا التحقق من عرض الطفل يتم تعيين نقطة كما شجرة فرعي واحد، والذي يحتوي فقط على H ارتفاع كتل متعددة؛

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

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

وأخيرا، وعرض كاسبر مصادرة الظروف، فمن المفترض أن حوالي المدقق صادقة. عندما المدقق V تدمير هذه القاعدة، وآخر المدقق V W يمكن مصادرتها من خلال توفير دليل على خرق حالة V (V تقويض مصالح التعهد، ويمكن أن تعطى نوعا من "مكافأة المصادرة").

1.3.2 LMD قواعد الاختيار GHOST التشعب

الجشع أهم قاعدة لمراقبة شبه شجرة (GHOST) وانقسم قواعد الاختيار التي اقترحها Sompolinsky وزوهار، حدسي، GHOST هو خوارزمية الجشع، الذي هو على "الأكثر نشاطا" النمو سلسلة كتلة فرع. وفلاد Zamfir عند استكشاف توافق في الآراء كاسبر CBC، وإدخال نسخة GHOST التكيف الطبيعي، ما يجعله مثاليا لمجموعة السيجارة فقط، ونحن نسمي هذا البديل هو يحركها الطمع الأخبار أثقل المرصودة الفرعية شجرة (LMD GHOST).

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

FIG 3: LMD-GHOST اختيار المثالية قواعد التشعب

كما هو مبين أعلاه، والتمثيل الرقمي للكل كتلة B هو الوزن (تحسب وفقا لكمية من التعهد)، في هذا المثال، لإثبات الملكية (دائرة) وزن 1. وسينظر استخدام المدقق ضوء هذه المواصفات وسلسلة من اللون الأزرق والأزرق وإخراج أحدث كتلة الأيسر (الوزن 3)، ورأس سلسلة (الرأس).

1،4 توافق في الآراء السيجارة

المقبل، ونحن تعترف رسميا بروتوكول إجماع ستستخدم ساحة إيثرنت السيجارة، بل هو مزيج من GHOST والأفكار كاسبر FFG، مفاهيمها الرئيسية هي:

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

(اللجنة) : في كل دورة الحقبة، سيتم تقسيم المحققين في اللجان. في كل دورة فتحة، حيث المدقق من اللجنة المعينة ستقترح كتلة. ثم، سوف تستخدم جميع أعضاء المدقق للجنة HLMD GHOST قواعد اختيار التشعب (نسخة معدلة من LMD GHOST) لإثبات يتوجهون منشار السلسلة.

الدفاع (التبرير) ونهاية (استكمال) : وهذه المفاهيم هي تقريبا نفس مفهوم كاسبر FFG، ولكن هنا هو استخدام الدفاع ونهاية (زوج)، بدلا من الدفاع عنها وتفتيش نهاية القطع.

1.4.1 GHOST انقسم قواعد الاختيار المختلطة LMD (HLMD)

كما هو معقد التصميم النهائي للغاية للوهلة الأولى، ونحن نقدم على "النموذج" نسخة HLMD ، ببساطة، فمن وجهة نظر من كتلة الأخير من الدفاع لبدء وتشغيل LMD GHOST.

ومع ذلك، باستخدام هذا النموذج سوف تواجه بعض القضايا الحساسة، لأن الإثبات (شهادة) من "جزء FFG" لحدود الحقبة بين حق التصويت، وLJ (B) يعتمد فقط على ffgview (B)، يمكن أن نفكر في " وأخيرا، فإن سلسلة الدفاع "في بداية كل دورة الحقبة هي" المجمدة "، الذي هو" التناقض غير مجمدة "(BJ، ي)، لأن تعريف الذي سيتغير في دورة عصر واحد. ولذلك، فإننا بحاجة إلى (BJ، ي) نسخة، الذي لا يتغير في دورة عصر واحد.

تحدث مشكلة أخرى عندما يكون شوكة الخوارزمية: كتلة شوكة يمكن أن يكون الدفاع النهائي مختلف تماما من، حتى لو كانت مجاورة لبعضها البعض.

لحل هذه المشاكل، السيجارة الحل النهائي كما يلي:

1.4.2 شروط المصادرة

صادرت السيجارة في ظروف مماثلة لمصادرة الأوضاع في كاسبر.

حالة 1 : لا المدقق (1) = الجيش الشعبي (2) لإثبات اثنين ألفا مختلفة] لتر و2، مع EP ملاحظة: هذا الشرط هو ما يعادل س AEP (LE (1)) = AEP (LE (2))؛

حالة 2 : لا المدقق مع AEP (LJ (1)) <  AEP (LJ (2)) <  AEP (LE (2)) <  AEP (LE (1)) مصنوعة من قبل اثنين من مختلف 1 دليل و2.

وهذا يجعل من بروتوكول خاصية مفيدة جدا: ما لم نكن في وضع غير محتمل الحدوث والتي لدينا أدلة كافية ل1/3 على الأقل من تعهد الكلي من الذهب مصادرتها من قبل المدقق، أو طريقة عرض في G، يمكننا على افتراض جميع عناصر J (G) لديه دليل على حقبة فريدة من نوعها.

1.4.1 الثواب والعقاب

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

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

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

 

صادق المدقق اتباع البروتوكول.

تمت مصادرة أي المدقق صادقة لوحظ في انتهاك للشروط، يمكنك معاقبة انتهاكات هذه المحققين.

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

1،5 ملخص

Vitalik وغيرها على أساس دليل على الاهتمام من صنع الإنسان (نقاط البيع) يعرض سلسلة كتلة اتفاق الإجماع السيجارة مجرد أن يجمع مفهوم LMD قواعد الاختيار GHOST التشعب وكاسبر FFG، وهو أول مفهوم كاسبر FFG إلى اتفاق سلسلة كتلة كاملة دليل رسمي.

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

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

ثانيا، ظهرت المواد الفنية المتشددين أسبوع واحد

2،1 Vitalik: ساحة إيثرنت حالة مشكلة الانفجار، حل مخطط التزام متعدد الحدود

وردا على ساحة الانفجار إيثرنت الدولة، اقترح ساحة إيثرنت المؤسس المشارك Vitalik حل جديد لالتزامها اقتراح باستخدام محلول متعدد الحدود (التزامات متعدد الحدود) ليحل محل شجرة ميركل (شجرة ميركل)، وبالتالي الحد بشكل كبير من عديمي الجنسية إيثرنت وضع الشاهد بيانات العميل (شهود).

رابط المقال: الشبكي: //www.8btc.com/article/567865

2،251 الهجوم المضاد: إقترح علماء هارفارد MIT نظرية جديدة لمكافحة الزهور مزدوجة

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

رابط المقال: الشبكي: //www.8btc.com/article/568133

إلا أن التطور 2،3 بيتكوين والمطورين الأساسية يقترح تعديلات بيتكوين منطق إعادة المعاملة، أفضل الصفقات الخصوصية

المطورين بيتكوين الأساسية تعمل على تعديل شبكة Amiti Uttarwar منطق إعادة بيتكوين لتقديم المزيد من الخصوصية في عملية إعادة المعاملة.

رابط المقال: الشبكي: //www.8btc.com/article/569463

2،4 البضائع الجافة | برمجة بسيطة البيضاء التناظرية نظام بيتكوين، موجة من جهة، ويأخذك إلى الكتابة (مع رمز)

إذا كان هناك عرض من P2P، كيف يمكننا تطبيقها على سلسلة كتلة؟ الكاتب VV ابتسامة يوفر البرنامج التعليمي.

رابط المقال: الشبكي: //www.8btc.com/media/567921

ثالثا، التحديث التقدم في عملية التنمية بيتكوين وإيثرنت ساحة

تحديث تقدم التنمية 3،1 بيتكوين

 

 نشرت بيتر Wuille عن طريق البريد الإلكتروني على بيتكوين قائمة مطور البريدية، المبينة في حالية باستخدام توقيع ECDSA أو schnorr لمنع مال أو جهاز آخر متصل التوقيع نقل التكنولوجيا معلومات سرية لطرف ثالث؛

وأشار BIP322 مؤلف كارل يوهان ألم إلى أنه في الأشهر القليلة الماضية، وأضاف أنه عالمي اتفاق signmessage PR أي تقدم من حيث الاندماج. إذا كان للمطورين محفظة يريدون لتمكين هذه الميزة لP2SH، P2WPKH، P2WSH والمستقبل عنوان P2TR النشط (الانتظار الطابق الجذر الرئيسي)، فمن المستحسن يرون البريد الإلكتروني ALM، وتقديم التغذية الراجعة و

تحديث ساحة التقدم 3،2 التنمية إيثرنت

تحديثات إيثرنت ساحة 1.X:

ساحة إيثرنت 2.0 R & D تحديث:

مشاركة هذه المسألة هنا، نراكم الأسبوع المقبل ~