أحدث ما حدث في ZKVM هنا نقدم تقريرا عن تقدم الشركات الرائدة في نظام zkVM البيئي، موثقين الإصدارات المهمة الأخيرة، والاختراقات التقنية، والتحديثات العامة. بمشاركة الفنانين: @brevis_zk، @DelphinusLab، جولت (@a16zcrypto)، @ligero_inc، @0xMiden، @NexusLabs، @RiscZero/@boundless_xyz، @SuccinctLabs، @ziskvm، @ProjectZKM. 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹

بريفيس 🔹 الورقة 🔹 البيضاء لبروفرنت أصدرت @brevis_zk ورقتها البيضاء ProverNet التي توضح سوقا لامركزيا حيث تتنافس التطبيقات على سعة إثبات ZK والمؤثرات المتخصصة لتوفيرها: يستخدم النظام آلية مزاد مزدوج عبر الإنترنت صادقة لمطابقة أعباء العمل المختلفة مع الموارد المناسبة مع فرض جودة الخدمة من خلال الحوافز الاقتصادية. تقدم ProverNet رمز BREV للمدفوعات، والستكينغ، والحوكمة، ومن المقرر إطلاق شبكة رئيسية تجريبية مع مزاد مبسط قريبا. 🔹 وسائط 🔹 في حلقة حديثة من @HouseofZK Radio في @no89thkey، تناول المؤسس المشارك لشركة Brevis كيف انتقل الفريق من أصوله في التمويل اللامركزي إلى بناء حوسبة قابلة للتحقق وإثبات شبه الوقت الحقيقي: تحدث عن جهاز Pico zkVM، وهو جهاز Pico Prism الموزع المستخدم لإثبات الكتل @Ethereum، وكيف تدعم بنية المعالج المساعد المعيارية في Brevis الولاء على السلسلة، والمكافآت المبسطة، وتكاملات جسور CEX/DEX. البودكاست الكامل: 🔹 احداث 🔹 استضاف بريفيس وشارك في عدة جلسات رئيسية خلال @EFDevcon، مقدما وجهات نظر عملية حول الحوسبة القابلة للتحقق والتحول نحو نماذج التنفيذ خارج السلسلة والمعتمدة على الإثبات: • استحوذت بريفيس على ZKONNECT، مع House of ZK كمضيف مشارك، مع التركيز على كيفية انتقال zkVMs ومعالجات ZK وZKML وzkTLS من المفاهيم إلى الإنتاج. سلط البرنامج الضوء على النشر العملي للحوسبة القابلة للتحقق، والوصول عبر السلاسل، والاستدلال الذكاء الاصطناعي، إلى جانب عدة كلمات رئيسية ومناقشات توضح كيف تطبق الفرق بنية ZK التحتية على التطبيقات الحقيقية. • مايكل، ألقى كلمة رئيسية في فعالية التحقق من الذكاء 3.0، التي نظمتها هاوس أوف زد كيه وشارك بريفيس في تقديمها: شرح سبب انتقال معظم حسابات البلوك تشين خارج السلسلة والتحقق منها من خلال نقاط ZKP، مقدما بريفيس كطبقة حوسبة لا نهائية تنفذ منطقا ثقيلا خارج السلسلة وتعيد مخرجات مختصرة وقابلة للتحقق. تناولت المحاضرة جهاز Pico zkVM، وإثبات الإيثيريوم في الوقت الحقيقي، وبنية Brevis المعيارية، والتكاملات الحالية التي تدعم أنظمة DeFi الذكية، والشهادات التي تحافظ على الخصوصية، وأنظمة الحوافز المستمرة. 🔹 الشراكات 🔹 أخيرا، قدم بريفيس @vana نموذجا مشتركا لاستخدام البيانات الخاصة في الذكاء الاصطناعي من خلال دمج المدخلات المصادقة مع الحوسبة المحلية التي لا تكشف عن أي معلومات خام: يثبت بريفيس zkTLS مصدر البيانات، بينما يقوم جهاز بيكو zkVM بمعالجتها على جهاز المستخدم. تدير Vana الموافقة والمكافآت، وتمنح المطورين مؤشرات موثقة وتسمح للمستخدمين بالاحتفاظ بالسيطرة الكاملة على بياناتهم. 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹

جولت (@a16zcrypto) 🔹 نداء 🔹 إيثبروفز قدم @SuccinctJT، الباحث في @a16zcrypto، عرضا في مكالمة @eth_proofs الأخيرة. وأبرز كيف تتحكم أجهزة zkVM الحالية في ذاكرة البروفر من خلال تقسيم الآثار إلى أجزاء وتجميع البراهين بشكل متكرر، لكن ذلك يضيف تعقيدا ومخاطر الأخطاء وتكاليف الأداء. الطابع الزمني - 32:30: تابع جاستن لشرح كيف تهدف جولت إلى استبدال هذا بأسلوب بث يحدد ذاكرة البروفر بعدة جيجابايت تقريبا، بغض النظر عن عدد الدورات. اثنان من حوالي عشرين مكونا مطلوبا من Sumcheck يبثان بالفعل، ومن المتوقع أن ينتهي العمل المتبقي قريبا. 🔹 بحث 🔹 كما نشر جاستن ورقة بحثية استندت إلى نتائج استطلاع ركز على كيفية تحقيق تصميم SNARK الحديث للإثبات السريع من خلال التركيز على بروتوكول التحقق من التجميع: توضح الورقة لماذا تقلل تقنيات مثل تقييم الدفعات، وحجج البحث، وكثيرات الحدود الافتراضية، والحفاظ على القيمة الصغيرة من تكاليف العمل والالتزام. باستخدام جولت كدراسة حالة رئيسية، يظهر كيف يمكن استغلال البنية الحسابية المتكررة من zkVMs الفعالة ويوجه تحسينات الأداء المستقبلية. 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹

ميدن 🔹 Testnet v0.12 🔹 أصدرت @0xMiden Testnet الإصدار 0.12، مقدما تحديثات رئيسية عبر تدفقات الخصوصية، وإدارة المفاتيح، وإدارة العناوين، وأدوات المطورين: تضيف النسخة تنسيق عنوان جديد يدعم التشفير، وطبقة نقل ملاحظات خاصة مع @Nethermind، وتوقيع ECDSA عبر الترجمة المسبقة، وتحسينات في معالجة البيانات داخل العقدة. كما يتضمن أيضا حواجز حماية أساسية لرؤية بيانات المعاملات، ومثبت midenup الجديد للانضمام بشكل سهل، وشبكة تطوير مخصصة للتجريب، وتحسينات متعددة على مستوى الآلة الافتراضية لقابلية التركيب وتصحيح الأخطاء. 🔹 المنشورات 🔹 نشر المشروع مقالا يشرح كيف تصبح التوقيعات المتعددة الخاصة قابلة للتنفيذ من خلال نظام جديد يسمى إدارة الدولة الخاصة، تم تطويره بالاشتراك مع @OpenZeppelin: يوضح المقال سبب اعتماد التوقيعات المتعددة التقليدية على الحالة العامة المشتركة، وكيف يعقد نموذج الخصوصية في ميدن التنسيق، وكيف تحافظ طبقات التزامن والتنسيق والمصادقة في PSM على محاذاة الحسابات الخاصة. تختتم بأمثلة على حالات الاستخدام العملية وتشير إلى أن إثبات المفهوم المبكر متوفر بالفعل. 🔹 احداث 🔹 في @EFDevcon، استضافت ميدن وشاركت في عدة فعاليات، منها: • صالون الخصوصية، وهو حدث نظمته شركة ميدن جمع البنائين والباحثين والمؤسسين لإجراء محاضرات قصيرة مدفوعة بالأفكار ونقاشات مفتوحة حول الخصوصية، والأنظمة اللامركزية، والتقاطعات المتطورة بين العملات الرقمية، والويب3، والتمويل التقليدي. • التحقق من الذكاء 3.0، الذي نظمته @HouseofZK، حيث تحدث @huitseeker، قائد الهندسة في ميدن، عن دور zkVMs في zkML، موضحا الفروق بين إثبات الاستدلال والتدريب، وحدود TEEs، وكيف يدعم تصميم Miden سيناريوهات التحقق العملية والمقاومة للعدائية الذكاء الاصطناعي. الطابع الزمني - 02:50:12: 🔹 التكامل 🔹 قدم المشروع شراكتين جديدتين توسعان نظامه البيئي عبر الخصوصية، والانضمام، والبنية التحتية، بما في ذلك: • @get_para: المحفظة المدمجة والتحقق الموزع من Para لتمكين الانضمام السلس وغير القانوني لتطبيقات Miden. قدم التعاون تسجيل الدخول بدون كلمة مرور، وإنشاء المحفظة الفورية، وتدفقات مستخدمين سلسة، مواءما بين حزمة تجربة المستخدم من Para ونموذج الخصوصية المتوافق من Miden لدعم تطبيقات DeFi الخاصة، والتقنية المالية، والألعاب، والتطبيقات المؤسسية المبنية على تنفيذ ZK: • @gateway_eth: شراكت لتوفير بنية تحتية بمستوى المؤسسات لشبكة البلوكشين القابلة للتوسع وتركز على الخصوصية في ميدن. تضمن الشراكة توفرا عاليا، ووصولا سريعا للبيانات، وموثوقية تشغيلية مع توسع ميدن، حيث تشغل Gateway المكونات الأساسية مثل الجسر الأصلي، والبروفرز، ومستكشف الكتل لدعم طرح بنية تنفيذ الحافة في ميدن: 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹

نيكزس 🔹 DEX ألفا 🔹 أطلقت @NexusLabs النسخة ألفا من بورصة العقود الآجلة الدائمة اللامركزية كجزء من Testnet III، مقدمة منصة CLOB مبسطة وغير حفظية مبنية على بنية تحتية قابلة للتحقق: يركز الإصدار على الوظائف الأساسية للتداول، وعملية الانضمام المبسطة، واختبار الأموال بدلا من الأصول الحقيقية. على الرغم من أن الواجهة بسيطة، إلا أن دفتر الأوامر الأساسي مصمم لأداء منخفض التأخير وسيتوسع مع التغذية الراجعة التي يقودها المجتمع وبراهين التشفير التي تم تقديمها تدريجيا. 🔹 حالة الشبكة 🔹 أصدرت Nexus تقريرها الشبكي في نوفمبر: أبرز الفعاليات: • عالجت الشبكة 87.198 مليون معاملة، تم إنجاز 87.038 مليون معاملة، مما يدل على موثوقية عالية وفجوة صغيرة جدا بين النشاط البدئي والنهائي. • معدل الإنتاجية الإثباتية تم تعديله من 5,810 إلى 4.16 إثبات في الثانية خلال الشهر، مما يعكس عودة إلى خط أساس أكثر استقرارا بعد الارتفاع السريع في أكتوبر. • وصلت العقود المؤكدة إلى 2.548 مليون، مما يدل على استمرار ثقة المطورين في بيئة الاختبار رغم التأخير الأعلى ومعدل النقل المعتدل. • بلغ متوسط رسوم المعاملات 0.048 NEX، مما أبقى تكلفة التحقق منخفضا وترك مجالا للتكرار السريع والتفاعلات المتكررة على السلسلة. 🔹 احداث 🔹 شارك كبير العلماء في نيكسوس @JensGroth16 إلى دردشة بجانب المدفأة في فعالية التحقق من الذكاء @HouseofZK خلال @EFDevcon، حيث ناقشوا كيف تطورت أنظمة ZKP من العمل النظري المبكر إلى تطبيقات اليوم في الذكاء الاصطناعي القابلة للتحقق: أوضح تركيز نيكسس على الجمع بين الصوابية المثبتة والأمن الاقتصادي، وأكد على الحاجة إلى المعايير والتعليم والثقة المؤسسية الأوسع لضمان أن تصبح الأنظمة القابلة للتحقق قابلة للاستخدام واعتمادها على نطاق واسع. 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹

ريسك زيرو وبوندرليس 🔹 نداء 🔹 إيثبروفز في الحلقة الأخيرة @eth_proofs Call #6، شارك @BruestleJeremy، الرئيس التنفيذي والمؤسس المشارك لشركة @RiscZero، كيف نجح الفريق في إقلاع نواة لينكس حقيقية داخل zkVM بعد إضافة دعم وضع S من Risc-V، ووحدة MMU كاملة، وذاكرة افتراضية. الطابع الزمني - 20:30: أظهر العرض التوضيحي عدة عمليات تعمل وبيئة شبه حتمية مناسبة لمجموعات البرمجيات الأوسع. تخطط Risс Zero لشحن هذا في إصدار الدائرة القادم مع استمرار التقدم في النسخة السابقة. 🔹 احداث 🔹 شارك @boundless_xyz في عدة فعاليات خلال فعالية ديفكونكت في بوينس آيرس، منها: • جلسة قراءة أوراق بيضاء نظمتها @HouseofZK بالشراكة مع @WPReadingClub و@invisiblgarden، حيث شارك Boundless و@citrea_xyz و@MinaProtocol و@o1_labs في مناقشات مائدة مستديرة حول التطورات البحثية الحديثة والأفكار الناشئة عبر نظام Web3 وZK. • جلسة التحقق من الذكاء 3.0، حيث ساهم @reka_eth، مدير التسويق في Boundless، في مناقشة حول إثبات المساهمة البشرية في عصر تشكل الذكاء الاصطناعي والروبوتات، إلى جانب متحدثين @humpty0x @OntologyNetwork، @zKsisyfos @StarkWareLtd، @DacEconomy @ProjectZKM، @Viggy_117 @eigencloud. الطابع الزمني - 00:57:54: 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹

موجزه 🔹 SP1 هايبر كيوب 🔹 أفادت @SuccinctLabs أن أحدث إصدار من جهاز SP1 Hypercube zkVM يمكنه إثبات 99.7٪ من كتل @ethereum L1 في أقل من 12 ثانية على 16 وحدة معالجة رسومات RTX 5090، مما يمدد الإنجاز السابق في الاختبار في الوقت الحقيقي: يضيف الإصدار تحسينات كبيرة في الأداء، والتحقق الرسمي من جميع قيود RISC-V، وإزالة التبعيات المتعلقة بتخمينات فجوة القرب، وتدابير أمان جديدة. تقوم Hypercube بإجراء عمليات تدقيق وسيتم إصدارها كمصادر مفتوحة المصدر ومن خلال شبكة Succinct Prover. 🔹 بحث 🔹 في دراسة حديثة أجراها @ronrothblum، رئيس قسم التشفير في Succinct, @benediktbuenz (@EspressoSys)، @GiacomoFenzi (@EPFL)، و@kleptographic (@NYU_Courant)، يقدم المؤلفون TensorSwitch، وهو نظام التزام متعدد حدود يعتمد على التجزئة الأمثل تقريبا: يعالج قيدين رئيسيين في SNARGs المعتمدة على التجزئة: وقت المحققين وأحجام البراهين الكبيرة. باستخدام أكواد التنسور وبراهين الأوراكل التفاعلية، يحقق TensorSwitch الالتزام وأوقات الفتح خطية من حيث حجم الإدخال، وتكاليف التجزئة الفرعية، واستعلامات التحقق بشكل متقارب، دون الاعتماد على إعداد موثوق أو تشفير جماعي 🔹 C2PA 🔹 انضمت Succinct إلى @C2PA_org، وتعمل جنبا إلى جنب مع مشاركين آخرين في تطوير معايير مفتوحة للتحقق من المحتوى الرقمي: مع زيادة الوسائط المولدة بالذكاء الذكاء الاصطناعي، يقدم المشروع التحقق من ZK لتعزيز سير العمل الخاص بالأصل من خلال الخصوصية والشهادات القابلة للتوسع. تهدف Succinct إلى دعم معايير البيانات الوصفية الموحدة وتحسين التوافقية عبر المنصات. من خلال الانضمام إلى C2PA، يخطط المشروع للمساهمة في البحث والمساعدة في نشر أدوات أصالة المحتوى في البيئات العملية. 🔹 OP Succinct Lite 🔹 قامت @Celo بترقية شبكة اختبار سيبوليا إلى OP Succinct Lite عبر الهاردفورك جيلو، واقتربت من إطلاق الشبكة الرئيسية: في وقت سابق من هذا العام، تحولت Celo إلى Ethereum L2 لدعم المدفوعات الواقعية وأصبحت أول سلسلة تعتمد OP Succinct Lite مع EigenDA v2. 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹

ZKM 🔹 مراجعه الحسابات 🔹 يخضع زيرين من ZKM لتدقيق من قبل @VeridiseInc، باستخدام منصة التحقق Picus: قامت فيريديز بتكييف قيود Plonky3 الخاصة بزيرين وأجرت تحليلات عبر @AuditHubDev. أكدت النتائج الأولية سلوكا حتميا للجمع والطرح في شريحة AddSub. تخطط الفرق لتوسيع التحقق إلى الدوائر الكاملة ودمج الفحوصات في سير عمل تطوير ZKM. 🔹 المنشورات 🔹 نشرت @ProjectZKM مقالا يشرح كيف يتحقق بروتوكول GKR من حسابات الدوائر الحسابية من خلال التحقق التكراري من الاتساق عبر طبقات الدوائر باستخدام بروتوكول Sumcheck متعدد المتغيرات: يشرح المقال بنية الدوائر الطبقية، ودور الامتدادات متعددة الخطيات، وكيف يقلل Sumcheck من التحقق إلى تقييمات نقاطية، وكيف ينتهي التكرار عند طبقة الإدخال. يوضح لماذا يعتبر GKR فعالا للدوائر الكبيرة وأساسيا في أنظمة ZK الحديثة. 🔹 احداث 🔹 أصدرت ZKM مقالا عن فترة وجودهم في @EFDevcon، وكان أبرز ما يلي: • ZKONNECT من @brevis_zk وHouse of ZK: انضم ZKM CTO @sd_eigen إلى لجنة الإثبات في الوقت الحقيقي EVM Proven in 10 Seconds التي تناقش أنظمة المقاومة المعجلة لوحدات معالجة الرسومات. • التحقق من المعلومات الاستخباراتية من House of ZK وBrevis: تحدث ستيفن عن الخصوصية القائمة على ZK في سير العمل الذكاء الاصطناعي وراجع تدقيق Ziren مع @VeridiseInc. انضم المؤسس المشارك @DacEconomy إلى لجنة الذكاء الاصطناعي والعمل للتحقق من مساهمات الإنسان. • @EtherArgentina الهاكاثون: رعت ZKM الحدث مع ستيفن كحكم وقائد التعليم @alicelingl فرق الإرشاد. • قمة BTCFi الأصلية من @babylonlabs_io و@build_on_bob: مناقشات حول التمويل المتوافق @Bitcoin وتوسيع نطاق البيتكوين. • StarkConnect بواسطة @Starknet: شارك ستيفن في جلسة حول توسيع البيتكوين مع Starknet و@AlpenLabs و@atomiqlabs. • قمة العالم الحقيقي ZK: جلسة نقاش حول سلاسل الحفاظ على الخصوصية مع @MantaNetwork @ZKVProtocol و@nillion. • Cultural Vivo by @invisiblgarden: عادت ZKM كراع لدعم المركز لبناة ZK و الذكاء الاصطناعي. 🔹 زوروا المزيد من التقارير من مختلف أنحاء الصناعة 🔹