هذا جزء من نشرة 0xResearch الإخبارية. لقراءة النسخ الكاملة، اشترك فيها.
سباق جعل البيتكوين قابلاً للبرمجة دون الحاجة إلى “سوفت فورك”
تحول السباق لجعل البيتكوين قابلاً للبرمجة دون الحاجة إلى “سوفت فورك” إلى واحد من أكثر المنافسات الإبداعية في عالم العملات الرقمية. في قلب هذا السباق يوجد “BitVM”، وهو إطار عمل لإثبات العمليات الحسابية خارج السلسلة على البيتكوين باستخدام “إثباتات الاحتيال”.
تطور BitVM من الإصدار الأول إلى الثالث
كانت النسخة الأولى، المعروفة الآن باسم BitVM1، تستخدم بروتوكولًا تفاعليًا متعدد الجولات. بينما قام BitVM2 بتبسيط ذلك إلى إثبات خطأ بجولة واحدة باستخدام “مُتحقق SNARK منقسم”، وهو بالفعل عملي للمتبنين الأوائل مثل Build on Bitcoin (BOB) وCitrea وBitlayer.
الآن، يقترح BitVM3 الذهاب إلى أبعد من ذلك عبر خفض تكاليف إثبات الاحتيال على السلسلة بنحو 1000 مرة. لكن هناك تحديًا: لا يزال في مرحلة البحث، مع وجود تحديات أمنية وتعقيد وتوافر بيانات يجب حلها قبل أن يصبح جاهزًا للإنتاج.
كيف يعمل BitVM3؟
قال أليكسي زامياتين، الشريك المؤسس لـ BOB: “التصميم العام لجسر BitVM بين BitVM2 وBitVM3 يبقى كما هو. الفرق الرئيسي هو استبدال مُتحقق SNARK (في BitVM2) بدائرة مشفرة (في BitVM3)”. وأضاف: “نستكشف دمج عناصر من أحدث تصميم لـ BitVM في جسرنا الهجين المخصص”.
الدوائر المشفرة هي أدوات تشفيرية تسمح لأحد الأطراف بالالتزام مسبقًا بحساب يمكن للطرف الآخر التحقق منه دون معرفة المدخلات الخاصة. نظريًا، هذا يقلل العبء على سلسلة البيتكوين إلى التزامات صغيرة جدًا لكل بوابة منطقية. رغم ذلك، لا يزال هذا الأسلوب بحاجة إلى مزيد من البحث قبل أن يصبح عمليًا على نطاق واسع.
التقدم الحالي مع BitVM2
في الوقت الحالي، تعتمد الجسور الحالية على BitVM2. أطلقت BOB مؤخرًا شبكة اختبار لأحدث جسر يعتمد على BitVM2 بالتعاون مع شركاء رئيسيين في مجال التمويل اللامركزي (DeFi) لتمكين الأصول المدعومة بالبيتكوين على سلاسل أخرى. يجري الآن مراجعة BitVM2 ومن المتوقع أن يكون جاهزًا للشبكة الرئيسية قريبًا.
قال زامياتين: “الدوائر المشفرة تطور مثير، لكنها لا تزال بحاجة إلى مزيد من البحث قبل أن تصبح عملية. من المهم ملاحظة أن معظم العمل لبناء جسر باستخدام BitVM يبقى كما هو سواء باستخدام BitVM2 أو BitVM3”.
تكاليف BitVM2 والمقارنة مع إثريوم
تكاليف BitVM2 ليست بسيطة: يقدر زامياتين أن أسوأ سيناريو لإثبات الاحتيال على السلسلة يكلف حوالي 16,000 دولار كرسوم معاملات. لكن حتى هذا أرخص من “إثباتات الخطأ” في OP Stack التابعة لإثريوم، التي تتطلب 14 إيثريوم أو أكثر (أكثر من 40,000 دولار حاليًا) كضمانات، وقد تصل إلى مئات الإيثريوم لإثبات الاحتيال فعليًا على السلسلة.
مقاربة مختلفة من Citrea وAlpen Labs
في غضون ذلك، تختبر فرق أخرى أساليب مختلفة للدوائر المشفرة. كما قال روبين لينوس في مجموعة BitVM Builders على Telegram هذا الأسبوع:
- تستكشف Citrea نهجًا كلاسيكيًا يعتمد على تشفير Yao مع طريقة “اقطع واختر” للتحقق من صحة الدوائر. هذا يأتي على حساب تكاليف اتصال وتخزين أعلى، لكنه بسيط ويعتمد على افتراضات تقليدية.
- بالمقابل، تستكشف Alpen Labs “SNARK مُتحقق معين”، الذي يقلل من عبء الاتصال، لكنه يعتمد على تشفير أكثر تعقيدًا وغير مجرب بالكامل بعد.
الأسئلة الشائعة
ما الفرق بين BitVM2 وBitVM3؟
الفرق الرئيسي هو أن BitVM3 يستخدم “دوائر مشفرة” بدلاً من “مُتحقق SNARK”، مما قد يخفض تكاليف إثبات الاحتيال على السلسلة بنحو 1000 مرة. لكن BitVM3 لا يزال في مرحلة البحث.
هل BitVM2 جاهز للاستخدام الآن؟
نعم، BitVM2 قيد التدقيق ومن المتوقع أن يصبح جاهزًا للشبكة الرئيسية قريبًا، بينما BitVM3 لا يزال قيد التطوير.
ما هي تحديات الدوائر المشفرة؟
على الرغم من وعدها الكبير، لا تزال الدوائر المشفرة بحاجة إلى مزيد من البحث لمعالجة تحديات الأمان والتعقيد قبل أن تصبح عملية على نطاق واسع.
