التعقيد الفني والتحديات في استكشاف الحل التراكمي للطبقة الثانية من Bitcoin

المؤلف: هاوتيان، باحث مستقل المصدر: X، @tmel0211

لقد انتقلت Ethereum من Plasma إلى Validium إلى Rollup السائد، وانتقلت Bitcoin من السلاسل الجانبية إلى القنوات الحكومية إلى التحقق من العميل. تبحث الطبقة الثانية بشكل أساسي عن مجموعة من الميزات التي تأخذ في الاعتبار الأمان، قابلية التوسع واللامركزية حل المقايضة المركزية. بناءً على ذلك، قمت بمقارنة ZK-Rollup مع حل @BsquaredNetwork الذي تمت مناقشته مؤخرًا، وناقشت الاختلافات والتعقيد في طبقة Bitcoin 2 من حيث التنفيذ الفني مثل تنفيذ DA وقابلية التشغيل البيني والتحديات الأمنية.

من أجل عمل مرجع سنوي أفضل، يمكنك أولاً "تحديد" مجموعة من العلاقات المتناظرة بشكل غامض:

ETH Plasma = قناة حالة BTC؛ ETH Validium = BTC Sidechain؛ ETH Rollup = التحقق من عميل BTC.

ليس من الصعب أن نرىأن Ethereum Plasma يتوافق مع شبكة Lightning Network البيئية الخاصة بالبيتكوين ويرث أمان BTC ومع ذلك، فإن عقد HTLC يقتصر حاليًا على اتجاه المدفوعات الصغيرة؛ يتوافق Ethereum Validium مع السلسلة الجانبية لنظام Bitcoin البيئي، وقابليته للتوسع قوية جدًا، لكن الإجماع المستقل يجعله غير معترف به دائمًا من قبل الاتجاه السائد؛ أميل إلى التوافق مع Ethereum Rollup، حيث سيتم تقييم ميزات التحقق من العميل والأمن وقابلية التوسع واللامركزية لنظام Bitcoin البيئي بشكل شامل، ولهذا السبب أصبح Ethereum Rollup مسارًا أساسيًا رئيسيًا.

باتباع فكرة Ethereum ZK-Rollup، نستخدم التحقق من عميل Bitcoin كاختراق. كيفية بناء حل Bitcoin Layer2 Rollup؟ خذ @BsquaredNetwork كمثال للمناقشة:

1) جزء التحقق من العميل:

في في مجموعة Ethereum ZK-Rollup الكاملة، تتضمن الروابط خارج السلسلة معاملات تجميع وتجميع Sequencer، والتي ستنشئ أدلة ZK SNARK وأشجار Merkle والحزم الأخرى ومزامنتها مع شبكة Calldata الرئيسية، ثم سيتم التحقق من أدلة ZK SNARK. خارج السلسلة بواسطة نظام Prover. قم بتحميل فرق الحالة النهائية إلى الشبكة الرئيسية. تجمع الشبكة الرئيسية بين جذر الحالة وبيانات الكتلة في Calldata للتحقق من سلامة البيانات واتساقها، وأخيرًا تكمل تأكيد الحالة النهائية.

يتضمن جزء العميل من Bsquare بشكل أساسي طبقة التجميع وطبقة DA. يكون سير عمل طبقة التجميع تقريبًا كما يلي: يقوم جهاز التسلسل بجمع المعاملات المجمعة، و يقوم بمزامنتها أولاً. انتقل إلى بيئة التخزين اللامركزية، ثم قم بإنشاء الدليل من خلال zkEVM. وفي الوقت نفسه، يتم تلخيص البيانات الأولية للمعاملة وشجرة Merkle وحالة Bitcoin والبيانات الأخرى في مجمع وإثبات ومزامنتها مع العقد B² للعقد. طبقة دا.

هناك اختلافان في العملية. من ناحية، تحتاج Bitcoin إلى مزامنة بيانات TX الأصلية مع بيئة تخزين لامركزية، بينما يتم تعيين zk-Rollup افتراضيًا على البيئة المحلية والتخزين؛ من ناحية أخرى، يمكن لـ Ethereum مزامنة ملخص البيانات مباشرة مع بيانات الاتصال للشبكة الرئيسية، ولكن شبكة Bitcoin الرئيسية لديها مساحة تخزين محدودة وتفتقر إلى إمكانات التحقق، لذلك يقوم Bsquare بمزامنة هذه البيانات مع B²nodes في بيئة العميل.

2) جزء توفر البيانات

في نظام Ethereum، تأتي الشبكة الرئيسية إلى Rollup تقوم السلسلة بمخرجات قدرة DA. الغرض التشغيلي من Rollup لمزامنة البيانات مع Calldata هو إمكانية التحقق من DA للشبكة الرئيسية. نظرًا لأن شبكة Bitcoin الرئيسية لا تتمتع بقدرات التحقق، فإن وظيفة DA تتحملها طبقة DA المضمنة في العميل بيئة.

بعد تلقي هذا الجزء من بيانات ملخص التجميع، ستقوم العقد B² في طبقة DA بإجراء عملية تجميع الدائرة، وضغط البيانات وتحميلها إلى البتات في النموذج of Inscription.Coin الشبكة الرئيسية. في الوقت نفسه، ستقوم B²nodes أيضًا بتشغيل نظام Prover لإجراء التحقق اللامركزي من شهادة ZK لإنشاء التزام التزام Bitcoin، والذي سيتم إدراجه مع البيانات المجمعة مثل Rollupdata.

سيظهر هنا سؤالان:

1. لماذا لا تستخدم سيليستيا مباشرة؟ سؤال ثالث -يختار DA-party إنشائه بنفسه. ويتم تحديد ذلك من خلال خصوصية نظام Bitcoin البيئي. يجب أن تكون B²node مجهزة بفهرس لإجراء تحليل لامركزي وفهرسة النقوش المنقوشة على شبكة Bitcoin الرئيسية، وفي نفس الوقت قم بإنشاء تحميل التزام اجتماع إثبات ZK على الشبكة الرئيسية في النموذج.عند نقش النقش، يجب تجميع البيانات مسبقًا وضغطها بواسطة دائرة الدائرة لضمان تقليل احتلال مساحة تخزين الشبكة الرئيسية.

2. نظرًا لأن DA لا يتم توفيره بواسطة الشبكة الرئيسية، فلماذا يجب مزامنة جميع أنواع البيانات المجمعة مع الشبكة الرئيسية في شكل نقوش؟ في الواقع للاحتفاظ بالبيانات على الشبكة الرئيسية، وتوفر سجلات المعاملات التي لا يمكن التلاعب بها الأساس لعملية التحدي اللاحقة.

3) جزء التحدي

في ZK-Rollup، يمكن لعقد الشبكة الرئيسية التراكمي يتم ضمان سلامة واتساق المعاملات من خلال التحقق الثانوي من البيانات المجمعة في Calldata وState diff التي تم تحميلها على الشبكة الرئيسية بواسطة Prover، وهذه هي إمكانية التحقق من الشبكة الرئيسية وميزة تقنية ZK.

ومع ذلك، في بيئة Bitcoin Rollup، نظرًا لعدم وجود إمكانات التحقق على الشبكة الرئيسية، يكمن جوهر قيمة تقنية ZK في الضغط المختصر من بيانات SNARKs مع ضمان الاتساق. هناك احتيال في البيانات في عملية معاملة جمع التسلسل في البيئة. البيانات الموجودة في السلسلة بأكملها خاطئة. لا يمكن لتأكيد الحالة النهائية رفض البيانات الاحتيالية. لذلك، يجب تصميم آلية للطعن في "الخطأ" " سلوك.

كيف نفعل ذلك؟ إذا نظرت مرة أخرى إلى مقالتي حول BitVM، ستعرف أن BitVM

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

ستعمل آلية التحدي على قفل BTC في الشبكة الرئيسية UTXO. بمجرد أن يتحدى المستخدم سلسلة الطبقة 2 في شكل BitVM، يمكنه إزالة BTC المقفلة مقدما أصول الشبكة الرئيسية للعملة. النقوش التي تم حرقها على شبكة Bitcoin الرئيسية وعقد B² المفتوحة والشفافة والبيانات الأولية الأخرى وأشجار Merkle والتزامات الالتزام وما إلى ذلك ستصبح دليلاً للمستخدمين لبدء التحديات. بمجرد أن تثبت نتائج التحدي أن سلسلة من البيانات في B²nodes و توجد بيانات تسجيل مسجلة على الشبكة الرئيسية، نظرًا لمشكلة عدم الاتساق، لن تفقد عقد B²nodes الأصول المقفلة في شبكة UTXO الرئيسية فحسب، بل ستحتاج أيضًا إلى التراجع عن المعاملة وإعادة تحديث المفهرس والبيانات التاريخية.

ليس من الصعب أن نرى مما سبق أن حل تراكم الطبقة 2 لنظام Bitcoin البيئي يتمتع بقدر كبير من التعقيد الفني والخصوصية: على سبيل المثال، يجب أن يكون رابط التحقق من العميل أن يعتمد على التخزين اللامركزي، احتفظ بجميع البيانات التي تم إنشاؤها بواسطة Sequencer من أجل ضمان إمكانية تتبع البيانات؛ على سبيل المثال، يحتاج رابط DA إلى بناء نظام لا مركزي للتحقق من البيانات في بيئة خارج السلسلة، وضمان اتساق بيانات DA من خلال التزامات الالتزام وحرق النقوش.; مثال آخر هو أنه حتى لو تم اعتماد تقنية ZK، فلا بد من تجهيز آلية تحدي مفتوحة وشفافة لضمان الأمن؛ يجب أن تزن العملية برمتها مجموعة من ثلاثة تناقضات: اللامركزية، والأمن، وقابلية التوسع للوصول إلى حل عادل.

الإجابة على النموذج الأولي للاستكشاف واضحة: نظرًا لأنه لا يمكن التحقق من شبكة Bitcoin الرئيسية ولا يمكن أن تكون DA، فاستخدم النقوش لنسخ مجموعة DA+ مقيدة استنادًا إلى BitVM إلى الشبكة الرئيسية، فإن اكتمال تورينج للدائرة يتحدى النظام لتحقيق الشفافية والأمان لسلسلة التجميع. استخدم تقنية ZK + نظام التحدي BitVM للتعويض عن نقص قدرات DA والتحقق من Bitcoin.

نظرًا لأن Ethereum Rollup يحتوي أيضًا على مخاطر مخفية في إدارة العقود متعددة التوقيع حيث يمكن تحديث عقد Rollup، ولا يمكن ضمان الأمان بنسبة 100٪، فإن ما يعتقده الجميع هو في الواقع، لا يمكن لمجموعة من آليات التفاعل التعاقدي الشفافة والمفتوحة نسبيًا تحقيق أمان إجماع BTC المطلق.ما ينتظرنا هو آلية تحدي شفافة ومفتوحة تعتمد على BitVM.على الرغم من أن التنفيذ الفني معقد للغاية، إلا أن المنطق لا يبدو منطقيًا.

باختصار، إذا تم التعرف تدريجيًا على نموذج تقنية Bitcoin Layer 2 ZK + التحقق من العميل + نقش DA + تحدي BitVM من قبل السوق، فهل تعتقد أنه سيتم ذلك؟ هل أصبح نموذجًا جديدًا؟هل تم الإعلان عن مجموعة Bitcoin Layer2؟