تجربة البوكر التي تخلّى عنها ساتوشي تعود بلمسة خاصة من البيتكوين

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

كان البرنامج يحتوي على مكونات الطاولة، لكن لم تكن هناك لعبة فعالة تعمل من وراءها. بعد مرور 18 عامًا، عالج الباحث في جامعة ستانفورد روبن لينوس المشكلة التي تركها ساتوشي وراءه. يوم الخميس، قدم لينوس «بيتكوين بوكر»، وهو بروتوكول يتيح لشخصين لعب لعبة «تكساس هولدم» حقيقية باستخدام البيتكوين لفرض القواعد، وتسوية الرهانات، والتعامل مع اللاعبين الذين يرفضون التعاون.

"عزيزي ساتوشي، أول نزاع في BitVM، و SHA2-ECDSA متعدد اللغات، وجنون Binohash — كلها مجرد رسائل من المعجبين مكتوبة بلغة Bitcoin Script. لا يهم أي منها حتى أحقق رؤيتك الأصلية"، كتب لينوس على X. "لذا، فقد انتهيت أخيرًا من تطوير عميل البوكر الذي تركته غير مكتمل في Bitcoin v0.1. اتصل بي لنلعب بضع جولات."

غرفة البوكر المنسية لساتوشي تحظى بحياة جديدة

كان كود مصدر بيتكوين الأصلي يحتوي على ملف يُسمى uibase.cpp، والذي تضمن مكونات رسومية لردهة البوكر وطاولة اللعب. تحمل الواجهة تاريخ إنشاء هو 16 أبريل 2008، أي قبل حوالي ستة أشهر من نشر ساتوشي للورقة البيضاء الخاصة ببيتكوين. كانت الأزرار التي تحمل علامات «توزيع الورق» و«الانسحاب» و«المساواة» و«الرفع» تشير إلى شيء أكثر طموحًا من مجرد تطبيق دفع بسيط، على الرغم من أن ساتوشي لم يشرح أبدًا علنًا ما كان ينوي فعله بها.

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

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

تسع أوراق، لاعبان، ولا موزع يتحكم في اللعبة

يشتهر لينوس، وهو طالب دكتوراه في جامعة ستانفورد، بتطوير BitVM، وهو اقتراح لعام 2023 يهدف إلى التحقق من الحسابات المعقدة عبر البيتكوين دون تغيير قواعد التوافق الخاصة بها. وتشمل أبحاثه اللاحقة BitVM2 وBitVM3 وZerosync وأنظمة تشفير أخرى. يطبق «بيتكوين بوكر» هذا النهج المبتكر نفسه على شيء مألوف أكثر بكثير من الحسابات على البلوكشين.

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

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

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

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

البيتكوين يصبح الحكم عندما يرفض أحدهم التعاون

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

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

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

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

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

لعبة بوكر تضم 56,132 عقدة تأتي مع شرط

التصميم ذكي، لكن لا ينبغي لأحد أن يخطئ في اعتباره تطبيق بوكر خفيف الوزن للهواتف المحمولة. تحتوي التهيئة المرجعية التي وضعها لينوس، والتي تتضمن 100 «بيغ بليند» لكل لاعب وأربعة رهانات في كل جولة رهان، على 56,132 عقدة منطقية، إلى جانب 54,855 توقيعًا عاديًا و1,306 حزمة لكشف البطاقات. تحتوي كل حزمة على 52 توقيعًا إضافيًا للمحول.

يبلغ حجم اللقطة الكاملة للتحضير 8,416,186 بايت، أي ما يقارب 8.4 ميغابايت. في ثلاث تجارب أجريت على متصفحات سطح المكتب، استغرق إعداد شجرة المعاملات وحفظها ما بين 26.39 و27.26 ثانية. ويحذر لينوس قائلاً: «هذه قياسات ثابتة، وليست ضمانات عند بدء التشغيل». تصف هذه الأرقام تطبيقًا مرجعيًّا وليس الأداء الذي ينبغي للمستخدمين توقعه من المنتج النهائي.

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

بعد ما يقرب من ثمانية عشر عامًا، أصبحت فكرة ساتوشي للبوكر ذات قواعد حقيقية

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

لا يحاول لينوس إخفاء تلك العيوب. وتقر الورقة البحثية بأن «هذا ليس دليلاً رسمياً على اكتمال بروتوكول التعامل مع الأطراف الخبيثة». تختبر الاختبارات الحالية التي تستخدم بيتكوين كور مكونات مهمة، بما في ذلك عمليات الدفع ومسارات انتهاء المهلة، لكن «تغطية الاختبار لا تعتبر دليلاً أمنياً».

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

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