المؤلف: فريق أبحاث Bitlayer
العنوان الأصلي: BitVM وBitlayer: الريادة في مستقبل Bitcoin القابل للبرمجة
الرابط الأصلي: https://blog.bitlayer.org/BitVM_and_Bitlayer_Pioneering_Bitcoins_Programmable_Future/
البيتكوين، باعتبارها المنطقة الأكثر أمانًا والأكثر لامركزية في العالم، كانت تقنية Blockchain منذ فترة طويلة تعتبر ذات قدرة برمجة محدودة مقارنة بمنصات مثل Ethereum. ومع ذلك، تعمل BitVM على تغيير ذلك، حيث تقدم إطارًا متقدمًا للحوسبة وقابلية البرمجة للبيتكوين. في جوهره، يفتح BitVM إمكانية إنشاء جسر Bitcoin منخفض الثقة والتطبيقات الأخرى مع الحفاظ على مبادئ Bitcoin المتعلقة باللامركزية والأمن.
سوف تستكشف هذه المقالة تاريخ تطوير BitVM، وحالتها الحالية، والجهود الهندسية الرئيسية التي تقف وراءها، والمساهمات البارزة التي قدمتها Bitlayer كمساهم مهم في النظام البيئي BitVM.
تاريخ تطور BitVM
تمثل BitVM البيتكوين بالإضافة إلى كونها عملة رقمية. خطوة تحويلية في تنمية القدرات. تحدد رحلة BitVM العقد الرئيسية التالية:
الاقتراح الأولي: تم اقتراحه لأول مرة بواسطة Robin Linus BitVM كحل حوسبة عالمي للبيتكوين.
التقسيم التفاعلي: يعمل Robin على تحسين المفهوم من خلال تقديم التنصيف التفاعلي (باستخدام تعليمات RISC-V) لجعل العمليات الحسابية أكثر كفاءة.
BitVM2: الإصدار الأحدث، BitVM2، يلغي الانقسام ويقدم آلية تحدي غير مصرح بها، مما يجعلها عملة BitVM2 قوية إطار الجسور.
في الوقت الحالي، يركز مجتمع BitVM بالكامل تقريبًا على BitVM2، والإصدار الذي تمت مناقشته في هذه المقالة هو BitVM2.
حول تحالف BitVM
تأسس تحالف BitVM على يد روبن لينوس ولوكاس جورج تسريع تطوير وترويج BitVM. يجمع الكونسورتيوم بين المشاريع والفرق الرائدة لدفع حدود برمجة البيتكوين. لمزيد من المعلومات، يرجى زيارة صفحة مشروع BitVM.
حالة مشروع BitVM
مبدأ عمل BitVM: نسخة مبسطة
تنفذ BitVM آلية جسر تربط Bitcoin بالبيئات القابلة للبرمجة، مما يسهل سير العمل مثل عمليات نقل الأصول. يمكن تقسيم العملية بأكملها إلى ثلاث خطوات رئيسية:
التثبيت: قفل المستخدم BTC في عقد BitVM الذكي، ويتم تغليف BTC (YBTC) على النظام المستهدف أو الأنظمة الأخرى.
الربط: يطلب المستخدم السحب، ويقوم الوسيط بتوفير السيولة وتحويل BTC إلى المستخدم.
المطالبة: يسترد الوسيط الأموال من عقد BitVM الذكي، بشرط ألا يعترض أحد على الطلب.
المصدر: المستند التقني لـ BitVM2 (https://bitvm.org/bitvm_bridge.pdf)
دور عقود BitVM الذكية
< p style ="text-align: left;">عقد BitVM الذكي هو في الأساس رسم بياني لمعاملات Bitcoin موقّع مسبقًا يحدد القواعد وسير العمل الذي يجب على جميع المشاركين اتباعه. تشمل ميزاته الرئيسية ما يلي:
المعاملات الموقعة مسبقًا: يتم توقيع هذه المعاملات مسبقًا من قبل الجميع المشاركين، لتطبيق قواعد الاتفاقية.
التحكم في التوقيع المتعدد: يتم قفل الأموال في محفظة متعددة التوقيع يتم التحكم فيها بشكل مشترك من قبل جميع المشاركين في سير العمل.
بمجرد إصدار خريطة المعاملات، يمكن للمستخدمين قفل BTC في عقد BitVM وسك الحزمة على النظام المستهدف أو غيره. أنظمة BTC لبدء سير العمل بأكمله.
ضمان النزاهة: حل النزاعات
لضمان صحة الطلبات، تتبنى BitVM حل النزاعات الاتفاقية:
الالتزام المسبق: يلتزم الوسيط مسبقًا بنتيجة التحقق من صحة Groth16، والتي يتم حسابها من خلال برنامج غير متصل بالإنترنت للتأكد من صلاحية الطلب (على سبيل المثال، تم تدمير BTC المغلف، وتم نقل الربط مكتمل).
التحدي: إذا قام شخص ما برفع التحدي، فيجب على الوسيط الكشف عن جميع القيم المتوسطة المحسوبة بواسطة المدقق.
التحقق من الصحة: يقوم المنافس بتشغيل أداة التحقق دون الاتصال بالإنترنت، بحثًا عن أي أجزاء غير صالحة. إذا تم اكتشاف الاحتيال، فسيقوم المنافس بتقديم معاملة لإعادة الكتلة غير الصالحة إلى بيتكوين، وبالتالي إبطال الطلب.
الأعمال الهندسية الرئيسية
تطوير أداة التحقق من صحة Groth16
أداة التحقق من صحة Groth16 هي حجر الزاوية في BitVM ويمكن استخدامها مباشرة في التحقق الفعال من إثبات المعرفة الصفرية على البيتكوين. تشمل الإنجازات الرئيسية ما يلي:
إنشاء أداة التحقق:
تم تنفيذ عملية تحقق واحدة من Groth16 بالكامل باستخدام برنامج Bitcoin النصي. وظائفها تعادل وظيفة لغة برمجة للأغراض العامة.
تم تطوير الأوليات الأساسية بما في ذلك حساب BIGINT وتجزئة BLAKE3 وإقران المنحنى الإهليلجي BN254 وتوقيعات Winternitz (لالتزامات البت).
التحسين:
أداة التحقق من الكتلة:
تنفيذ البروتوكول
مع وجود أداة التحقق من صحة Groth16، فإن الخطوة التالية هي تطوير رسم بياني كامل للمعاملات يربط جميع المكونات. يتضمن ذلك:
مراقبة الأحداث في السلسلة وتخزين البيانات الضرورية.
إنشاء المعاملات والتحقق منها مثل ASSERT وDISPROVE.
إدارة مخرجات الرابط وتحميل المعاملات بشكل موثوق إلى السلسلة.
الحالة الحالية
أداة التحقق من صحة Groth16: h4>تنفيذ البروتوكول:
الخطوة التالية:
يقوم BitVM Alliance بإجراء تدقيق شامل للكود.
الخطط جارية لعرض أول جسر BitVM شامل.
مساهمة Bitlayer
Bitlayer هو مساهم في المساهمين الرئيسيين في مشروع BitVM، وتحديدًا في المجالين التاليين:
مساهمة أداة التحقق من صحة Groth16:< / ص>لي>
التحسين:
تم تطوير تقنية الضرب متعدد الكميات (MSM) لتقليل حجم البرنامج النصي من 7.4 جيجابايت إلى 5.6 جيجابايت.
تم تنفيذ خوارزمية MSM جديدة باستخدام الإحداثيات المتقاربة لتقليل حجم أداة التحقق من الصحة إلى 1 جيجابايت.
مقطع أداة التحقق:
اقترح أول تنفيذ ممكن للمقسم، وتقسيم أداة التحقق الفردية مقسمة إلى أجزاء منطقية (على سبيل المثال MSM، مجموعة G2) التفتيش، تراكم حلقة ميلر).
تم ضبط عملية التقطيع بدقة لموازنة دقة الإدخال/الإخراج وتحقيق أحجام القطع المثالية.
بروتوكول الجسر المساهمة:
طبقة البت: خارج مشروع BitVM الرسمي
تدرك Bitlayer الإمكانات التحويلية لـ BitVM وتستكشف تطبيقاتها بما يتجاوز جسر Bitcoin:
تجريد BitVM: تطوير مكونات قابلة لإعادة الاستخدام مثل العقود الذكية بنمط BitVM، وإثباتات الاحتيال، وإثباتات المعرفة الصفرية.
Finality Bridge: إطلاق تطبيق جسر BitVM الخاص بها، أصبحت شبكة اختبار Finality Bridge متاحة الآن عبر الإنترنت.
Bitcoin Rollup: بروتوكول تراكمي يعتمد على تجريد BitVM، بما في ذلك عقود BitVM الذكية المتكررة وzkVM.
مراجعة مساهمة Bitlayer
تم تنفيذ تحسين أداة التحقق من صحة Groth16، مما أدى إلى تقليل حجم البرنامج النصي بشكل كبير.
تم تطوير أول تطبيق لمقطع التحقق من الصحة.
المكونات الأساسية المساهمة في بروتوكول جسر BitVM، بما في ذلك معاملات ASSERT وDISPROVE.
استكشف حالات الاستخدام المبتكرة مثل Bitcoin الأصلي Rollup وzkVM.