أصدرت ZKM رسميا جيلا جديدا من zkVM المسرع بوحدة معالجة الرسومات تحت اسم Ziren: لبناء بنية تحتية ZK على مستوى الإنتاج للمطورين الرئيسيين

أصدرت ZKM رسميا إصدارا جديدا من zkVM ، Ziren (المعروف سابقا باسم zkMIPS) ، والذي يفتح فصلا جديدا في قابلية النشر وقابلية التوسع لأنظمة إثبات المعرفة الصفرية (ZK) في سيناريوهات التطبيقات في العالم الحقيقي من خلال تسريع GPU وبنية الإثبات الموزعة ونظام القيود المحسن بعمق. يهدف Ziren إلى تمكين مهندسي الأنظمة ومطوري التطبيقات ومصممي البروتوكولات من إنشاء تطبيقات ZK عالية الأداء باللغات السائدة ، مما يؤدي حقا إلى جلب ZK من المختبر إلى ممارسات التطوير السائدة.

من zkMIPS إلى Ziren: قفزات في الأداء وتجربة تطوير مطورة

Ziren هي ترقية كاملة ل zkMIPS v1.1.0 وتم تقديمها لأول مرة:

• 30× تسريع GPU لتقليل زمن انتقال الإثبات بشكل كبير ؛

• بنية إثبات الشبكة الموزعة ، ودعم الحوسبة المتوازية والنشر القابل للتطوير ؛

• تمت ترقية نظام قيود التعليمات ، وتحسين نمطية التعليمات ، وتحسين استخدام العمود ، والتخلص من التكرار ؛

• تمت ترقية سلسلة الأدوات وتجربة التطوير ، وتمت إضافة دعم C / C ++ على أساس دعم Rust ، وسيتم إطلاق Golang قريبا ؛

• إصلاحات الأمان الرئيسية وتحسينات التحويل البرمجي المسبق لتحقيق التوافق الأصلي مع نظام Ethereum البيئي.

"Ziren هو أول zkVM للأغراض العامة قابل للتطوير وصديق للمطورين مبني على الأساس الصحيح." مينغ قوه ، المؤسس المشارك وكبير العلماء في ZKM ، "لقد ثبت أنها رائدة في الأداء على وحدات المعالجة المركزية ، والآن ننتقل بها إلى المستوى التالي مع تسريع وحدة معالجة الرسومات. إذا كنت تبحث عن مكدس إثبات ZK الأمثل ، فإن Ziren هو الحل. "

بالإضافة إلى الترقية التقنية الشاملة ، فإن اسم Ziren نفسه له معنى أيضا. استمرارا ل zkMIPS ، فإن "Ziren" مستوحاة من نوع مختلف من أسطورة "Siren" وتمثل تحولا من الوهم إلى الواقع - الوعد بأن التكنولوجيا لم تعد مجرد عامل جذب ، بل قابلية استخدام حقيقية. تهدف Ziren إلى أن تكون بنية تحتية فعالة وموثوقة وقابلة للنشر في أيدي المطورين الرئيسيين.

تسريع GPU وتوازي الإثبات الموزع: القفزة من الأداء إلى المنفعة

تم تصميم عملية التصديق الأساسية ل Ziren بالكامل على وحدة معالجة الرسومات ، مما أدى إلى تحسينات كبيرة في الأداء:

• 30x أسرع البراهين الأساسية

• براهين مجمعة أسرع 15 مرة

• 30x أسرع BN254 براهين التحويل

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

تحسين نظام القيود

أعاد Ziren هيكلة نظام القيود:

• تقسيم قيود مستوى التعليمات إلى "رقائق" معيارية (تغطي وحدة المعالجة المركزية ، والقفزة / الفرع ، والذاكرة ، وما إلى ذلك)

• تقليل عدد الأعمدة عن طريق تحسين بنية البيانات

• إزالة منطق القيد الزائد أو غير المستخدم

• تبسيط عمليات معالجة ALU و MADU / MSUBU والفروع لتحسين كفاءة التنفيذ

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

تجربة تطوير أفضل مع تجربة إنشاء ونشر أكثر سلاسة

أطلقت Ziren إصدارا جديدا من سلسلة الأدوات (20250522) ، والذي يجلب عددا من التحسينات على تجربة المطور:

• دمج تصحيحات LLVM لتحسين عملية التحويل البرمجي

• دعم مكتبة C / C ++ الثابتة وإصلاحات تعليمات teq

• سلسلة أدوات الصدأ أكثر قوة وتزيل الاختراقات غير القياسية

• دعم Golang قريبا

بالإضافة إلى ذلك ، تدعم Ziren التحقق من توقيع Ethereum الأصلي ، وتدعم الوحدة المجمعة مسبقا الآن توقيعات المنحنى الإهليلجي الكامل ECDSA ، مما يجعل التكامل على السلسلة أكثر سلاسة ويوسع سيناريوهات التطبيق التي يمكن أن تدعمها.

إصلاحات الاستقرار والأمان

قامت Ziren بتقوية عملية التحقق وتنفيذ الدائرة بالكامل ، بما في ذلك:

• تم إصلاح ثغرة أمنية حرجة في رقم عشوائي FRI في Plonky3

• تم إصلاح ثغرة أمنية في التحقق من صحة vk_root في مدقق Rust

• تحسين الاتساق بين منطق تنفيذ التعليمات ونظام القيود

• تحسين إدارة سلوك منطق معالجة الشظايا وعدادات البرامج

مخطط مقارنة Ziren مقابل zkMIPS 1.0

تعمل كل هذه التحديثات معا لتحسين أمان واتساق Ziren ، مما يجعلها أكثر ملاءمة لمتطلبات تصديق ZK في بيئات درجة الإنتاج.

التحرك نحو الإثبات في الوقت الفعلي: ethproofs.org شاهد نتائج التحسين

في ethproofs.org ، أظهر Ziren نتائج أداء في الوقت الفعلي ، والدليل في الوقت الفعلي قاب قوسين أو أدنى:

من خلال استبدال الجهاز الظاهري من Revm إلى Reth واستخراج حالة الحساب بالتوازي، تم تقليل وقت إعداد حالة الكتلة من 5 دقائق إلى أقل من 30 ثانية مع debug_traceBlock. هذا يقلل بشكل كبير من زمن انتقال عملية إثبات الإثبات في كل مرحلة ، مما يجعل أداء Ziren أقرب إلى مستوى الوقت الفعلي ، مما يضع أساسا متينا لتنفيذ تطبيقات ZK عالية التردد.

تم إطلاقه على شبكة GOAT: المحرك الأساسي لبناء zkRollup الأصلي لبيتكوين

Ziren متاح الآن على مشروع zkRollup الأصلي لبيتكوين ، شبكة الماعز ، مما يتيح قابلية البرمجة على غرار Ethereum دون الحاجة إلى الجسور أو الأطراف الموثوقة ، مع الحفاظ على أمان شبكة Bitcoin الرئيسية. تعد شبكة الماعز إحدى الممارسات المهمة على مسارات BitVM2 و BitVM3.

"عندما قررنا توسيع نطاق Bitcoin ، كنا بحاجة إلى نظام يمكن الوثوق به من أعلى إلى أسفل - ليس فقط كومة من الأداء السطحي ، ولكن الاستقرار والكفاءة على مستوى الدائرة." قال كيفن ليو ، المؤسس المشارك والرئيس التنفيذي لشركة ZKM والمساهم الأساسي في شبكة GOAT ، "Ziren هو نتاج هذه الحاجة ، طبقة بنية تحتية نثق فيها في كل دليل".

قم ببناء تطبيق ZK الخاص بك ، بدءا من Ziren

يكثف Ziren سنوات ZKM من التلميع المتعمق لهندسة النظام الأساسية وأبحاث المعرفة الصفرية ، ليس فقط للاجتماعات ، ولكن أيضا ل zkVM بهيكل أفضل وخبرة أفضل وتطبيق أوسع. سواء كنت تقوم ببناء Ethereum DApp أو Bitcoin L2 أو نظام تحقق عبر السلاسل ، فإن Ziren يوفر لك أساس حوسبة موثوق به.

مكتوب بلغة الصدأ ، تم تجميعه إلى MIPS ، وسيقوم Ziren بالباقي. بناء بثقة. النشر دون تنازلات.