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

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

خلفية

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

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

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

في مؤتمر أمني العالم الحقيقي تشفير عام 2017، وأوضح البروفيسور دان التقزيم أول مرة آلية نقاط البيع إجماع عالمي قائم على نعسان النموذجي، ومختصرة شبكة لى فنغ رقة مشتركة التكيف:

"على نطاق الإنترنت" آلية التوافق

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

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

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

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

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

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

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

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

أي عقدة لا تستطيع أن تفعل المنكرات (لا تحيد عن قواعد البروتوكول الأساسية)؛

عقدة الشر قد يؤخر وتعديل الرسالة.

عقدة صادقة على الانترنت يمكن استقبال الرسائل بسرعة، وإلا سيتم النظر في ذلك عقدة النوم.

في هذه البيئة، والسؤال الطبيعي جدا الذي نطرحه هو:

عندما 51 فقط من العقدة على الانترنت صادقين، يمكننا التوصل الى توافق؟

هذه الصعوبة هي من بين ثلاثة:

1) الاتفاق دون أي معرفة مسبقة من نسبة العقد على الانترنت. قد تكون عقدة على الانترنت 30، قد يكون من 1.

2) وأنت لا يمكن أن نفترض أنه من الممكن أن نفترض أن 30 من الإنترنت اتفاق مشاركة عقدة الخاص بك، ولكن في الواقع سوى 1 من اتفاقية المشاركة، والتي هي 99 من عقدة النوم لا تؤثر على نتيجة إجماع 1 من العقد على الانترنت.

3) وضع آخر هو، وفي هذه العملية، سيكون هناك "النوم" العقد يستيقظ، وأنها ستكون خاضعة لجميع المعلومات السابقة لتتم معالجتها، للمشاركة في تصويت الآراء، المشاكل المصاحبة الأمن.

فشل اتفاق بتوافق الآراء الكلاسيكية

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

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

نقول ناكاموتو بيتكوين سلسلة كتلة (وضع أسرى الحرب) هو قوي، والتي معنيان: فوائد، ناكاموتو سلسلة كتلة في معظم عقدة صادقة على الانترنت يمكن التوصل الى توافق، ولكن العيب هو: استهلاك الطاقة مرتفع جدا. اليوم، بيتكوين التعدين لتوليد الكهرباء حتى 1.5GW، أكبر من أكبر قدرة توليد محطة للطاقة النووية الأميركية، أو 10 في المئة من طاقة الشمسية في الولايات المتحدة.

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

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

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

وبناء على نقاط البيع الآلية إجماع نموذج نعسان

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

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

1) الطابع الزمني من كل كتلة يتزايد بشكل صارم.

2) سوف عقدة الصدق رفض "كتلة في المرة القادمة."

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

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

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

مقالات ذات صلة: نموذج نعسان إجماع موجز

وزعت الحوسبة والأدب المتعلقة التشفير ينظر عموما نوعين من المشاركين: لاعبو صادقة واللاعبين الغش، ثم يحلل خصائص المرونة في الحد الأدنى للنسبة على أساس اللاعبين صادقة الافتراض.

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

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

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

وجدت هذه الدراسة أن احتمال مشاركة متفرقة المذكورة أعلاه لا تزال تشكل توافق في الآراء. نقدم اتفاق توافق في الآراء بشأن "الوضع نعسان" (وضع السكون) هذا الوضع فرضية مرنة فقط معظم اللاعبين على الانترنت شرفاء . يعتمد بروتوكول لدينا على البنية التحتية للمفتاح العام (PKI)، سلسلة عشوائية المشتركة (CRS)، وثبت أن تكون آمنة في Dwork ناؤور-ساهي (STOC'98) نموذج التوقيت. في هذا النموذج، ويفترض أن جميع اللاعبين لديهم على مدار الساعة ضعيفة التزامن (كل ساعة، ويقابل في الوقت الحقيقي في [دلتا])، وتنتقل كل الرسائل المرسلة عبر الشبكة في الوقت [دلتا]، وعلى افتراض وجود آمنة Subexponential وظيفة تجزئة المضادة للتصادم، وتعزيز ترتيبات الباب المسحور.

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

انقر هنا لقراءة الصحيفة كاملة تحميل