المصدر: مجلة بيتكوين ؛ الترجمة: Wu Zhu ، Jinse Finance

أصبحت عمليات التجميع مؤخرا محور تحجيم BTC ، لتصبح أول شيء "يسرق العرض" حقا من شبكة الإضاءة من حيث الاهتمام الأوسع. تم تصميم التراكمات لتكون طبقة ثانية لا تخضع لقيود أو قيود شبكة الإضاءة الأساسية السيولة، أي أن المستخدم النهائي يحتاج إلى شخص ما لتخصيص (أو "إقراض") الأموال مقدما من أجل تلقي الأموال، أو يحتاج المسار الوسيط إلى رصيد قناة لتسهيل التدفق الكامل لمبلغ الدفع من المرسل إلى المستلم.

هذه الأنظمة كانت في البداية تعمل على شبكة الايثيريوم وغيرها من الأنظمة اكتملت الجولة، ولكن الاهتمام تحول مؤخرًا إلى نقلها إلى سلسلة كتل مبنية على UTXO (مثل BTC). لا يهدف هذا المقال إلى مناقشة الوضع الحالي للتنفيذ على BTC، بل يناقش القدرات المثلى لرول اب التي يسعى الناس إليها على المدى الطويل، والتي تعتمد على قدرة BTC الحالية المفقودة، أي القدرة على التحقق من الدليل بدون معرفة (ZKP) مباشرة على BTC.

تتكون البنية الأساسية لـ Roll على النحو التالي: يحتفظ حساب واحد (UTXO في BTC) بأرصدة جميع المستخدمين في Rollup. يتضمن هذا UTXO التزامًا يوجد على شكل جذر Merkle لشجرة Merkle ويتعهد بجميع الأرصدة الحالية في Rollup. تتم ترخيص جميع هذه الحسابات باستخدام المفتاح العام / المفتاح الخاص، لذلك يتعين على المستخدمين استخدام المفتاح السري لتوقيع بعض المحتويات من أجل القيام بالمصروفات خارج السلسلة. تتيح هذه الجزء من البنية للمستخدمين الخروج في أي وقت دون حاجة إلى إذن، حيث يمكنهم الخروج من Rollup بشكل منفرد فقط من خلال عرض إثبات تدل على أن حسابهم هو جزء من شجرة Merkle، دون الحاجة إلى إذن المشغّل.

يجب على مشغلي ال Rollup تضمين ZKP في المعاملة لتحديث رصيد الحساب داخل السلسلة خلال عملية إتمام المعاملة خارج السلسلة، وإذا لم يكن هناك ZKP، فإن المعاملة ستكون غير صالحة وبالتالي لا يمكن تضمينها في سلسلة الكتل. يسمح هذا البرهان للأشخاص بالتحقق مما إذا كانت جميع التغييرات على رصيد الحساب خارج السلسلة تمت بتفويض مناسب من صاحب الحساب، ومما إذا كان المشغل لم يقم بتحديث الرصيد بشكل خبيث لسرقة أموال المستخدمين أو إعادة توزيعها بشكل غير صادق إلى مستخدمين آخرين.

المشكلة هي إذا تم نشر جذر شجرة Merkle فقط في السلسلة، كيف يمكن للمستخدمين وضع فروعهم في الشجرة ليتمكنوا من الخروج في أي وقت دون الحاجة إلى إذن؟

Rollup مناسب

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

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

بهذه الطريقة، يمكن توفير الكثير من التكاليف ومساحة الكتلة (وبالتالي توفير الأموال)، مع السماح للمستخدمين بضمان الوصول إلى المعلومات المطلوبة للخروج من جانب واحد. تتطلب قواعد rollup تضمين هذه البيانات في ال rollup الرسمي الذي يتم توفيره من خلال سلسلة الكتل للمستخدمين، ويعتبر الصفقات التي لا تتضمن ملخصًا للحساب أو الفروقات بين الحسابات صفقات غير صالحة.

صلاحية

طريقة أخرى للتعامل مع مشكلة توافر بيانات السحب من المستخدم هي وضع البيانات في مكان آخر خارج سلسلة الكتل. هذا يؤدي إلى مشاكل دقيقة ، حيث يجب على rollup التأكد من توافر البيانات في هذا المكان الآخر. تُستخدم سلسلة الكتل الأخرى تقليديًا لهذا الغرض ، والتي تم تصميمها خصيصًا لتكون طبقة توافر البيانات لأنظمة مثل rollup.

هذا يخلق نفس المصاعب قوية الأمان. عندما يتم نشر البيانات مباشرة على سلسلة بيتكوين، يمكن لقواعد الإجماع ضمان صحتها تماما. ومع ذلك، عندما يتم نشرها على نظام خارجي، فإن أفضل ما يمكنها فعله هو التحقق من إثبات SPV، أي أن البيانات تم نشرها على نظام آخر.

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

هذا فتح باب الاعتداءات على الاحتجازات البيانات، أي خلق التزامات بنشر البيانات واستخدامها لتعزيز rollup، لكن البيانات في الواقع غير متاحة. وهذا يؤدي إلى عدم قدرة المستخدمين على سحب الأموال. الحل الوحيد الحقيقي هو الاعتماد تمامًا على قيمة وهيكل التحفيز خارج BTC.

التراجع والتقدم الممتزج

هذا يجلب معه ارتباكًا لل rollup. عندما يتعلق الأمر بمشكلة توافر البيانات، فإن هناك اختيار ثنائي أساسي بين نشر البيانات على سلسلة الكتل BTC أو في مكان آخر تمامًا. هذا الاختيار له تأثير كبير على أمان rollup وسيادته وقابليته للتوسيع.

من جهة، استخدام بيتكوين كتلة كطبقة لتوافر البيانات سيضع حدًا صلبًا لقابلية توسيع rollup. الفضاء الكتلي محدود، وهذا يحدد الحد الأقصى لعدد ال rollup القابلة للوجود في وقت واحد وإجمالي عدد المعاملات التي يمكن لجميع rollup معالجتها خارج السلسلة. كل تحديث rollup يتطلب مساحة كتلية تناسب عدد الحسابات التي تغيرت رصيدها منذ آخر تحديث. نظريّة المعلومات تسمح فقط بضغط البيانات إلى درجة معينة، وفي هذه النقطة، لا يوجد مزيد من إمكانية التوسيع.

من ناحية أخرى، يمكن أن يزيل استخدام طبقات مختلفة لتحقيق قابلية توفر البيانات الفوائد القابلة للتوسعة الحد الأقصى الصلب، لكنه يجلب أيضًا قضايا أمنية وسيادية جديدة. في Rollup الذي يستخدم BTC لتحقيق قابلية توفر البيانات، فإن حالة Rollup لا يمكن أن تتغير إذا لم يتم نشر البيانات التي يحتاجها المستخدم يدويًا على سلسلة الكتل. باستخدام Validiums، يعتمد هذا الضمان تمامًا على قدرة النظام الخارجي الذي يستخدم على صد الغش وإخفاء البيانات.

الآن ، يمكن لأي منتج للكتلة على نظام توافر البيانات الخارجي أن يختطف أموال مستخدمي BTCRollup عن طريق إنتاج كتلة بدلاً من بث الكتلة الفعلية ، وبالتالي جعل البيانات متاحة.

إذا تمكنا حقًا من تحقيق تنفيذ Rollup المثالي على BTC وتحقيق سحب المستخدم من جهة واحدة ، فما هو؟