نقدم هنا تقريرا عن التقدم الذي أحرزته البناة الرائدون في نظام zkVM البيئي ، ونوثق الإصدارات المهمة الأخيرة والاختراقات التقنية والتحديثات العامة. يضم: @SuccinctLabs ، @ProjectZKM ، @NexusLabs ، @boundless_xyz / @RiscZero ، @brevis_zk ، @0xLita ، @ziskvm ، @ligero_inc و @openvm_org 👇

موجزه 🔹 التكنولوجيا 🔹 قدمت @SuccinctLabs SP1-CC ، وهو معالج ZK المساعد ل @ethereum الذي يتيح للمطورين قراءة حالة blockchain التاريخية ، وتشغيل حسابات معقدة خارج السلسلة ، والتحقق من النتائج على السلسلة باستخدام دليل واحد: يزيل SP1-CC قيود الغاز وقيود EVM دون تغيير كود L1 ، مما يتيح حالات استخدام جديدة في الحوكمة و DeFi وعمليات الإنزال الجوي والإفصاحات الأمنية. تستخدمه فرق مثل @eigenlayer بالفعل لتقليل التكاليف وزيادة المرونة. 🔹 الشراكات 🔹 أعلن المشروع مؤخرا عن عدد من الشراكات الجديدة منها: 🔹 @Snarkify_ZKP: انضممت إلى شبكة Succinct Prover كفريق بروفر مبكر ، حيث جلبت محرك إثبات SP1-SRT مخصص محسن لتوليد ZKP في الوقت الفعلي على وحدات معالجة الرسومات و FPGAs ، مما يساعد على تقليل زمن الوصول والتكلفة عبر الشبكة: 🔹 @a41_allforone: مدمج في الشبكة كبروفير متعدد العقد مع جدولة ينسق المئات من وحدات معالجة الرسومات ، جنبا إلى جنب مع الواجهة الخلفية المحسنة ل Python ، مما يتيح إثبات الإنتاجية العالية لتطبيقات مثل الألعاب و الذكاء الاصطناعي والمجموعات: 🔹 @cysic_xyz: تمت إضافته إلى الشبكة كبروفير مسرع للأجهزة يقوم بتشغيل مجموعات GPU كبيرة والاستعداد لإطلاق ASIC مخصص لأحمال عمل zkVM ، مما يساهم بخبرة عميقة من ZPRIZE والبنية التحتية ZK على مستوى الإنتاج: 🔹 @worldcoin: تعاونت لإثبات جميع المعاملات على World Chain باستخدام OP Compact ، وإجراء تجربة mainnet لمدة 7 أيام مع التحقق من الإثبات الموازي وإظهار إثباتات صلاحية سريعة وفعالة من حيث التكلفة لواحدة من أكبر سلاسل OP Stack: 🔹 @Mantle_Official: دعم انتقال Mantle Network إلى OP Succinct على testnet ، بما يتماشى مع خارطة الطريق الخاصة بهم لتعزيز الأمان واللامركزية من خلال إثبات الأعطال المدعوم من ZK والبنية التحتية المعيارية: 🔹 @zan_team: انضم إلى المحترفين متعدد العقد المدعومين من @AntChainOpenLab ، مما يساهم في البنية التحتية المسرعة للأجهزة وتحسين SP1 المستند إلى FPGA الذي يحسن سرعة الإثبات بمقدار 20 ضعفا على وحدات المعالجة المركزية ، مما يساعد على خفض تكاليف الشبكة وتمهيد الطريق ل ZK ASICs: 🔹 وسائط 🔹 أخيرا ، انضم @pumatheuma المؤسس المشارك لشركة Succinct إلى @alicelingl في "Succinct Special" الأخير ، حيث ناقشوا أحدث تطورات Succinct وكل شيء ZK:

ZKM 🔹 التكنولوجيا 🔹 قدم @ProjectZKM Ziren - zkVM مسرع بوحدة معالجة الرسومات مع إثبات موزع ، يعرف سابقا باسم zkMIPS: تم بناء Ziren على بنية MIPS32r2 الموفرة ل zk ، وتعمل بالفعل على تشغيل تطبيقات العالم الحقيقي مثل @GOATRollup وتقلل من وقت إنشاء الإثبات بشكل كبير مقارنة بالإصدارات السابقة. 🔹 بحث🔹 نشرت ZKM العديد من المقالات الجديدة التي تسلط الضوء على أحدث التطورات في مجموعة إثبات ZK: 🔹 قدمت المقالة الأولى الترقيات التي جاءت مع تغيير العلامة التجارية ل Ziren - تسريع GPU ، والإثبات الموزع ، وتحسينات القيود المختلفة: 🔹 وأوضح الثاني إطار عمل نظام Ziren ، الذي يغطي خط الأنابيب الكامل من التعليمات البرمجية عالية المستوى إلى البراهين على السلسلة. يوضح بالتفصيل كيفية تحويل آثار التنفيذ المستندة إلى MIPS إلى STARKs ، ويتم تجميعها بشكل متكرر مع PLONK ، وإنهايتها في Groth16 للتحقق الفعال: 🔹 أكملت المقالة الثالثة ثلاثية سلسلة ISA الخاصة ب ZKM ، مع التركيز على سبب اختيار ZKM ل MIPS32r2 على RISC-V. ويؤكد على ثبات الدائرة وطول عمر الإثبات ، ويشرح كيف تقدم MIPS ISA ثابتا وغير متغير ، مما يضمن بقاء البراهين صالحة لسنوات دون إعادة صياغة: 🔹 في أحدث مقالة، قدمت ZKM التزامات متعددة الحدود الخشنة - وهي طريقة للتعامل مع المصفوفات غير المنتظمة في zkVMs. باستخدام التحويلات المتفرقة إلى الكثيفة وبروتوكولات sumcheck، فإنه يتيح التزامات قابلة للتطوير وفعالة عبر هياكل الإثبات الديناميكية: 🔹 وسائط 🔹 أخيرا ، انضم @DacEconomy (كبير علماء ZKM) و @sd_eigen (المساهم الأساسي في شبكة الماعز) إلى @alicelingl لمناقشة كيفية قيام zkVM من ZKM بتشغيل Bitcoin L2 الخاص بشبكة GOAT Network: لقد استكشفوا البنية التحتية للمجموعة المتشابكة ، وتوليد الأدلة في الوقت الفعلي والمجمعة ، واستبدال ثقة المدقق باليقين الرياضي - مما يسلط الضوء على الهندسة المعمارية ونموذج الأمان وراء نهج GOAT لقابلية توسع البيتكوين.

RISC صفر / بلا حدود 🔹 التكنولوجيا 🔹 أطلقت @boundless_xyz by @RiscZero Mainnet Beta on @base ، مما يجعل ZKPs في الاستخدام الحقيقي: تم تقديم "The Signal" - عميل ZK مفتوح المصدر يضغط @ethereum النهاية في إثبات واحد ، مما يتيح التحقق عبر السلاسل. من خلال فصل التنفيذ عن الإجماع ، يسمح Boundless بحساب قابل للتطوير دون التضحية بالأمان. الإثبات بدون إذن ، مع وجود حوافز حقيقية ودعم تطبيق مباشر يعمل بالفعل على Base. 🔹 الشراكات 🔹 يتم الآن دعم الإشارة من قبل Boundless من خلال @eigenlayer و @unichain و @LineaBuild و @wormhole و @Optimism و @StellarOrg و @RiscZero و @build_on_bob و @anoma و @alt_layer و @conduitxyz و @taikoxyz و @Alchemy و @hyli_org و @celestia و @AragonProject و @union_build. تتيح هذه الشبكات معا @ethereum النهائية المستندة إلى ZK أن تصبح بدائية عالمية ويمكن التحقق منها للتطبيقات عبر السلاسل - بدون أوراكل أو جسور أو افتراضات ثقة:

في أحدث مكالمة Ethproofs ، شاركت @succinct_li من @brevis_zk تحديثات حول zkVM الداخلي في Brevis ، Pico: (الطابع الزمني 11:06) يوفر بروفير Brevis المستند إلى GPU ، Pico v1.0 ، تحسينات تصل إلى 20× سرعة مقارنة بإصدار وحدة المعالجة المركزية الخاص بهم ويتفوق على المنافسين الرائدين بحوالي 25-27٪. يخطط الفريق لإطلاق Pico v2.0 بحلول نهاية أغسطس ، بهدف الإثبات في الوقت الفعلي. كما أنهم يعتزمون فتح كود GPU بعد الانتهاء من دعم GPU المتعدد والأجهزة المتعددة في الأشهر المقبلة.

ليتا قدمت @0xLita Valida 0.10.0 ، وهو تحديث رئيسي لمكدس zkVM الخاص بها: يضيف الإصدار استمرارات لإثباتات التنفيذ الجزئي، وواجهة برمجة تطبيقات WASM من جانب العميل لإثباتات zk المستندة إلى المستعرض، ودعم سلسلة أدوات Rust/LLVM المحسن. يتضمن أيضا صور Docker ل x86 و ARM ، والدعم المبكر ل Secp256k1 و memcpy ، و Reva ، منفذ كتلة @ethereum.

OpenVM أصدرت @openvm_org الإصدار 1.3.0 ، حيث قدمت مكتبات الضيوف المجددة التي تفصل بشكل نظيف الروابط منخفضة المستوى عن واجهات برمجة التطبيقات عالية المستوى: يتضمن التحديث مكتبة Rust جديدة للتحقق من إثباتات STARK ، وتحسينات CLI التي تدعم خيارات Cargo ، وتصحيحات لصناديق التشفير مثل k256 و p256. لم تحدث أي تغييرات في الدائرة. يتم تشجيع المطورين على الانتقال إلى المكتبات الجديدة.