عند رؤية شبكة GOAT تطلق شبكة الاختبار الخاصة بها بناء على تقنية BitVM2 ، فإن أحد التطبيقات يستحق الانتباه إليه: مجموعة أدوات إثبات Bitcoin ZK في الوقت الفعلي. يعد تمكين براهين ZK Rollup السريعة تطورا مهما للبنية التحتية ل BTC L2. من منظور تجربة المستخدم ، سيتم تحسين وقت الاستخراج بشكل كبير مقارنة بالسابق ، مما يساعد على جذب المزيد من المطورين للانضمام وانتباه المستخدم. لذا ، كيف نفهمها من الناحية الفنية ببساطة؟ أولا ، دعنا نلقي نظرة على عملية تنفيذ Bitcoin L2 على شبكة الماعز. شبكة GOAT هي حل قائم على Bitcoin L2 يستخدم تقنية BitVM2 و zkMIPS لدعم عوائد BTC الأصلية (على سبيل المثال ، يتمتع المشاركون بفرصة كسب المزيد من BTC). تشمل عملياتها بشكل أساسي Bridge in و Bridge out و Sequencer Set Commitment و Reimbersement. يدور التجسير بشكل أساسي حول تكديس BTC في برنامج نصي رئيسي (لا أحد يتحكم في المفتاح الخاص) ، وتقوم إعادة الطبقة بإرساله إلى عقد Goat. تقوم اللجنة ببناء تدفق معاملات BitVM2 ، ويقوم المشغل بالتوقيع المسبق وموجودة IPFS ، وبعد التحقق من المستخدم ، تصدر إعادة التصنيف PegBTC على L2. الجسر هو السحب ، يقوم المستخدم بإجراء معاملات ذرية مع المشغل (يمكن للمستخدم أيضا أن يكون المشغل ، إذا لم يرغب في ذلك ، يمكنه إكمال السحب من خلال المشغل) ، وتدمير PegBTC على L2 ، ويبدأ المشغل عملية السداد ، دون الحاجة إلى إجراء معاملات Peg-OUT على سلسلة BTC الرئيسية. تشير التزامات التسلسل بشكل أساسي إلى استخدام اللجنة المنتظم لأشجار Merkle للالتزام بمجموعات التسلسل المستقبلية لدعم التحقق من آلية العميل الخفيف في Bitcoin. يتم استخدام مجموعة المدققين الملتزمين ب BTC كمدخلات عامة للتحقق اللاحق من إثبات المعرفة الصفرية من خلال التحقق من آلية العميل الخفيف ، والذي يستخدم للتحقق من إجماع كتل L2. عملية السداد هي معرف المعاملة للمشغل الذي يشارك BTC ويقدم السحب وأحدث تجزئة للكتلة. يقوم المنافسون بإجراء التحقق خارج السلسلة وعلى السلسلة ، وإذا لم يكن هناك تحد ، يتلقى المشغل الأموال. يمكن للمنافسين أيضا اقتراح تحديات ، وبعد حدوث التحدي ، يتم إنشاء المدققين بشكل عشوائي يمكنهم إجراء التحقق التفاعلي من خلال نصوص Bitcoin. يتم تقصير فترة التحدي إلى حوالي يوم واحد (حوالي 144 كتلة BTC) ، مما يضغط على الوقت المطلوب للنهائية. بالإضافة إلى ذلك ، فإنه يستخدم جهاز تسلسل لامركزي ، ويشارك المشغلون في BTC للمشاركة ، وتولد رسوم الغاز L2 في النموذج الاقتصادي دخلا أصليا من BTC. دعنا نركز على دليل ZK Rollup في الوقت الفعلي ، دعنا نتحدث عن تقنية التجميع أولا. ستقوم شبكة GOAT بتجميع معاملات L2 متعددة على دفعات (دفعة) وتنفيذها خارج السلسلة لإنشاء دليل ZK ، والذي سيتم التحقق منه بواسطة سلسلة Bitcoin الرئيسية (التحقق من مرحلة Assert / Disprove الخاصة ب BitVM2 ، وما إلى ذلك) ، وميزة إثباتات ZK هي أنه ليست هناك حاجة لتحميل جميع تفاصيل المعاملة. بالإضافة إلى ذلك ، على عكس zksync أو Starknet من Ethereum ، يستخدم Goat آليات أصلية مثل نصوص Bitcoin Taproot لتثبيت تحديثات الحالة ، وتجنب الاعتماد على آليات التجسير الخارجية أو آليات التوقيع المتعدد. لذلك ، دعنا نلقي نظرة سريعة على تقنية Zk Rollup الخاصة بها ثم نلقي نظرة على آلية الإثبات في الوقت الفعلي. وفقا لوثائق شبكة GOAT ، يستخدم توليد الإثبات في الوقت الفعلي محرك zkMIPS لتحقيق توليد دليل سريع من خلال بنية إثبات متوازية لخطوط الأنابيب + شبكة GPU الموزعة. أولا ، يستخدم إنشاء دليل الكتلة تجزئة مسار التنفيذ وتقنية الإثبات المتوازي للتحقق مما إذا كان انتقال حالة التجميع صحيحا أم لا. والثاني هو إثبات التجميع ، والذي يضغط بشكل متكرر براهين كتلة متعددة ؛ أخيرا ، هناك براهين SNARK (Groth16) ، والتي يتم ضغطها في إثباتات صغيرة الحجم يمكن التحقق منها على BitVM2. من أجل تحقيق البراهين في الوقت الفعلي ، لا تتم معالجة إنشاء الإثبات المذكور أعلاه بطريقة أحادية السطر ، ولكنه يعتمد آلية معالجة متوازية عبر الأنابيب ، تعتمد بشكل أساسي على تقنية zkVM "Ziren" من ZKM للتنفيذ ، إلى جانب تسريع GPU وشبكة prover الموزعة ، وفقا لبيانات الموقع الرسمي الحالية لشبكة الاختبار الخاصة بها ، يبلغ متوسط إثباتات الكتلة حوالي 2.6 ثانية ، ومتوسط إثباتات التجميع 2.7 ثانية ، وبراهين SNARK حوالي 10.38 ثانية. يمكن للمستخدمين عرض عملية إنشاء إثبات ZK الكاملة لكل عملية سحب في الوقت الفعلي من خلال صفحة الواجهة الأمامية. إذا كان من الممكن إكمال إثبات ZK في أقل من 1 دقيقة ، فهذا يعني أنه سيتم تسريع سرعة عمليات سحب المستخدم بشكل كبير ، وتحتاج بعض عمليات سحب شبكة Bitcoin L2 السابقة إلى الانتظار لعدة ساعات حتى يتم البدء. بالطبع ، يعتمد وقت الوصول النهائي للمستخدمين أيضا على حالة معاملة شبكة Bitcoin الرئيسية. ومع ذلك ، فيما يتعلق بعمليات السحب ، ليست هناك حاجة للانتظار ، أي أن عمليات السحب الخاصة بهم قريبة بشكل أساسي من التجربة الزمنية لبدء معاملة على سلسلة Bitcoin. بالإضافة إلى عمليات السحب ، ستشجع البراهين في الوقت الفعلي أيضا المطورين على إنشاء تطبيقات L2 عالية التردد ، كما أنها متوافقة مع EVM ، والتي يمكن أن تجذب أيضا المطورين في نظام Ethereum البيئي. بالنسبة للمشغلين ، ليست هناك حاجة لانتظار شهادات الدفعات ، والتي يمكن أن تحسن أيضا كفاءة رأس المال. تقنية ZK معقدة نسبيا ، ويتطلب الأمان طويل الأجل أيضا قدرا معينا من الوقت لإثباتها. ومع ذلك ، فإن تنفيذ البراهين في الوقت الفعلي يعد تقدما مهما في البنية التحتية التقنية ل Bitcoin L2. بالطبع ، لا يزال أمام Bitcoin L2 طريق طويل لنقطعه ، بالإضافة إلى بناء البنية التحتية التقنية ، من الضروري أيضا بذل المزيد من الجهود في تعدين احتياجات المستخدمين وتشجيع المطورين على بناء تطبيقات Bitcoin L2 ، لأنه في النهاية ، سيكون لدى نظام Bitcoin L2 البيئي رسوم معاملات كافية لتحقيق نمو دولاب الموازنة. من بينها ، هناك حاجة واضحة نسبيا ، أي أن العديد من حاملي BTC يرغبون أيضا في كسب الدخل ، والذي يمكن رؤيته من عدد BTC (مثل wbtc ، وما إلى ذلك) على سلسلة Ethereum ، التي تحتوي حاليا على أكثر من 150,000 BTC ملفوفة على سلسلة Ethereum ، بقيمة تزيد عن 15 مليار دولار. إذا كان من الممكن تحقيق الأمان الأصلي القائم على سلسلة BTC ، فسيكون المزيد من حاملي BTC على استعداد لمحاولة كسب الدخل من خلال BTCFI.