لقد صادفت مؤخرًا بعض الأخبار المثيرة في مجال أبحاث البيتكوين تستحق الانتباه. قام روبين لينوس (، صاحب مشروع ZeroSync وBitVM )، بنشر ورقة بعنوان "Binohash: فحص المعاملات بدون الحاجة إلى softfork" في فبراير، وهي في الواقع فكرة ذكية جدًا.

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

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

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

اسمها مستمد من معامل ثنائي الحدين (n choose t)، والذي يحدد حجم مساحة nonce ودرجة العشوائية.

على الجانب العملي: مع معلمات حوالي 42 بت من العمل لكل مكون، تحصل على مقاومة تصادم تقارب 84 بت — وهو ما يعادل نصف قوة SHA-256، وهو قوي لمعظم الاستخدامات. يحتاج المستخدم الصادق إلى حوالي 44.6 بت من العمل، والذي يكلف أقل من $50 على وحدات معالجة الرسوم السحابية. وهناك بالفعل معاملة حقيقية على شبكة البيتكوين الرئيسية تظهر هذا المفهوم.

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