معلم بيئي للبيتكوين: الزولو يحقق التحقق من ZKP

المؤلف: Riyue Xiaochu المصدر: متوسط

حدث هام في النظام البيئي الحديث للبيتكوين، إعلان Zulu عن التنفيذ التحقق من zk-SNARK (ZKP) باستخدام نصوص Bitcoin. يتضمن خوارزمية Groth16/FFlonk السائدة ويرسل الكود إلى مستودع BitVM.

تم تنفيذ برنامج Bitcoin النصي لـ ZKP، مما يعني أن شبكة Bitcoin يمكنها التحقق من الطبقة 2. ما يعنيه هذا حقًا هو الطبقة الثانية، المسؤولة عن وراثة أمان شبكة Bitcoin، والأمن من آلية Bitcoin POW، والتي يجب أن تكون الشبكة الأكثر أمانًا في blockchain.

نظرًا للقيود البرمجية لشبكة Bitcoin، يعد تنفيذ ZKP أمرًا صعبًا بشكل خاص. معظم Bitcoin L2s الموجودة ليست في الواقع L2s لأنه لا يمكن التحقق من حالتها على السلسلة مباشرة على شبكة Bitcoin. خطتهم الحالية هي إنشاء شهادة ZK ونشرها على شبكة Bitcoin. ومع ذلك، لم يتم التحقق من هذا الدليل بواسطة شبكة Bitcoin، ولكن يتم التحقق من دور شبكتهم الخاصة، مما يؤدي إلى فصل حالة l2 على السلسلة عن شبكة Bitcoin.

من الواضح أن هذا يختلف عن الطبقة الثانية من Ethereum. سواء أكان الأمر يتعلق بـ zk-rollup أو op-rollup، فسيتم تجميع البيانات وإرسالها إلى شبكة Ethereum الرئيسية للتحقق منها. أكبر ميزة لطبقة إيثريوم 2 مقارنة بالسلاسل العامة الأخرى هي أن إيثريوم يضمن أمان الطبقة 2.

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

والثاني هو استخدام شبكة POW الخاصة بـ Bitcoin باعتبارها الشبكة الأولى والأعلى قيمة في السوق، حيث تعمل BTC بأمان منذ 14 عامًا وتمتلك الشبكة بأكملها أعلى قوة حاسوبية وعامل الأمان الخاص بها أمر بديهي. لذا فإن جزءًا مهمًا من وراثة أمان شبكة Bitcoin هو أن Bitcoin يمكنها تحقيق التحقق. هذه هي الأهمية الجادة لـ ZKP للزولو هذه المرة. آخر مرة اهتممت فيها بشبكة Zulu، كانت أول بنية بيتكوين ثنائية الطبقة. لقد جعلني التحقق من zk-SNARK (ZKP) أدرك أن القوة التقنية وراء Zulu قوية جدًا.

zk-SNARK الصينية

SNARK (وسيطة معرفة موجزة غير تفاعلية) موجزة جوهر عرض المعرفة غير التفاعلية هو بناء نظام إثبات من خلال الخوارزميات الرياضية، مما يسمح للمدقق بالتحقق من صحة البيانات نفسها دون معرفة البيانات الأصلية. نحن نعلم أن طبقة Ethereum Layer 2 تحتوي الآن على zk-rollup وop-rollup. في حين أن مجموعة العمليات التشغيلية هي مجرد فترة انتقالية متوسطة، فإن مجموعة zk هي النموذج النهائي. لأن zk-rollup يستخدم خوارزمية zk لحزم المعاملات على دفعات وإنشاء شهادات SNARK لإرسالها إلى الشبكة الرئيسية، وتتحقق الشبكة الرئيسية من جميع المعاملات في الدفعة. يمكن لـ zk-SNARK حماية الخصوصية بشكل فعال ولديه قابلية توسعة قوية وقد أشاد بها V God كأولوية قصوى في السنوات العشر القادمة.

Bit Virtual Machine

يجب تقديم BitVM هنا. قبل BitVM، لم تكن نصوص Bitcoin مقاومة لـ Turing. على الرغم من العمل الكبير الذي قام به الكثير من الأشخاص، إلا أنه لا يزال لا يعمل. إلى أن أصدر Robin Linus جهاز BitVM المذهل في أكتوبر من العام الماضي، كانت طريقة Robin هي التحقق من بوابة منطقية خاصة لبدء التشغيل على برنامج Bitcoin النصي، تسمى بوابة NAND، وهي إحدى التسلسلات الأساسية للحوسبة وتقع في المستوى المادي/الكهربائي. يمكن بناء جميع الحسابات الممكنة من بوابات NAND.

مؤخرًا، اقترح Robin خطة تصميم BitVM 2.

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

في شبكة Zulu، يعد BitVM أيضًا وجودًا مهمًا جدًا. تعد Zulu أيضًا مساهمًا مهمًا جدًا في BitVM ويمكن القول أن استخدام نصوص Bitcoin لتنفيذ التحقق zk-SNARK هو الخطوة الأساسية لـ BitVM. ساهمت Zulu كثيرًا في مستودع أكواد GitHub الرسمي لـ BitVM 2، وقد حظيت بتقدير كبير من قبل Robin Louis، مخترع BitVM.

في الأسبوع الماضي، أكملت Zulu تقطيع نص Groth16. 2 مدخلات مشتركة، إجمالي 1701 مشترك مقسم، الحجم أقل من 4M، والعمق <1000. تم الانتهاء من تجزئة البرنامج النصي ZKP الأول، وهو ما يمثل الاستخدام التجاري لـ BitVM واحدًا تلو الآخر. بفضل عمل Zulu الرائع، يمكن لـ BitVM2 قريبًا تنفيذ أول إثبات SNARK فوق Bitcoin. ويظهر أيضًا أن تكنولوجيا الزولو تحتل أيضًا مكانة رائدة.

ملاحظة الصورة: لقد حظيت تقنية الزولو بإشادة كبيرة من قبل روبن لويس، مخترع BitVM

أخيرًا، مقدمة مختصرة إلى شبكة Zulu

شبكة Zulu عبارة عن شبكة ذات طبقتين لنظام Bitcoin البيئي، وطبقتها الثانية هي ZuluPrime المتوافقة مع EVM. يمكن نشر مشاريع EVM بسرعة وبدقة عالية لتحقيق الازدهار البيئي. الطبقة الأخرى هي Layer3، وتسمى ZuluNexus. إنه يوحد بشكل مبتكر UTXO وأنواع أصول الحساب، ويحقق ابتكار العقود الذكية بناءً على نموذج UTXO. وهذا يعني أنه يمكنه تعظيم وظائف UTXO ودعم الابتكارات المستقبلية في UTXO. تعمل Zulu على تطوير منتجين:

• يمكنك تجربة جسر Zulu للتحقق من حالة خارج السلسلة ZKP، يستخدم لدعم إصدار الأصول

• تطوير جسر ZK لامركزي لتزويد المستخدمين بأي عدد من عمليات السلسلة

لم تصدر Zulu عملات معدنية بعد. يمكن لأولئك الذين يرغبون في المشاركة مبكرًا المشاركة في حدث نقاط شبكة اختبار Zulu الحالي. راجع الوثيقة الرسمية للحصول على التفاصيل https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#