قريباً: قد تكون تقنية رول أب بيتكوين أقرب مما نعتقد – اكتشف الآن!

أثبت شهر يوليو أنه كان شهرًا مميزًا في جهود توسيع نطاق البيتكوين باستخدام البراهين المعرفة الصفرية.

إنجازات بارزة في يوليو

• في 17 يوليو، قامت StarkWare بإظهار مُحقق STARK على شبكة اختبار Signet للبيتكوين.
• في الأسبوع الماضي في مؤتمر Bitcoin 2024 في ناشفيل، تحقق فريقان متنافسان وراء BitcoinOS وBitVMX من براهين zk على شبكة البيتكوين الرئيسية.

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

الاختلافات الرئيسية بين النهجين

وفقًا لـ Weikeng Chen من L2 Iterative Ventures، الفرق الأساسي بين النهجين هو درجة التنفيذ غير المعتمد على الثقة. “BitVM لديه افتراض ثقة يتطلب ما زال [نظام توقيع متعدد]”، كما صرح Chen لموقع Blockworks.

هذا التميز مشابه للاختلاف بين التفاؤلية والzk، أو تقلصات الإثبات الصحيحة، في إيثريوم. حتى وإن كانت فرق BitcoinOS وBitVMX تحقق براهين zk، فإنهم يفعلون ذلك داخل BitVM.

قال Willem Schroe، مؤسس Botanix Labs: “BitVM يسمح لك بتشغيل أي نوع من الأكواد، وافتراض الثقة لتشغيل أي نوع من الأكواد هو تفاؤلي”.

التعاون والمنافسة

عملت Rootstock Labs مع Sovereign Labs على BitVMX. BitcoinOS، والذي يُعد Sovryn – وليس Sovereign Labs – أحد تنفيذه، هو إطار لتقلصات التشغيل القابلة للتشغيل البيني.

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

التحقق من البروتوكول

تم إجراء 52 معاملة صغيرة على شبكة البيتكوين الرئيسية لإثبات بروتوكول التحقق من BitSnark الخاص بـ BitcoinOS. الإعداد يتضمن طرفين: المُحقق، الذي يريد الوصول إلى الأموال المحتجزة في عنوان Taproot، والمُصدق.

عندما يكون المُحقق صادقًا، يُكمل البروتوكول بعد العملية الأولى. لكن إذا اكتشف المُصدق بروفة غير صادقة، يمكنهم تحديها، مما يؤدي إلى سلسلة من التفاعلات بين الطرفين.

تحديات التنفيذ

وفقًا لـ Matt Black، المؤسس المشارك والمدير التقني في Atomic Finance، من المبكر معرفة مدى قدرة هذا النهج على التوسع. أشار Black إلى أن افتراض الثقة هو 1 من n.

أوضح Robin Linus، مؤلف ورقة BitVM البيضاء، أنه عند تصميم جسر باستخدام BitVM، كان التوقع أن يتم استخدامه فقط نادرًا للتعامل مع كميات كبيرة من البيتكوين.

التحديات المستقبلية

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

كلا الحلين ما زال بعيدًا عن الجاهزية للإنتاج. ليس من الواضح حتى الآن كيف يمكن ترقية Bitcoin Core لاستخدام OP_CAT. يعتقد Black أنه قد يستغرق بعض الوقت.

نظريًا، استخدام Circle STARKs من StarkWare يعزز كفاءة عملية الإثبات، مما يجعل حل StarkWare خيارًا قابلاً للتوسع والأمان لتنفيذ براهين zk على البيتكوين.

ومع ذلك، بتمكين التحقق من الإثباتات دون تعديل بروتوكول البيتكوين، يفتح BitVMX وBitcoinOS إمكانات التطبيق المتقدمة مثل العقود الذكية على طراز إيثريوم.