أسرع مجموعة ZK على البيتكوين

Yona عبارة عن طبقة 2 (تراكمية) مدعومة بـ SVM على Bitcoin.

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

من أجل تحقيق هذا الهدف، نفذت Yona ربطًا ثنائيًا غير موثوق به بين BTC على Bitcoin وBTC على Yona، مع خروج أحادي الجانب. نحن نسمي هذا الخطاف الأصلي لـ Yona بالخطاف الأساسي.

الميزة الرئيسية للتصميم في Yona هي أنه يهدف إلى الانتقال من جسر مشترك تقليدي TSS-MPC إلى خطاف أساسي ثنائي الاتجاه - وهو جسر يعتمد كليًا على البراهين التشفيرية وآلية إجماع البيتكوين. بمعنى آخر، لا يعتمد ربط المواصفات ثنائي الاتجاه على أي إجماع خارجي.

خصائص خطافات مواصفات L2

يجب أن توفر القيمة المجمعة إدخالاً (إيداعًا) وخروجًا من جانب واحد ( القدرة على الانسحاب).

تعد عمليات الإيداع والسحب من جانب واحد أمرًا بالغ الأهمية لضمان توافر البيتكوين والأصول الوصفية ومقاومتها للرقابة.

على الرغم من أن تنفيذ الودائع بسيط (تم إثباته عبر SPV)، إلا أن الخروج المناسب من جانب واحد يتطلب إثبات الصلاحية مباشرة على Bitcoin.

نحن نقترح نهجًا أكثر عملية يعتمد تدريجيًا على البنية التحتية الحالية للاقتصاد المشفر لـ Ethereum ويهدف إلى دمجها تدريجيًا في أكبر قدر ممكن من أمان Bitcoin من أجل أن تكون مقبولة من قبل معظم مؤيدي البيتكوين.

الربط المعياري لعملة البيتكوين (BTC)

يربط BTC الأصلي أمان التشفير الاقتصادي جنبًا إلى جنب مع الدعم الجنسي من EigenLayer وBitVM.

يسمح BitVM بتنفيذ عملة Bitcoin التي تم التحقق منها خارج السلسلة، مما يسمح لأي شخص بإجراء إثباتات الاحتيال ومعاقبة المُثبتين. يعد BitVM مصدرًا آمنًا للتشفير لخطافات مواصفات Yona.

يوفر Eigenlayer إمكانية الوصول إلى قاعدة رأس مال Ethereum ومجموعة أدوات التحقق اللامركزية. Eigenlayer هو مصدر للأمن الاقتصادي مرتبط بمواصفات يونا.

Yona Peg Operator هو الكيان الذي يساعد في تنظيم تشغيل الوضع العادي للربط (أي إيداع/سحب BTC). يحتاج أي مشغل Peg إلى أداء دورين:

الطرف المقابل لعقد الإيداع/السحب في BitVM (لعمليات الوضع العادي)

مشغل AVS (للخروج من جانب واحد)

من المهم التأكيد على أنه لا يمكن أبدًا الوصول إلى مشغل Yona Peg خارج إيداع عقد BitVM Bitcoin محمية وقيمتها أقل من أصول AVS.

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

عندما يقوم المستخدم بإيداع BTC في السلسلة الجانبية، فإنه ينشئ عقد سحب BitVM مع مشغل Peg. بعد إنشاء العقد، يرسل المستخدم مباشرة UTXO إلى عنوان BitVM. لاحظ أن UTXO هذا لا ينتمي في أي وقت من الأوقات إلى المُمثل.

عندما يقدم مستخدم (ربما مستخدم مختلف) دليلاً على سحب صالح من Yona، فسوف يستخدم عقد السحب مرة أخرى (إذا لم يقم بالإيداع في Yona إذا قمت بإيداع BTC، فسيتم إنشاء عقد جديد مع المشغل).

في حالة رفض الخدمة أو الرقابة، لن يتمكن مشغلو Peg من إنشاء عقود BitVM أو لن يرغبوا في ذلك. هذا هو المكان الذي يلعب فيه الأمن الاقتصادي لـ EigenLayer. فمن ناحية، لا يستطيع المشغلون سرقة عملات البيتكوين المودعة، لذلك ليس هناك فائدة من رفض خدمات السحب. ولكن من الواضح أن هذا لا يكفي. ولذلك، فإننا نستخدم تخفيضات EigneLayer لتقديم العيب الكبير المتمثل في رفض عمليات السحب.

إذا رفض مشغل الربط لسبب ما إنشاء عقد سحب، فيمكن للمستخدم إرسال معاملة Bitcoin مع طلب إلى عقد EigenLayer الخاص بنا لإثبات أن عقد السحب لم يتم إنشاؤه. سيؤدي هذا إلى خفض أرباح المشغل.

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

يحدد البروتوكول التعريفي الخطافات المزدوجة والخروج الأحادي بدون ثقة

الابتكار الرئيسي الآخر هو أن يونا تتيح بروتوكول Bitcoin Meta غير موثوق به تمامًا ومنظم تشفيرًا بحتًا ولا يعتمد على الأمن الاقتصادي.

تستخدم البروتوكولات التعريفية (مثل BRC-20) البيتكوين لتسجيل البيانات واستخدام مفهرسات خارج السلسلة للتحقق بشكل مستقل من معاملات البروتوكول التعريفي. يتيح ذلك إنشاء مجموعة تراكمية فعالة وغير موثوقة كطبقة سريعة قابلة للبرمجة للبروتوكولات التعريفية.

الفرق الرئيسي بين Rollup وsidechain هو أن Rollup يسمح بخروج أحادي غير موثوق به: يمكن للمستخدمين سحب عملاتهم المعدنية من Rollup عن طريق تنفيذ معاملة Bitcoin التي لا يتطلبها BRC-20. مشاركة طرف ثالث (مثل عمليات التجميع أو أدوات التحقق من الصحة أو الجسور).

سنركز بعد ذلك على حالة استخدام BRC-20.

آلية الربط هي كما يلي:

للدخول إلى المجموعة المحتسبة، يحتاج المستخدمون إلى " "تدمير" BRC-20، وإثبات تدمير العقد الذكي الخاص بالتراكم (عبر عميل Bitcoin ZK الخفيف)، ويمكن سك نفس النقش على L2. يمكن تحقيق التدمير على L1 عن طريق إرسال معاملة "TRANSFER" إلى البرنامج النصي "OP_RETURN" الذي لا يحتوي على أية بيانات.

للخروج من المجموعة، يحتاج المستخدمون إلى "حرق" BRC-20 على L2 و"نسخها" على Bitcoin L1 مع إثبات ZK لعمليات السحب الصالحة.

يتضمن إثبات ZK للخروج الفعال ما يلي:

إدخال وتجميع معاملة السحب L2 التزام جذر Merkle لشجرة الحالة

أجرى zkVM الخاص بالتجميع العملية الحسابية بشكل صحيح وأصبح رصيد BRC20 الناتج أكبر من أو يساوي مبلغ السحب

< p style="text-align: left;">لا ينتهك إجمالي العرض الثابت (أي إجمالي العرض لـ BRC20 = عرض BTC + عرض L2 + المبلغ المطلوب سحبه)

لا تستطيع شبكة Bitcoin نفسها التحقق من إثباتات المعرفة الصفرية لأن نصوص Bitcoin لا تحتوي على أكواد التشغيل الضرورية. ومع ذلك، بما أن المفهرس يمكنه إجراء التحقق من الصحة، فهذا غير مطلوب. يعتمد BRC-20 بالفعل على مفهارس خارج السلسلة لإعادة بناء أرصدة BRC-20، والشيء الوحيد الذي يجب القيام به هو دعم التحقق من إثبات الخروج لمعاملات السحب على المفهرس.

إذا كان L2 غير متاح، فإن إثبات عدم وجود نبضات قلب على طبقة DA لفترة زمنية معينة (مثل 5 أيام) يسمح للمستخدمين بسحب الأموال من جانب واحد عن طريق إرسال معاملة Bitcoin، أي أن مفهرس BRC20 خارج السلسلة يمكنه معالجة عمليات السحب دون معاملات سحب L2.

إذا بدأ L2 بمراقبة السحب، فيمكن للمستخدم بدء السحب عن طريق إرسال معاملة Bitcoin مع طلب سحب. لدى مشغلي ربط L2 24 ساعة لتنفيذ السحب وتقديم الدليل. إذا لم يحدث ذلك، فيمكن للمستخدم تقديم الإثبات التالي:

طلب سحب أحادي الجانب عبر معاملة Bitcoin

السحب من جانب واحد L2 إذا لم تتم معالجته في الوقت المناسب

إذا كان لديك رصيد مستحق صالح لـ BRC20، فيمكنك سحبه

من خلال التحقق من هذا الإثبات، يمكن لمفهرس BRC20 خارج السلسلة إرجاع الملكية دون التحقق من معاملات سحب L2.

على هذا النحو، فإن Yona هي أول لغة L2 تقدم ربطًا غير موثوق به لأصول Bitcoin التعريفية.