jakiro
Yona هي الطبقة 2 (Rollup) مدعومة بواسطة SVM على Bitcoin.
في حين أن ورث أمن اقتصاديات Crypto الخاصة بـ Bitcoin ، فإن Yona يدرك القابلية للبرمجة الغنية وتوسيع التنفيذ غير المسبوق لبيتكوين وأصوله.
لتحقيق ذلك ، يقوم Yona بتنفيذ ربط ثنائي الاتجاه غير موثوق به بين BTC على Bitcoin و BTC على Yona ويمكنه الخروج من جانب واحد.نحن نسمي هذا الخطاف الأصلي يونا هوك الكنسي.
تتمثل ميزة التصميم الرئيسية في Yona في أنها تهدف إلى الانتقال من جسور TSS-MPC التقليدية إلى مواصفات الخطافات ثنائية الاتجاه-وهي آلية تعتمد بالكامل على البراهين التشفير وتوافق البيتكوين.بمعنى آخر ، لا يعتمد الخطاف المعياري ثنائي الاتجاه على أي إجماع خارجي.
ميزات السنانير لمواصفات L2
يجب أن يوفر Rollup القدرة على الدخول (الإيداع) والخروج (الانسحاب).
تعد الودائع والسحب من جانب واحد ضرورية لضمان مقاومة توافر ورقابة البيتكوين والأصول بالدولار.
في حين أن تنفيذ الودائع بسيط (يثبته SPV) ، فإن الخروج الأحادي الصحيح يتطلب عرضًا مباشرًا لصلاحيته على البيتكوين.
نقترح نهجًا أكثر عملية من شأنه أن يبني تدريجياً على البنية التحتية الاقتصادية للتشفير في Ethereum ، بهدف دمج أكبر قدر ممكن من أمان Bitcoin ليكون الأكثر دعمًا من قبل أولئك الذين يقبلونه.
السنانير المواصفات Bitcoin (BTC)
يتم تشغيل السنانير الأصلية BTC الخاصة بنا بواسطة الأمن التشفير الاقتصادي مع eigenlayer و BitVM.
يسمح BitVM بالتحقق من التنفيذ خارج السلسلة من Bitcoin ، ويمكن لأي شخص تقديم أدلة احتيال ومعاقبة البراهين.BITVM هو مصدر أمان التشفير لخطافات مواصفات YONA.
يوفر eigenlayer الوصول إلى قاعدة رأس المال Ethereum ومجموعة التحقق من اللامركزية.eigenlayer هو مصدر الأمن الاقتصادي لروابط مواصفات yona.
مشغلي PEG YONA هي كيانات تساعد في تشغيل الوضع العادي للخطاف (أي الإيداع/استخراج BTC).يحتاج أي مشغل PEG إلى أداء دورين:
BITVM إعادة شحن/عقود السحب الطرف (لتشغيل الوضع العادي)
مشغل AVS (للخروج من جانب واحد)
يجب التأكيد على أن مشغل Yona PEG لن يكون قادرًا على الوصول إلى البيتكوين المودع غير المحمي بموجب عقود BITVM وأوامر أقل من أصول AVS Staking.
هناك العديد من مشغلي الارتباطات ، على الأقل يجب أن يكون أحدهم صادقين ، ولكن حتى في الحالات التي لا يكون فيها جميع المشغلين صادقين ، لا يمكنهم سرقة أي ودائع وفي أسوأ الأحوال لن يحرقوها فقط.
عندما يقوم المستخدمون بإيداع BTC في Sidechain ، يقومون بإنشاء عقد BITVM الانسحاب مع مشغل PEG.بعد إنشاء العقد ، يرسل المستخدم مباشرة UTXO إلى عنوان BITVM.يرجى ملاحظة أنه في أي وقت ، لا ينتمي هذا UTXO إلى مصحح.
عندما يقدم المستخدمون (ربما مختلف المستخدمون) دليلًا على السحب الصحيح من Yona ، فإنهم يستخدمون عقد السحب مرة أخرى (عقد جديد مع المشغل إذا لم يودعوا BTC إلى Yona).
في حالة حدوث رفض الخدمة أو المراجعة ، لن يكون مشغل PEG غير قادر أو غير راغب في إنشاء عقد BITVM.هذا هو المكان الذي يلعب فيه الأمن الاقتصادي لـ Eigenlayer.من ناحية ، لا يمكن للمشغلين سرقة البيتكوين المودعة ، لذلك لا توجد فائدة لرفض تقديم خدمات السحب.ولكن من الواضح أن هذا لا يكفي.لذلك ، نستخدم تخفيضات eignelayer لإدخال العيوب الرئيسية لرفض عمليات السحب.
إذا رفض مشغل PEG لسبب ما إنشاء عقد سحب ، فيمكن للمستخدم إرسال معاملة Bitcoin مع الطلب وإثبات عقدنا eigenlayer بأنه لم يتم إنشاء عقد السحب.هذا سوف يقطع مزايا المشغل.
وبالمثل ، في حالة الانسحاب الأحادي ، يجوز للانسحاب تقديم دليل على الانسحاب الصحيح من Yona.لدى مشغلي PEG ما يصل إلى كتل N لتقديم دليل على طلب السحب المكتمل.إذا لم يتم تقديم دليل ، فسيتم قطع المشغل على eigenlayer ويمكن للمستخدم سحب الأموال مباشرة من عقد BITVM.
مواصفات الاتفاق التعريفي لخطافات مزدوجة ، خروج من جانب واحد بدون ثقة
الابتكار الرئيسي الآخر هو أن Yona يمكنه تنفيذ جهاز Monoprotocol الذي لا يثق في البيتكوين بدون موثوق به تمامًا ولا يعتمد على الأمن الاقتصادي.
استخدم Metaprotocols (مثل BRC-20) Bitcoin لتسجيل البيانات واستخدام فهرس خارج السلسلة للتحقق بشكل مستقل معاملات metaprotocol.هذا يسمح ببناء رولب فعال وبدون موثوق به كطبقة سريعة للبرمجة من metaprotocol.
الفرق الرئيسي بين Rollup و Sidechains هو أن Rollup يسمح بمخارج من جانب واحد بدون ثقة: يمكن للمستخدمين استخراج BRC-20 من Rollup من خلال تنفيذ معاملات Bitcoin دون الحاجة إلى مشاركة أطراف ثالثة (مثل عمليات Rollup ، أو المدققات ، أو الجسور)).
بعد ذلك سوف نركز على حالات استخدام BRC-20.
آلية التثبيت هي كما يلي:
لدخول Rollup ، يحتاج المستخدمون إلى “تدمير” BRC-20 على Bitcoin L1 ، وإثبات التدمير لعقد Rollup الذكي (عبر عميل Bitcoin ZK Light) ، ويمكنهم النعز نفس النقش على L2.يمكن تحقيق التدمير على L1 عن طريق إرسال معاملة “نقل” إلى نص “OP_RETURN” الذي لا يحتوي على أي بيانات.
للخروج من الملخص ، يحتاج المستخدمون إلى “حرق” BRC-20 على L2 و “Mint” على Bitcoin L1 مع إثبات ZK من الانسحاب الصحيح.
يشمل إثبات الخروج الصحيح من ZK:
الالتزام بالمدخلات في معاملات الانسحاب L2 وجذر Merkle لشجرة حالة Rollup
قام ZKVM من Rollup بإجراء الحساب بشكل صحيح ويكون رصيد BRC20 الناتج أكبر من أو يساوي مبلغ الانسحاب
لا يوجد انتهاك لإجمالي الإمداد الثابت (أي إجمالي العرض من BRC20 = BTC Supply + L2 Supply + المبلغ الذي يتم سحبه)
لا يمكن لشبكة Bitcoin نفسها التحقق من أدلة المعرفة الصفرية لأن البرنامج النصي Bitcoin لا يحتوي على الرموز المفصلية اللازمة.ومع ذلك ، نظرًا لأن المفهرس يمكنه إجراء التحقق ، فهذا ليس ضروريًا.اعتمد BRC-20 على مؤشر خارج السلسلة لإعادة بناء رصيد BRC-20 ، والشيء الوحيد الذي عليك القيام به هو دعم إثبات التحقق من معاملات الانسحاب على المؤشر.
إذا لم يكن L2 متاحًا ، فلا يوجد دليل على نبضات القلب على طبقة DA لفترة معينة (على سبيل المثال 5 أيام) ، مما يسمح للمستخدم بالانسحاب أحادي الجانب عن طريق إرسال معاملة Bitcoin ، أي يمكن لـ BRC20 BRC20 معالجة عمليات السحب بدون انسحاب L2 عملية.
إذا بدأ L2 في مراجعة عمليات السحب ، يمكن للمستخدمين بدء عمليات السحب عن طريق إرسال معاملات Bitcoin مع طلبات السحب.لدى المشغل المرتبط L2 24 ساعة لأداء السحب وتقديم البراهين.إذا لم يحدث هذا ، يمكن للمستخدم إرسال الدليل التالي:
طلب الانسحاب من جانب واحد من خلال معاملة البيتكوين
لم يتم التعامل مع الانسحاب من جانب واحد في الوقت المناسب
هناك رصيد متميز لـ BRC20 ليتم سحبه
من خلال التحقق من هذا الدليل ، يقوم مؤشر BRC20 خارج السلسلة بإرجاع الملكية دون التحقق من معاملة انسحاب L2.
لذا فإن Yona هو أول L2 يقدم أصول Bitcoin Dollar غير موثوقة تمامًا.
