BOB يُعلن عن نموذج أولي لجسر البيتكوين المُقلل للثقة، مدعوم من BitVM

تم اختبار نموذج أولي لجسر BitVM بين BOB والبيتكوين بنجاح، مما يمثل علامة فارقة في مهمتنا Hybrid L2 للجمع بين أفضل ما في البيتكوين والإيثريوم.

ويستفيد النموذج الأولي من أحدث إصدار من BitVM2 لتسهيل جسر بيتكوين مُقلل من الثقة. وقد تم تطويره بالشراكة الوثيقة مع Fiamma - وهيشركة رائدة في تطوير BitVM وشركة رائدة في مجال البنية التحتية للمعرفة الصفرية.

يأتي ذلك في أعقاب الإعلان عن تكاملنا القادم مع Babylon، والذي سيجلب نهائية البيتكوين إلى شبكة BOB عبر بروتوكول رهان البيتكوين الخاص ببابيلون. يسمح هذان التطوران معًا لـ BOB بالبدء في الانتقال إلى المرحلة الثانية من خارطة الطريق L2 الهجينة.

سيكون BOB أول حل من الطبقة الثانية يرث أمان البيتكوين ويطور نموذجًا أوليًا قائمًا على BitVM.

تابع القراءة لمعرفة المزيد.

‍

ما هو BitVM؟

BitVM هي آلية لتنفيذ البرامج على البيتكوين بطريقة متفائلة. يحدث التنفيذ خارج السلسلة، ولكن في حالة الفشل، يتم حل النزاعات وتنفيذها على السلسلة. فكر في التفاؤل، ولكن على البيتكوين. حالتا الاستخدام الرئيسيتان هما تجميعات البيتكوين وجسور الثقة المحدودة. في كلتا الحالتين، نريد السماح للمستخدمين بإيداع وسحب البيتكوين من L2 دون الوثوق بطرف ثالث.

تعتمد الجسور الحالية عادةً على كيانات مركزية - مثل Wrapped Bitcoin (wBTC) و Coinbase Wrapped Bitcoin (cbBTC) - أو شبكات شبه موثوقة مثل tBTC، حيث يعتمد الأمان على صدق غالبية المشاركين. على النقيض من ذلك، تقدم جسور BitVM2 نموذج أمان متفوق: لا يمكن سرقة إيداعات البيتكوين طالما أن هناك عقدة واحدة صادقة ومتصلة بالإنترنت في الشبكة، ويمكن أن تكون هذه العقدة هي المودع نفسه.

الإصدار الأحدث والعملي هو BitVM2. يرجى الرجوع إلى أحدث ورقة بحثية لدينا للحصول على مواصفات البروتوكول الكاملة.

أكد أليكسي زامياتين، الشريك المؤسس لـ BOB، وهو مساهم نشط ومؤلف مشارك في التصميم التقني لـ BitVM2، على أهمية الإنجاز الذي تحقق اليوم:

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

‍

تدفق بروتوكول BitVM2

1. ضغط برنامج في محقق SNARK، الذي تم تنفيذه في Bitcoin Script. باستخدام نظام إثبات Groth16 نحصل على حجم 1 جيجابايت تقريبًا.
2. قسّم أداة التحقق إلى أجزاء برامج فرعية، بحد أقصى 4 ميغابايت لكل منها، بحيث يمكن تشغيل كل منها في معاملة بيتكوين.
3. يلتزم المشغل بالبرنامج أثناء الإعداد.
4. عند محاولة سحب الأموال من BitVM2، يمكن لأي شخص أن يعترض على المشغل، على سبيل المثال، إذا لم يكتمل فك التغليف (الربط) بشكل صحيح.
5. في حالة الاعتراض، يجب على المشغل الكشف عن جميع نتائج البرنامج الوسيطة.
6. إذا غش المشغّل، ستكون إحدى نتائج البرنامج الفرعي المزعومة خاطئة. يمكن لأي شخص أن يدحض المشغّل من خلال تنفيذ ذلك البرنامج الفرعي المحدد في معاملة بيتكوين، مما يدل على أن المشغّل ادعى عملية حسابية مزيفة.
7. تم! تم طرد المشغل الخاطئ ولا يمكنه الوصول إلى أموال BitVM بسبب معاملة إنفاق غير صالحة.

‍

تدفق جسر BitVM

يستخدم جسر BitVM Bridge استخدام BitVM2 لتنفيذ جسر خفيف العميل على البيتكوين. يتحقق L2 من البيتكوين، وتتحقق البيتكوين من L2. الجزء الأكثر إثارة للاهتمام هو إلغاء التغليف، والذي يُسمى أيضًا الربط الخارجي، والذي لطالما كان يمثل تحديًا لبروتوكولات Bitcoin DeFi.

1. يدفع المشغلون البيتكوين إلى المستخدم المسحوب من أموالهم الخاصة ثم يستردون البيتكوين من BitVM.
2. تتحقق BitVM من أنه بالنسبة للمعاملة غير الملتفة على L2، هناك ربط صحيح على البيتكوين.
3. إذا كان كل شيء على ما يرام، يسترد المشغّل BTC.

‍

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

‍

شراكة استراتيجية مع فياما

ولتسريع تطبيق BitVM2، تعاونت BOB مع شركة Fiamma، الرائدة في مجال المنتجات الأولى التي تستخدم BitVM2، بما في ذلك أول جسر BitVM (جسر Fiamma) وأول طبقة تحقق تعمل بتقنية BitVM على البيتكوين (طبقة Fiamma).

وقد كان لهذه الشراكة دور أساسي في نجاح النموذج الأولي لجسر BitVM من BOB. فقد قام كل من بنك بوبي وفياما معًا بنشر البنية التحتية الرئيسية للجسر وتجربة نسخة مبكرة من برنامج البروفيل للتحقق من إجماع بنك بوبي. ويأتي هذا بعد استثمار BOB الاستراتيجي في شركة Fiamma في وقت سابق من هذا الشهر، مع بنيتها التحتية وخبرتها القادرة على دعم النشر السريع لـ BitVM على BOB؛ بدءًا من هذا النموذج الأولي لجسر BitVM.

قال سايمون تشين، المؤسس المشارك لـ Fiamma والمساهم الأساسي في BitVM، متحدثًا عن هذا الإنجاز اليوم

"نحن متحمسون للإعلان عن شراكتنا مع فريق BOB! نحن نقدر بشدة رؤى أليكسي وفريقه القيمة خلال مناقشاتنا. نحن نتطلع إلى دمج جسر BitVM Bridge في BOB، مما يجعله أول جسر من الطبقة الثانية للبيتكوين مع جسر مقلل للثقة. نأمل أن يكون النموذج الأولي لجسر BitVM من BOB هو الأول من بين العديد من الإعلانات الرائعة التي تنتج عن شراكتنا الاستراتيجية."

‍

تطوير خارطة طريق L2 الهجينة لمصرف BOB الهجين

في وقت سابق من هذا الأسبوع، أعلن بنك BOB في وقت سابق من هذا الأسبوع عن تكامله المخطط له مع Babylon، بروتوكول الرهان الرائد في مجال البيتكوين، والذي سيؤسس BOB كشبكة آمنة للبيتكوين ويوفر نهائية البيتكوين لسلسلة البلوكشين الخاصة به.

يُعد التجسير الذي يقلل من الثقة ونهائية البيتكوين عنصرين أساسيين في تصميم BOB الهجين، والذي يهدف إلى الجمع بين أمان البيتكوين والسيولة مع ابتكار DeFi من الإيثيريوم وتعدد استخداماته، مما يجعل BOB موطنًا لـ BTC DeFi.

سيتيح هذا المزيج:

• أمان معزز: سترتكز المعاملات على BOB على أمان البيتكوين.
• تحويلات سلسة للبيتكوين: سيتمكن المستخدمون من نقل البيتكوين بين البيتكوين وBBB دون الحاجة إلى الوثوق في الوسطاء.
• عمليات سحب أسرع: ستؤدي نهائية البيتكوين إلى تسريع أوقات السحب على جسر الإيثيريوم الأصلي الخاص بـ BOB.

لمعرفة المزيد حول ما يعنيه ذلك، يُرجى قراءة ورقة رؤية L2 الهجينة الخاصة بـ BOB.

‍

ما التالي؟

بعد تسليم هذا النموذج الأولي، تخطط BOB لطرح جسر BitVM على شبكة اختبار BOB في أوائل عام 2025، على أن يتبع ذلك نشر الشبكة الرئيسية بعد نجاح التدقيق وتكامل الشركاء.

بمجرد اكتمال تكامل BOB مع Babylon وتصبح شبكة بيتكوين آمنة (BSN)، ستكون آلية الأمان الأساسية لجسر BitVM هي نهائية البيتكوين من خلال رهان البيتكوين. نحن نعمل بنشاط مع Babylon لتنفيذ ذلك.

في هذه الأثناء، ترقبوا مواقع التواصل الاجتماعي الخاصة بنا لتبقوا على اطلاع على إطلاق جسر BitVM، وجميع التطورات المثيرة الأخرى التي خططنا لها.

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

‍

التفاصيل الفنية لجسر BitVM Bridge

مُثبِت متخصص قائم على zkVM

من خلال التكامل مع البنية التحتية الأساسية لـ Fiamma، قمنا بتطوير نموذج أولي مبكر من مُدقِّقنا القائم على zkVM للتحقق من صحة بناء الكتل على BOB. في هذا الإصدار المبكر، قدمنا كمدخلات لمبرهن SNARK الخاص بنا:

• معاملات Ethereum L1 التي ترسل جذور مخرجات جديدة إلى عقد L2OutputOracle.
• رؤوس كتل L2 حتى "نقطة التحقق" هذه للكتلة المستهدفة.
• إيصالات التنفيذ للكتلة L2 المستهدفة.

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

عقد الجسر والترحيل الكامل للبيتكوين SPV

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

داخليًا، هناك أيضًا "ترحيل كامل" لعملة البيتكوين SPV، والذي نتحقق منه للتأكد من تضمين معاملات البيتكوين.

عمليات الربط والخروج من الوتد إلى الوتد

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

الوتد-إن:

• تنسّق أليس مع اللجنة* لإعداد مثيل BitVM جديد وتحصل على معرّف فريد (خارج السلسلة).
• ترسل أليس بيتكوين إلى عنوان البيتكوين المعين، بالرجوع إلى المعرف.
• تقوم اللجنة بإرسال تكس البيتكوين وإثبات التضمين إلى عقد الجسر الذكي على BOB، والذي يتحقق (باستخدام مرحل SPV) من أن معاملة الإيداع قد تم تضمينها في سلسلة البيتكوين الرئيسية مع 6 تأكيدات على الأقل.
• إذا تم التحقق من كل شيء، يقوم العقد الذكي بسك عملة BTC ERC20 رمزية مغلفة لـ Alice بنسبة 1:1 إلى إيداع BTC. يمكن ل Alice بعد ذلك استخدام هذا في أي من بروتوكولات DeFi الخاصة ب BOB، تمامًا مثل أي رمز ERC20 مميز آخر.

‍

* يتم استخدام ما يسمى بلجنة "مضاهاة العهد" لمحاكاة رموز عمليات العهد المفقودة على البيتكوين. هذه اللجنة ضرورية للتوقيع المسبق على معاملات بيتكوين محددة تضمن أن المشغل يمكنه فقط إنفاق ودائع البيتكوين بطريقة يمكن الطعن فيها، وبالتالي منع السرقة. على وجه التحديد، هذه لجنة م من م، حيث يمكن أن تكون م كبيرة جدًا (100 من الموقعين الذين تم أخذ عينات عشوائيًا). طالما كان أحد هؤلاء الموقعين صادقًا، فإن الإعداد آمن. يمكن أن تشارك أليس نفسها في هذا الإعداد. يمكن استبدال هذه اللجنة في نهاية المطاف إذا أضافت Bitcoin رمزًا جديدًا مثل TXHASH أو OP_CAT.

‍

الوتد-أوت:

• تقوم أليس بإقفال BTC ERC20 المغلفة في عقد الجسر الذكي على BOB وتنتظر المشغل لقبول الطلب.
• ثم يرسل أحد المشغلين بعد ذلك مبلغ البيتكوين المقابل إلى عنوان أليس على البيتكوين، ويوفر دليل التضمين إلى العقد الذكي "بريدج" على BOB بعد أن يكون هناك 6 تأكيدات على الأقل. يُصدر العقد الذكي حدث "حرق".

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

• يُنتج جهاز تسلسل BOB كتلة تحتوي على حدث "الحرق"، والذي يُستخدم بعد ذلك كمدخل لمثبت ZK الموضح أعلاه.
• يبدأ المشغل عملية السحب من ودائع BitVM على البيتكوين. والآن، في غضون 7 أيام، يمكن لأي شخص التحقق من صحة الربط وفي حالة وجود أخطاء، يمكن لأي شخص الطعن في المشغل.
• الخيار 1: كل شيء صحيح. إذا قام المشغل بتنفيذ عملية الربط بشكل صحيح (المبلغ الصحيح، المستلم، في الوقت المطلوب، ...)، فلن يتم الطعن فيه والمطالبة بالبيتكوين من ودائع BitVM بعد 7 أيام.
• الخيار 2: الخطأ والتحدي. إذا حاول المُشغِّل الغش (على سبيل المثال، لم يرسل بيتكوين إلى أليس ولكنه يحاول استردادها على أي حال)، فسيتم تحديه، طالما أن هناك مستخدم واحد على الأقل صادق ومتصل بالإنترنت في الشبكة. يُجبر المُشغِّل بعد ذلك على نشر بيانات إضافية حول تنفيذ مُحقِّق SNARK (معاملة "تأكيد")، مما يسمح للمُتحدي أن يثبت لشبكة البيتكوين أن المُشغِّل يغش (بمعاملة واحدة أخرى). إذا لم يقم المُشغِّل بنشر معاملة الأصول أو قام بالغش بالفعل (بمعنى أن مُحقِّق SNARK لا يمكن أن يكون قد نفذها بشكل صحيح)، ستفشل محاولة السحب الخاصة به وستتم إزالته من مجموعة المُشغِّلين.

‍

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

‍

النموذج الأولي لجسر BitVM قيد التشغيل

لتوضيح النموذج الأولي للجسر أثناء العمل، دعنا نلقي نظرة على بعض الأمثلة على المعاملات على البيتكوين Signet.

أولاً، معاملة الربط حيث يقفل المستخدم البيتكوين الخاص به:

• https://mempool.space/signet/tx/59f269d035be5b42e61c0214c12645ace8a1ba3a829499859e853dc7d8fb6352

‍

المسار السعيد

في الحالة المثلى (حيث يكون المشغِّل نزيهًا)، يقدمون البيتكوين إلى المستخدم في pegout_tx ثم يستردون الأموال (دون منازع) في Happy_take_tx:

• pegout_tx: https://mempool.space/signet/tx/c3b7b647a09bacb02a1ba16e014b296f069883e18fa6ba6fe5ea6561639f9b54
• kick_off_tx: https://mempool.space/signet/tx/37d9cab98db5573c055e13ac280c0b7630c39d7e089ff4e96696c40c46c5a6f0
• happy_take_tx: https://mempool.space/signet/tx/f724e65d3bd9a414c8703453a94a9420c0a8f3a9349fe4ce7e51598c3381e5b8

‍

المسار غير السعيد (مع التحدي الناجح)

عندما يحاول أحد المشغلين استرداد البيتكوين دون إثبات ZK ناجح، يمكن للمُطالِب أن يقدم دحض_tx الذي يثبت ل BitVM أن تأكيد_tx كان غير صالح:

• pegout_tx: https://mempool.space/signet/tx/c14d8afa983d25a20d9576c139b867ec5eb75bfdeb22fcb0e2b278d8f2fc1b41
• kick_off_tx: https://mempool.space/signet/tx/9d023f3fc45b60ec3a5fa96cf7bf0c456f4d949bae4600efe2f45880579f65da
• challenge_tx: https://mempool.space/signet/tx/9420c8076c0bf642be39dc88ca632a90594c8303e9447085bdf3eb312d50352e
• assert_tx: https://mempool.space/signet/tx/dcb324e02f617fe511dec49b0cebce34fc9da31522e183791f7405d4bc265767
• disprove_tx: https://mempool.space/signet/tx/014f501fca5545ac8a17d8e5f9af3817b814a27aa2ef4ea10a76a4363a685d07

‍

المسار غير السعيد (مع التحدي غير الناجح)

إذا تم الاعتراض على المشغل في حالة وجود ربط صحيح فإنه يقدم تأكيدًا_tx لا يمكن دحضه. ثم يستعيدون الأموال في unhappy_take_tx غير سعيد:

• pegout_tx: https://mempool.space/signet/tx/d9d00da9633febfd7ab551267782a747eaef0547faf437e3e06ecf57012ca6e6
• kick_off_tx: https://mempool.space/signet/tx/63d86bc55ee8005d698bb8a9b77cac177e947d9a6ad23b23371216df7def7984
• challenge_tx: https://mempool.space/signet/tx/47e90712093d7e5360fb8cf877ee190a6d4a4406597dda497aac5d799a42fdb2
• assert_tx: https://mempool.space/signet/tx/75786e0ea56e942439eedcc140acafb1682b32bb958062b780ef851039da586b
• unhappy_take_tx: https://mempool.space/signet/tx/8a6d87b634713f2038f0cf795f4bd4574af052ebecd6d01e8cfc2d8532369404

‍

خطوات التطوير التالية

لا يزال النموذج الأولي الحالي يعاني من بعض القيود، حيث لا يزال قيد التطوير. الخطوات التالية المؤدية إلى إصدار شبكة اختبار ما قبل الإطلاق:

‍

• أضف عمليات التحقق من نهائية البيتكوين عبر Babylon، بما في ذلك عميل ZK الخفيف للتحقق من ذلك بشكل صحيح على البيتكوين.
• التكامل مع BOB Bridge و Stake لتحسين تجربة المستخدم، وإخفاء التعقيدات عن المستخدمين.
• هناك بعض القيود العملية على نشر بعض الالتزامات على السلسلة بسبب قيود الحجم (على سبيل المثال، يفتقر تأكيد tx حاليًا إلى التزامات البيانات). نحن نبحث في هذا الأمر مع Fiamma.
• ضبط الاقتصاديات لضمان حصول المشغلين على أجور عادلة وتحفيزهم على تشغيل جسر BitVM.

‍