المشكلة التي يحلّها إثبات العمل
السجل الرقمي سهل النسخ وسهل التعديل. لو استطاع أي شخص إضافة معاملات بحرية، لأمكنه أيضًا إنفاق العملات نفسها مرتين — وهي مشكلة "الإنفاق المزدوج" الكلاسيكية. في نظام لا مشغّل مركزي له، تحتاج إلى وسيلة تجعل المشاركين المستقلين يتفقون على أي المعاملات حدثت وبأي ترتيب، حتى عندما يكون بعضهم غير أمين أو غير متصل.
اعتمدت المحاولات المبكرة للنقد الرقمي على طرف موثوق يمسك الدفاتر. أما تصميم بيتكوين، الموصوف في الورقة البيضاء لعام 2008، فقد استبدل بذلك الطرف الموثوق منافسةً علنية: ينفق المشاركون موارد حقيقية لإلحاق الكتل، وتتبع الشبكة قاعدة مشتركة لاختيار السلسلة الفائزة. ينشأ الإجماع من التكلفة والرياضيات لا من السلطة.
ما الذي يحسبه المعدّنون فعليًا
تحتوي كل كتلة مرشّحة على دفعة من المعاملات، ومرجع للكتلة السابقة، ورقم صغير قابل للتغيير يُسمى النونس (nonce). يمرّر المعدّنون هذه البيانات عبر دالة التجزئة SHA-256، التي تحوّل أي مُدخل إلى مُخرَج ثابت الطول يبدو غير قابل للتنبؤ. الهدف هو إيجاد مُدخل يُنتج تجزئة أقل من قيمة هدف معيّنة — أي عمليًا تجزئة تبدأ بعدد محدد من الأصفار.
بما أن مخرجات التجزئة لا يمكن التنبؤ بها ولا عكس هندستها، فإن الطريقة الوحيدة لإيجاد تجزئة مؤهَّلة هي التجربة والخطأ: غيّر النونس، وأجرِ التجزئة من جديد، وكرّر ذلك مليارات المرات في الثانية. هذا البحث بالقوة الغاشمة هو "العمل". إنه صعب عمدًا، لكنه بسيط للغاية على أي شخص آخر للتحقق منه — إذ تؤكّد عملية تجزئة واحدة أن الإجابة صحيحة. هذا التباين (صعب الإنتاج، سهل التحقق) هو جوهر إثبات العمل.
الصعوبة وإيقاع العشر دقائق تقريبًا
تهدف بيتكوين إلى إنتاج كتلة جديدة كل عشر دقائق تقريبًا في المتوسط. ومع انضمام مزيد من القدرة الحاسوبية (معدّل التجزئة) إلى الشبكة، تميل الكتل إلى الوصول بشكل أسرع، لذا يضبط البروتوكول الصعوبة دوريًا — أي إلى أي مدى يجب أن تكون التجزئة الهدف منخفضة — للحفاظ على وتيرة متوسطة ثابتة. وكل أسبوعين تقريبًا (2,016 كتلة)، تعيد كل عقدة حساب الصعوبة انطلاقًا من أوقات الكتل الأخيرة.
هذا الضبط الذاتي هو السبب في أن مزيدًا من قدرة التعدين لا يعني إنتاجًا أسرع للكتل على المدى الطويل؛ بل يعني بالأساس أن مزيدًا من العمل يُنفَق لتأمين التدفق المستقر نفسه من الكتل. أما التوقيت الدقيق لأي كتلة مفردة فعشوائي، ولذلك فإن العشر دقائق متوسط على المدى الطويل، لا جدول زمني.
من الكتل إلى الإجماع: أطول سلسلة صحيحة
إيجاد كتلة صحيحة ليس سوى نصف القصة. فما زالت العقد بحاجة إلى الاتفاق على تاريخ واحد حين يجد معدّنان كتلتين في اللحظة نفسها تقريبًا. والقاعدة هي أن العقد تتبع السلسلة الصحيحة ذات إجمالي إثبات العمل المتراكم الأكبر — وكثيرًا ما تُختصر بـ"أطول سلسلة"، رغم أنها في الحقيقة الأثقل من حيث العمل التراكمي.
تتحقق كل عقدة كاملة بشكل مستقل من كل كتلة وفق قواعد بيتكوين: تواقيع صحيحة، ولا إنفاق مزدوج، ومكافأة كتلة صحيحة، وتجزئة تستوفي الهدف. أما الكتل التي تخالف القواعد فتُرفض ببساطة، مهما بلغ العمل الذي بُذل فيها. وتُحَلّ الخلافات المؤقتة (التفرّعات) مع تمديد الكتلة التالية لأحد الفروع، ويتقارب المعدّنون الأمناء نحوه لأن البناء على السلسلة المقبولة هو حيث تكمن المكافأة.
لماذا يؤمّن هذا الشبكة
لإعادة كتابة معاملة سابقة، سيتعيّن على المهاجم أن يعيد إثبات العمل لتلك الكتلة ولكل كتلة بعدها، ثم أن يتجاوز الشبكة الأمينة بأكملها ليبني سلسلة أطول. وكلما دُفنت معاملة أعمق، وجب إعادة قدر أكبر من العمل — ولهذا كثيرًا ما ينتظر التجار عدة تأكيدات. وتتناسب التكلفة مع إجمالي معدّل تجزئة الشبكة.
هذا هو الحدس الكامن وراء "هجوم الـ51%": فالتحكم في أغلبية قدرة التجزئة قد يتيح لأحدهم إعادة ترتيب المعاملات الأخيرة أو حجبها. لكن اقتناء ذلك العتاد وتشغيله مكلف، وهو لا يستطيع تزوير التواقيع أو سرقة العملات مباشرة، كما أن هجومًا ظاهرًا للعيان قد يقوّض قيمة الأصل ذاته الذي ينفق المهاجم موارده لتعدينه. والحوافز مواءمة بحيث تكون المشاركة الأمينة أكثر ربحية عمومًا من الهجوم. الأمن هنا اقتصادي واحتمالي، وليس ضمانًا مطلقًا.
المفاضلات والنقاش الأوسع
قوة إثبات العمل — التكلفة الحقيقية الخارجية — هي أيضًا مصدر أكثر انتقاداته شيوعًا: استهلاك الطاقة. فتقديرات استهلاك بيتكوين للكهرباء تتفاوت تفاوتًا كبيرًا وتتغيّر بمرور الوقت، وتزداد الصورة تعقيدًا بفعل الحصة المتنامية من الطاقة المحتجزة (stranded) أو الفائضة أو المتجددة التي يستخدمها بعض المعدّنين. يختلف العقلاء في الرأي، والتفاصيل متبدّلة؛ ومن الجدير الرجوع إلى مصادر راهنة وموثوقة بدلًا من أي رقم منفرد.
تؤمّن تصاميم إجماع بديلة مثل إثبات الحصة (proof of stake) بعض الشبكات الأخرى بطاقة أقل بكثير عبر استخدام ضمانات اقتصادية بدلًا من الحوسبة. وهي تنطوي على افتراضات ومفاضلات مختلفة، ومقارنتها بإنصاف موضوع قائم بذاته. أما بالنسبة لبيتكوين تحديدًا، فيبقى إثبات العمل هو الآلية، وأمنها وجدول إصدارها مرتبطان به.