الانتقال إلى المحتوى
Financial Context Wiki

إثبات العمل

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

آخر تحديث

لأغراض تعليمية فقط؛ لا يشكل ذلك نصيحة استثمارية أو توصية استثمارية. قد تؤدي الاستثمارات إلى خسائر.

إجابة مباشرة

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

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

Bitcoin يجمع بين عمل رأس SHA-256d مع قواعد الهدف وإعادة الهدف الخاصة بالشبكة، والنشر من نظير إلى نظير، والتحقق المستقل من الكتل، واختيار الفرع الصالح الذي يحتوي على أكبر عمل تراكم سلسلي. “السلسلة الأطول” هو مصطلح غير رسمي يرمز إلى أكثر الأعمال الصالحة تراكمًا، وليس بالضرورة الفرع الذي يحتوي على أكبر عدد من الكتل. يمكن لأنظمة PoW الأخرى استخدام ألغاز مختلفة، ومدخلات، وقواعد ضبط، وصيغ عمل، وفواصل زمنية للكتل، وجداول مكافآت، وقواعد اختيار الشوكة.

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

كيفية تحليل إثبات العمل

  1. حدّد النظام ومجموعة القواعد. سجّل الشبكة وكتلة التكوين وإصدار العميل وحالة التفعيل وخوارزمية العمل ومدخلات الكتلة المرشحة وترميز الهدف وحده الأقصى وقاعدة التعديل وقاعدة اختيار الفرع والمراقب والنظراء والطابع الزمني. لا تطبق معلمات شبكة Bitcoin الرئيسية على سلسلة أو شبكة اختبار أخرى.
  2. تحقق من الكتلة المرشحة بصورة مستقلة. أعد بناء الرأس وبيانات الكتلة الملتزم بها، ثم تحقق من المعاملات والتواقيع والبرامج النصية أو التنفيذ وقواعد الحالة المنفقة والإصدار والالتزامات وحدود الحجم أو الوزن وتسلسل الأسلاف. يُفحص PoW بالإضافة إلى الصلاحية، لا بدلاً منها.
  3. أعد اختبار العمل. طبق خوارزمية التجزئة أو اللغز والتسلسل بدقة، فك ترميز الهدف، ارفض النطاقات أو الترميزات غير الصالحة، واختبر عدم المساواة في البروتوكول مثل work_hash <= target. فصل ترتيب البايت المعروض عن مقارنة الأعداد الصحيحة المستخدمة في التوافق.
  4. كمّ احتمال البحث. بالنسبة لتجزئة موحدة بطول n وهدف شامل T، تنجح محاولة واحدة بـ p = (T + 1) / 2^n، والمتوسط المتوقع للمحاولات هو 1 / p. حدد معدل التجزئة الفعلي المتوافق ووقت التشغيل؛ الوقت المتوقع ليس موعدًا نهائيًا والفشل السابق لا يجعل المحاولة المستقلة التالية أكثر احتمالًا.
  5. إعادة بناء العمل التراكمي واختيار الفرع. لكل فرع صالح، اشتق عمل كل كتلة من هدفها باستخدام قاعدة الأعداد الصحيحة للشبكة، واجمعه عبر الأنساب، وطبق سلوك الربط الفعلي والتوافر. قارن العمل التراكمي، وليس الارتفاع أو الصعوبة المعروضة، أو رأس واحد بمفرده.
  6. قيّم التأكيدات واختبر افتراضات الهجوم. سجّل عمق المعاملة في السلسلة النشطة للمراقب والانتشار ومعدل الكتل الراكدة والانقسامات وتنوع النظراء وتركيز المعدّنين ومجمعات التعدين وأسواق قوة التجزئة البديلة والرقابة والحجب والقدرة على إعادة التنظيم. تجنب تقديم حد 51% أو عدد تأكيدات على أنه قاعدة عالمية.
  7. طابق الاقتصاد والعوامل الخارجية. افصل دعم الكتلة والرسوم وشروط مجمع التعدين والتباين والسعر والصعوبة والكفاءة والطاقة والتبريد والاستضافة والتوقف والاستهلاك الرأسمالي والتمويل والضرائب. لا تقدّر الكهرباء من معدل التجزئة إلا بتوزيع كفاءة أجهزة يطابق وقت الرصد مع النفقات العامة للمنشأة؛ ولا تقدّر الانبعاثات إلا بعد إضافة الموقع والوقت ومزيج الطاقة وخفض الأحمال وعدم اليقين المنهجي.

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

أمثلة محلولة

1. احتمال الهدف وعدم تماثل التحقق

افترض أن قاعدة التجزئة الموحدة للعب تقبل مخرجًا واحدًا في 2^20. احتمال النجاح لكل تجربة مستقلة هو p = 1 / 1,048,576، لذا فإن العدد المتوقع للتجارب هو 1,048,576. عند 5,000,000 hashes/second، فإن وقت البحث المتوقع هو:

1,048,576 / 5,000,000 = 0.2097152 seconds

يتطلب التحقق هاش واحد ومقارنة هدف واحدة بمجرد توفير المرشح. ومع ذلك، فإن الوقت المتوقع ليس ضمانًا: بعد 1,000,000 محاولة، تكون احتمالية عدم النجاح تقريبًا (1 - 1/1,048,576)^1,000,000 = 38.53%. المحاولة الفاشلة لا تجعل المحاولة التالية “مستحقة”.

2. الصلاحية قبل العمل التراكمي

يتضمن الفرع أ ستة كتل صالحة تبلغ قيمة كل منها 100 وحدات عمل، بمجموع 600. يحتوي الفرع ب على خمس كتل صالحة تبلغ قيمة كل منها 130، بمجموع 650. وفقًا لقاعدة العمل التراكمي الأكبر، يفوز ب رغم وجود عدد أقل من الكتل.

افترض الآن أن الفرع C يطالب بـ 1,200 وحدات عمل لكنه ينشئ مكافأة غير صالحة. عمله غير ذي صلة بعقدة التحقق الصادقة: يتم رفض C قبل مقارنة الفروع. PoW يحدد من يمكنه توسيع التاريخ الصالح بسهولة؛ إنه لا يشتري استثناءً لقواعد الصلاحية.

3. مشاركة التجزئة وتفاوت الكتل

افترض معدل شبكة توضيحي متوافق قدره 500 EH/s ومعدل عامل تعدين قدره 2 PH/s. الحصة المبسطة للعامل هي:

2 PH/s / 500 EH/s = 0.000004 = 0.0004%

بافتراض 144 كتلة يوميًا، فإن العدد المتوقع للتعدين الفردي هو 144 * 0.000004 = 0.000576 per day، مما يعني متوسط انتظار يقارب 1 / 0.000576 = 1,736.11 days. ويعطي تقريب بواسون احتمال P(0) = exp(-0.000576) = 99.9424% لعدم العثور على كتلة في ذلك اليوم. هذا التوقع ليس وعدًا بالدفع ولا دليلاً على أن مجمع التعدين مدين للمعدّن بمبلغ معين.

4. من معدل التجزئة إلى تقدير الطاقة

افترض أن محللًا يقوم بنمذجة 500 EH/s باستخدام متوسط كفاءة الأسطول 25 J/TH. بسبب 500 EH/s = 500,000,000 TH/s، فإن طاقة الآلة النموذجية هي:

500,000,000 TH/s * 25 J/TH = 12.5 GW

مع افتراض فاعلية استخدام الطاقة في المنشأة بمقدار 1.10، يصبح الطلب الإجمالي النموذجي 12.5 * 1.10 = 13.75 GW، أو 13.75 * 8,760 = 120.45 TWh سنويًا إذا بقت الظروف ثابتة. هذا تقدير، وليس قراءة عداد. تغيير مزيج الأجهزة أو وقت التشغيل أو نفقات المنشأة أو نافذة معدل التجزئة يغير النتيجة؛ الانبعاثات تتطلب افتراضات جغرافية وتوليد إضافية.

المخاطر وفشل المراجعة

أخطاء البروتوكول والصلاحية

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

أخطاء الأمان والشبكة

  • ادعاء الحتمية النهائية: يمكن لسلاسل و PoW إعادة التنظيم. قم بتعيين سياسة التأكيد من خلال القيمة والعمق والعمل الملحوظ والسيولة وقدرة الخصم والاستجابة التشغيلية.
  • اعتبار 51% عتبة عالمية: قد يكون حجب الكتل وميزة الانتشار وهجمات الكسوف والرشوة وقوة التجزئة المستأجرة وسياسة التطبيق مؤثرة دون هذه النسبة الاسمية أو فوقها. حدّد النموذج.
  • ادعاء قوة غير صالحة:يمكن لغالبية قوة التجزئة فرض الرقابة أو إعادة ترتيب المعاملات وقد تتجاوز التاريخ الصحيح، لكنها لا تستطيع جعل العقد النزيهة تقبل توقيعات مزورة أو تضخم غير صالح.
  • معدل التجزئة يساوي اللامركزية: قد تظل قوالب مجمعات التعدين والتحكم الفعلي والبرامج الثابتة والمصنعون والاستضافة والجغرافيا وموردو الطاقة والبرامج شديدة التركّز.
  • القدرة التقديرية للتجزئة كبيانات قياس عن بُعد: يتم استنتاج معدل هاش شبكة من العمل ووصول الكتل العشوائية؛ وليس تعدادًا مباشرًا للأجهزة أو المشغلين أو القدرة.
  • تجاهل الانقسامات وهجمات الكسوف: يمكن للعقدة ذات الرؤية المحدودة متابعة العمل القديم أو العدائي على الرغم من ارتفاع معدل التجزئة العالمي. راجع تنوع الأقران والشبكة.
  • تجاهل التحكم في مجمع التعدين والقالب: قد يتبع كثير من المعدّنين الاسميين قالب كتلة واحدًا أو مشغّل دفع واحدًا. افصل ملكية قوة التجزئة وسلطة القالب وحفظ المكافآت.

الاقتصاد والطاقة والعوامل الخارجية

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

المفاهيم الخاطئة الشائعة

يجعل إثبات العمل كل معاملة في الكتلة المُستخرجة صالحة

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

العمل هو الطاقة المخزنة التي تجعل الكتلة غير قابلة للعكس جسديًا

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

أطول سلسلة تعني دائمًا السلسلة التي تحتوي على أكبر عدد من الكتل

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

يمكن للمهاجم الذي يمتلك غالبية قوة التجزئة سرقة أي عملة أو تغيير أي قاعدة

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

يكشف مخطط معدل التجزئة عن استخدام الكهرباء والانبعاثات بدقة

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

مواضيع ذات صلة

المصادر

التنقل

ابحث في الويكي...