zkMIPS كأول zkVM استناداً إلى مجموعة تعليمات MIPS، بالاشتراك مع البنية الأساسية الناضجة لـ MIPS وبنية التحقق الصفرية لـ ZKM، دفعة كبيرة للنشر السريع لـ zkVM.
كتب بواسطة: ستيفن د
!
طبقة البيتكوين 2 هي حل تكنولوجي مصمم لزيادة سرعة معاملات البيتكوين. من خلال نقل بعض المعاملات من سلسلة Bitcoin الرئيسية إلى المعالجة خارج السلسلة ، يتم تقليل العبء على السلسلة الرئيسية ، وتحسين سرعة معالجة المعاملات ، وتقليل تكلفة المعاملة. تتضمن تقنيات الطبقة 2 الشائعة شبكة Lightning وقنوات الحالة وجسر BitVM2 الشهير حاليا مع zkRollup.
التحديات التي تواجه حلول zkRollup من الطبقة الثانية لبيتكوين
الأمان: الأمان هو العامل الأكثر أهمية بالنسبة لحاملي البيتكوين. يجب أن يأخذ الأمان في الاعتبار توافق الشبكة، والنشاط، والقدرة على الاسترداد الذاتي. التوافق، أي أمان الاتفاق، يحدد عدم قدرة تغيير دفتر الحساب عبر الشبكة بأكملها، والنشاط يحدد قابلية استخدام الشبكة بشكل عام، والقدرة على الاسترداد الذاتي تحدد قدرة الشبكة على الاستعادة السريعة من الهجمات أو الأحداث الغير عادية. كـ zkRollup لـ BTC، يجب أن يكون قادرًا على التزام تام للمعاملات من الطبقة الثانية، ويمكن لعمال المناجم للبيتكوين التحقق مباشرة من التزامه. ومع ذلك، الصعوبة تكمن في أن برمجيات BTC الحالية صعبة التنفيذ. ظهرت مؤخرًا بعض الحلول المشجعة، بما في ذلك BitVM2، وتشفير الوظائف، وآخر حل ColliderScript الجديد وما إلى ذلك، ومن ثم، صيانة نشاط وقدرة الاسترداد الذاتي للشبكة في الطبقة الثانية نفسها. حاليًا، تواجه العديد من zkRollup مشكلة في السيكونسر المركزي، مما يؤدي إلى درجة عالية من مركزية سلسلة Rollup ذاتها، ونقص التحفيز الكافي لجذب لاعبين آخرين للمشاركة، مما يؤدي إلى دوران مفرط.
القابلية للبرمجة: القابلية للبرمجة هي البنية التحتية لـ BTCFi. كأكبر قيمة في الأصول في البيئة البلوكشينية، تم اعتبار البيتكوين لفترة طويلة كأداة لتخزين القيمة، ولكن فيما يتعلق بالتطبيق العملي وتوليد العوائد، يبدو أنه ناقص نسبيًا. تعود هذه القيود أساسًا إلى قابلية التوسع لشبكة البيتكوين والقيود الثابتة للغة النصية، مما يجعلها تعجز عن دعم التطبيقات المعقدة للتمويل غير المركزي (DeFi). بالنسبة لحائزي البيتكوين، يمكنهم تحقيق عوائد من خلال البيتكوين الذي يملكونه، يمكنهم تقليديًا فقط اختيار إيداع الأصول في بورصات مركزية أو استخدام خدمات الجسر لتحويلها إلى رموز معبأة (مثل WBTC). ومع ذلك، تقدم هذه الطرق مخاطر إضافية، مثل مخاطر الثقة المترتبة عن المنصات المركزية، وتتعارض مع الطبيعة غير المركزية للبيتكوين. من المهم جدًا إدخال EVM، مستند إلى النظام البيئي لـ ETH في مجال DeFi، والذي يحتوي على بروتوكولات وبنية بيئية غنية.
شبكة GOAT: شبكة بيتكوين من الطبقة الثانية متوافقة مع EVM بناءً على zkMIPS
شبكة GOAT هي أول شبكة تقدم بروتوكول تحدي متفائل معزز بالأمان على الطبقة الثانية من بيتكوين باستخدام zkMIPS، BitVM2، ومُسلسل غير مركزي، وتحقيق التوافق مع 100٪ من EVM، مع الحاجة فقط إلى افتراض 1 من بتكوين لضمان الأمان. تتميز شبكة GOAT بالنقاط الرئيسية التالية:
لامركزية حقا: من خلال بروتوكول Sequencer اللامركزي الرائد غير المصرح به ، فإن جميع الرسائل عبر السلسلة - بما في ذلك ربط في ، ربط ، وطبقة 2 حالة الإظهار - قادرة على التوصل إلى توافق في الآراء على Bitcoin وشبكة GOAT. هذا يتخلص تماما من الاعتماد على كيان مركزي واحد ، مما يضمن اللامركزية الحقيقية. في الوقت نفسه ، يبسط هذا الابتكار بشكل كبير إعدادات الثقة لبروتوكول BitVM2 مع توفير نفس مستوى الأمان.
دون حاجة لتفريق الشبكة، يمكن تحقيق التحقق الشامل لبيتكوين: يجمع شبكة GOAT بين جهاز التسلسل غير المركزي وبروتوكول BitVM2، مما يجعل بروتوكول BitVM2 قابلًا للتطبيق، ويتم التحقق مباشرة من الدليل عن طريق البرنامج النصي لبيتكوين، مما يورث الأمان الأصلي لبيتكوين. بينما يعمل zkMIPS كبنية تحتية لتوسيع قدرات GOAT، حيث يمكنه ليس فقط تحقيق التوافق الكامل مع EVM بنسبة 100٪، ولكنه يمكنه أيضًا تسريع عملية إنشاء الدليل والتحقق بشكل كبير، مما يضفي على شبكة GOAT قدرات توسيع البيئة غير المسبوقة.
آلية عقوبة مزدوجة لضمان الأمان: شبكة GOAT الأولى التي تقدم آلية "العقوبة المزدوجة" في شبكة بيتكوين Layer 2. تجمع هذه الآلية بين آلية العقوبة الأصلية في طبقة التحقق من صحة بيتكوين وآلية العقوبة في طبقة اتفاق GOAT، مما يقلل بشكل فعال من احتمال حدوث سلوك غير صادق في بروتوكول GOAT Rollup. تستهدف هذه الآلية بشكل خاص التوقيع المزدوج، وإيقاف العقدة، وهجمات إعادة الفوترة غير القانونية من قبل عقدة Sequencer، مما يعزز بشكل شامل أمان الشبكة وموثوقيتها.
هذا الابتكار التكنولوجي يمثل بداية عصر جديد من اللامركزية لشبكة البتكوين الطبقة الثانية، ويضع معيارًا جديدًا لصناعة تكنولوجيا سلسلة الكتل في المستقبل.
عندما يتعلق الأمر بالجمع بين zkMIPS و BitVM2، فإن zkMIPS يقوم بتحسين سرعة إثبات Groth16، وفي نفس الوقت يقوم بتحسين كبير لمرحلة التحقق، بما في ذلك تقليل تعقيد حساب Miller Loop لنص بتكوين باستخدام تقنية Hints، تقسيم دوائر Verifier للالتزامات، ضغط إلتزامات الإدخال العامة لـ zkVM، والاعتماد على Decentralized Sequencer لضمان أن الإدخال العام يكون في نفس الفرع الرئيسي بشكل مؤكد، مما يبسط إلى حد ما تعقيدات عملية BitVM2 لتحديد التدفق المتفائل.
zkMIPS: أول zkVM يعتمد على مجموعة تعليمات MIPS
zkMIPS هو أول zkVM يعتمد على مجموعة تعليمات MIPS ، وهي مجموعة تعليمات ناضجة تشمل فوائدها:
تعليمات MIPS32R2 أكثر وفرة من تعليمات RISCV32IM ، من بينها تعليمات سلسلة J / JAL لها طول قفزة يصل إلى 256 ميجابت ، والتي يمكن أن تكون مريحة للغاية لتحقيقها في سيناريو الارتباط الثابت. يحتوي MIPS32r2 على تعليمات تشغيل بت وفيرة ، والتي لا توجد في RISCV32IM وتحتاج إلى استخدام ملحقات B ، ويحتوي MIPS32r2 على تعليمات اختيار شرطي مثل MOVN / MOVZ ، والتي يمكن أن تحل محل تعليمات القفز في العديد من السيناريوهات ، والتي يمكن أن تحسن الأداء وتقلل من عدد التعليمات. يحتوي MIPS32r2 على تعليمات الضرب والإضافة الصحيحة لتحسين الأداء وتقليل عدد التعليمات. يحتوي MIPS32r2 على تعليمات تمديد رمز SEH و SEB ، والتي يمكنها بسهولة إجراء عمليات تمديد الرمز على char والبيانات القصيرة.
جميع التوجيهات في MIPS32r2 ، ككل ، كانت ناضجة للغاية وتستخدم على نطاق واسع لأكثر من 20 عاما ، ولن تكون هناك مشاكل في الترابط بين الوحدات الفردية ؛ لن يكون هناك أيضا أي اضطراب يمكن أن ينشأ نتيجة لنزاعات حقوق النشر. كتنفيذ تمديد بدلا من مجموعة تعليمات لتنفيذ متجانسة ، قد تكون هناك مشاكل في التشغيل بين الامتدادات. يمكن أن تحتوي بعض مجموعات الإضافات على مشكلات غير مكتملة أو كبيرة جدا. يوفر دليل تعليمات MIPS أيضا وصفا أوضح وأكثر تفصيلا لسلوك الأمر. على blockchain ، تم تطبيق MIPS بنجاح على أستاذ الاحتيال في Optimism ، والذي يعتمد على MIPS VM.
zkMIPS يعمل بكامل طاقته. يمكن للمطورين إثبات أن أي برنامج مكتوب بلغة عالية المستوى مستخدمة على نطاق واسع مثل Rust و Golang وما إلى ذلك. توفر zkMIPS مجموعة من مجموعات التطوير سهلة الاستخدام ، بما في ذلك ZKM Playground و ZKM-Project-Template و ZKM Proof Network ، لمساعدة المشاريع والمطورين على بناء منتجات ZKP الخاصة بهم مع حاجز منخفض جدا للدخول.
zkMIPS يساعد في ضمان أمان منطق الدوائر للمطورين. يمكن للمطورين استخدام اللغة المألوفة لتنفيذ أي تطبيق والتخلص من تدقيق دوائر البرهان الصفري. على عكس تطوير ZKP التقليدي، يلتزم zkMIPS بصرامة بمجموعة التعليمات MIPS32r2، وإذا كان المطور قد قام بمراجعة منطق الأعمال للتطبيق بالفعل، فلا حاجة لإعادة مراجعة الدوائر.
قدمت ZKM شبكة دليلًا لمساعدة المطورين والمشاريع على إنشاء البروفات بسرعة، وتدعم التوسيع الأفقي، مما يمكنها من تحقيق إنتاجية عالية لإنشاء البراهين في الوقت الحقيقي. وهذا يتيح للمطورين والمشاريع بناء تطبيقاتهم Web3 المتمركزة بكفاءة عالية للغاية. بالإضافة إلى ذلك، يدعم zkMIPS حلول تسريع البراهين المتطرفة المتعددة مثل الـ Precompiles.
zkMIPS يتمتع بحالة الاستخدام الصناعية الرائدة، ويدعم العديد من حالات الاستخدام المبتكرة التي تدعمها zkVM، بما في ذلك بيتكوين L2 من شبكة GOAT وHybridRollup من Metis. ويعمل على دفع تبني تقنية zkVM في الصناعات المختلفة مثل zkLLM وzkIdentity.
كأول zkVM يعتمد على مجموعة تعليمات MIPS ، يجمع zkMIPS بين النظام البيئي الناضج ل MIPS والبنية التحتية ZKP الخاصة ب ZKM لتعزيز التنفيذ السريع ل zkVM بشكل كبير.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تم إطلاق شبكة الماعز zkMIPS BTC Layer 2
كتب بواسطة: ستيفن د
!
طبقة البيتكوين 2 هي حل تكنولوجي مصمم لزيادة سرعة معاملات البيتكوين. من خلال نقل بعض المعاملات من سلسلة Bitcoin الرئيسية إلى المعالجة خارج السلسلة ، يتم تقليل العبء على السلسلة الرئيسية ، وتحسين سرعة معالجة المعاملات ، وتقليل تكلفة المعاملة. تتضمن تقنيات الطبقة 2 الشائعة شبكة Lightning وقنوات الحالة وجسر BitVM2 الشهير حاليا مع zkRollup.
التحديات التي تواجه حلول zkRollup من الطبقة الثانية لبيتكوين
الأمان: الأمان هو العامل الأكثر أهمية بالنسبة لحاملي البيتكوين. يجب أن يأخذ الأمان في الاعتبار توافق الشبكة، والنشاط، والقدرة على الاسترداد الذاتي. التوافق، أي أمان الاتفاق، يحدد عدم قدرة تغيير دفتر الحساب عبر الشبكة بأكملها، والنشاط يحدد قابلية استخدام الشبكة بشكل عام، والقدرة على الاسترداد الذاتي تحدد قدرة الشبكة على الاستعادة السريعة من الهجمات أو الأحداث الغير عادية. كـ zkRollup لـ BTC، يجب أن يكون قادرًا على التزام تام للمعاملات من الطبقة الثانية، ويمكن لعمال المناجم للبيتكوين التحقق مباشرة من التزامه. ومع ذلك، الصعوبة تكمن في أن برمجيات BTC الحالية صعبة التنفيذ. ظهرت مؤخرًا بعض الحلول المشجعة، بما في ذلك BitVM2، وتشفير الوظائف، وآخر حل ColliderScript الجديد وما إلى ذلك، ومن ثم، صيانة نشاط وقدرة الاسترداد الذاتي للشبكة في الطبقة الثانية نفسها. حاليًا، تواجه العديد من zkRollup مشكلة في السيكونسر المركزي، مما يؤدي إلى درجة عالية من مركزية سلسلة Rollup ذاتها، ونقص التحفيز الكافي لجذب لاعبين آخرين للمشاركة، مما يؤدي إلى دوران مفرط.
القابلية للبرمجة: القابلية للبرمجة هي البنية التحتية لـ BTCFi. كأكبر قيمة في الأصول في البيئة البلوكشينية، تم اعتبار البيتكوين لفترة طويلة كأداة لتخزين القيمة، ولكن فيما يتعلق بالتطبيق العملي وتوليد العوائد، يبدو أنه ناقص نسبيًا. تعود هذه القيود أساسًا إلى قابلية التوسع لشبكة البيتكوين والقيود الثابتة للغة النصية، مما يجعلها تعجز عن دعم التطبيقات المعقدة للتمويل غير المركزي (DeFi). بالنسبة لحائزي البيتكوين، يمكنهم تحقيق عوائد من خلال البيتكوين الذي يملكونه، يمكنهم تقليديًا فقط اختيار إيداع الأصول في بورصات مركزية أو استخدام خدمات الجسر لتحويلها إلى رموز معبأة (مثل WBTC). ومع ذلك، تقدم هذه الطرق مخاطر إضافية، مثل مخاطر الثقة المترتبة عن المنصات المركزية، وتتعارض مع الطبيعة غير المركزية للبيتكوين. من المهم جدًا إدخال EVM، مستند إلى النظام البيئي لـ ETH في مجال DeFi، والذي يحتوي على بروتوكولات وبنية بيئية غنية.
شبكة GOAT: شبكة بيتكوين من الطبقة الثانية متوافقة مع EVM بناءً على zkMIPS
شبكة GOAT هي أول شبكة تقدم بروتوكول تحدي متفائل معزز بالأمان على الطبقة الثانية من بيتكوين باستخدام zkMIPS، BitVM2، ومُسلسل غير مركزي، وتحقيق التوافق مع 100٪ من EVM، مع الحاجة فقط إلى افتراض 1 من بتكوين لضمان الأمان. تتميز شبكة GOAT بالنقاط الرئيسية التالية:
لامركزية حقا: من خلال بروتوكول Sequencer اللامركزي الرائد غير المصرح به ، فإن جميع الرسائل عبر السلسلة - بما في ذلك ربط في ، ربط ، وطبقة 2 حالة الإظهار - قادرة على التوصل إلى توافق في الآراء على Bitcoin وشبكة GOAT. هذا يتخلص تماما من الاعتماد على كيان مركزي واحد ، مما يضمن اللامركزية الحقيقية. في الوقت نفسه ، يبسط هذا الابتكار بشكل كبير إعدادات الثقة لبروتوكول BitVM2 مع توفير نفس مستوى الأمان.
دون حاجة لتفريق الشبكة، يمكن تحقيق التحقق الشامل لبيتكوين: يجمع شبكة GOAT بين جهاز التسلسل غير المركزي وبروتوكول BitVM2، مما يجعل بروتوكول BitVM2 قابلًا للتطبيق، ويتم التحقق مباشرة من الدليل عن طريق البرنامج النصي لبيتكوين، مما يورث الأمان الأصلي لبيتكوين. بينما يعمل zkMIPS كبنية تحتية لتوسيع قدرات GOAT، حيث يمكنه ليس فقط تحقيق التوافق الكامل مع EVM بنسبة 100٪، ولكنه يمكنه أيضًا تسريع عملية إنشاء الدليل والتحقق بشكل كبير، مما يضفي على شبكة GOAT قدرات توسيع البيئة غير المسبوقة.
آلية عقوبة مزدوجة لضمان الأمان: شبكة GOAT الأولى التي تقدم آلية "العقوبة المزدوجة" في شبكة بيتكوين Layer 2. تجمع هذه الآلية بين آلية العقوبة الأصلية في طبقة التحقق من صحة بيتكوين وآلية العقوبة في طبقة اتفاق GOAT، مما يقلل بشكل فعال من احتمال حدوث سلوك غير صادق في بروتوكول GOAT Rollup. تستهدف هذه الآلية بشكل خاص التوقيع المزدوج، وإيقاف العقدة، وهجمات إعادة الفوترة غير القانونية من قبل عقدة Sequencer، مما يعزز بشكل شامل أمان الشبكة وموثوقيتها.
هذا الابتكار التكنولوجي يمثل بداية عصر جديد من اللامركزية لشبكة البتكوين الطبقة الثانية، ويضع معيارًا جديدًا لصناعة تكنولوجيا سلسلة الكتل في المستقبل.
عندما يتعلق الأمر بالجمع بين zkMIPS و BitVM2، فإن zkMIPS يقوم بتحسين سرعة إثبات Groth16، وفي نفس الوقت يقوم بتحسين كبير لمرحلة التحقق، بما في ذلك تقليل تعقيد حساب Miller Loop لنص بتكوين باستخدام تقنية Hints، تقسيم دوائر Verifier للالتزامات، ضغط إلتزامات الإدخال العامة لـ zkVM، والاعتماد على Decentralized Sequencer لضمان أن الإدخال العام يكون في نفس الفرع الرئيسي بشكل مؤكد، مما يبسط إلى حد ما تعقيدات عملية BitVM2 لتحديد التدفق المتفائل.
zkMIPS: أول zkVM يعتمد على مجموعة تعليمات MIPS
zkMIPS هو أول zkVM يعتمد على مجموعة تعليمات MIPS ، وهي مجموعة تعليمات ناضجة تشمل فوائدها:
zkMIPS يعمل بكامل طاقته. يمكن للمطورين إثبات أن أي برنامج مكتوب بلغة عالية المستوى مستخدمة على نطاق واسع مثل Rust و Golang وما إلى ذلك. توفر zkMIPS مجموعة من مجموعات التطوير سهلة الاستخدام ، بما في ذلك ZKM Playground و ZKM-Project-Template و ZKM Proof Network ، لمساعدة المشاريع والمطورين على بناء منتجات ZKP الخاصة بهم مع حاجز منخفض جدا للدخول.
zkMIPS يساعد في ضمان أمان منطق الدوائر للمطورين. يمكن للمطورين استخدام اللغة المألوفة لتنفيذ أي تطبيق والتخلص من تدقيق دوائر البرهان الصفري. على عكس تطوير ZKP التقليدي، يلتزم zkMIPS بصرامة بمجموعة التعليمات MIPS32r2، وإذا كان المطور قد قام بمراجعة منطق الأعمال للتطبيق بالفعل، فلا حاجة لإعادة مراجعة الدوائر.
قدمت ZKM شبكة دليلًا لمساعدة المطورين والمشاريع على إنشاء البروفات بسرعة، وتدعم التوسيع الأفقي، مما يمكنها من تحقيق إنتاجية عالية لإنشاء البراهين في الوقت الحقيقي. وهذا يتيح للمطورين والمشاريع بناء تطبيقاتهم Web3 المتمركزة بكفاءة عالية للغاية. بالإضافة إلى ذلك، يدعم zkMIPS حلول تسريع البراهين المتطرفة المتعددة مثل الـ Precompiles.
zkMIPS يتمتع بحالة الاستخدام الصناعية الرائدة، ويدعم العديد من حالات الاستخدام المبتكرة التي تدعمها zkVM، بما في ذلك بيتكوين L2 من شبكة GOAT وHybridRollup من Metis. ويعمل على دفع تبني تقنية zkVM في الصناعات المختلفة مثل zkLLM وzkIdentity.
كأول zkVM يعتمد على مجموعة تعليمات MIPS ، يجمع zkMIPS بين النظام البيئي الناضج ل MIPS والبنية التحتية ZKP الخاصة ب ZKM لتعزيز التنفيذ السريع ل zkVM بشكل كبير.