نقدم تقريرا هنا عن التقدم الذي أحرزته شركات البناء الرائدة في خدمة الإثبات ZKonomy ، ونوثق الإصدارات المهمة الأخيرة والاختراقات التقنية والتحديثات 👇 العامة

زك كلاود تلقت @thezkcloud منحة من @ethereumfndn لإنشاء ZKPs باستمرار لكتل الشبكة الرئيسية @ethereum طوال الربع الثاني من عام 2025. يتم نشر جميع البراهين علنا عبر @eth_proofs. الهدف هو إظهار بنية تحتية قابلة للتطوير للإثبات في الوقت الفعلي. يستخدم ZkCloud مجموعة 24 وحدة معالجة رسومات وأدوات مفتوحة المصدر معدلة ، مع خطط لاعتماد أسرع zkVMs المتاحة وتقليل زمن الوصول لإثباتات الكتلة دون 12 ثانية: بالإضافة إلى ذلك ، أضاف المشروع أربعة مدققين جدد إلى Testnet الخاص به: @kintsugi_tech و @DeSpreadTeam و @CalBlockchain و @AhnLab_ABC. تجلب هذه المجموعات نقاط قوة متنوعة - من البنية التحتية المحلية والأمن السيبراني إلى عمليات البحث والمدقق. تعزز مشاركتهم الإثبات اللامركزي مع اقتراب ZkCloud من Mainnet وتكثيف قدرات الإثبات في الوقت الفعلي داخل شبكتها: علاوة على ذلك ، كانت ZkCloud واحدة من الرعاة الرئيسيين لقمة Ethproofs التابعة ل House of ZK خلال عام @BerBlockWeek. شارك رئيس @NorbertVadas المنتج في ثلاث جلسات في هذا الحدث: 1) أولا ، ألقى كلمة رئيسية تحدث فيها عن الاختناقات المعمارية والتقنية لتوسيع نطاق إثبات ZK - من تحسين جلب بيانات RPC إلى التعامل مع التباين غير المتوقع في تعقيد الكتلة بسبب أكواد تشغيل EVM مع النفقات العامة غير المتناسبة: 2) في وقت لاحق ، انضم نوربرت إلى @Khovr من Ethereum Foundation ، @0xAlecJames @NexusLabs ، و @MayaD09111862 من @StarkWareLtd ، و @alicelingl من @HouseofZK لمناقشة كيف يمكن لمعايير zkVM الموحدة أن تضلل عند تحسينها للمقاييس الضيقة ، وأهمية تقييم الأداء المدرك للأجهزة ، والحاجة إلى أطر عمل شفافة ومتعددة الأبعاد تعكس أعباء العمل في العالم الحقيقي وتبني الثقة في الحوسبة التي يمكن التحقق منها: 3) أخيرا ، جنبا إلى جنب مع @carlo_cretino50 @0xLita و @DacEconomy @ProjectZKM و @schmiddominik1 @0xMiden و Alice Liu من House of ZK ، استكشف تطور قابلية التشغيل البيني ل zkVM ، وسلط الضوء على إمكانية تجاوز الجسور التقليدية ، ودور مزودي الإثبات اللامركزي ، وأهمية المعايير المشتركة لتطبيقات blockchain القابلة للتطوير والآمنة:

إنغونياما أصدرت @Ingo_zk تنفيذا سريعا ل ML-KEM ، وهو بروتوكول تغليف مفاتيح قائم على الشبكة اختاره NIST لتشفير ما بعد الكموم. الكود المستند إلى CUDA مفتوح المصدر بموجب ترخيص معهد ماساتشوستس للتكنولوجيا ويحقق إنتاجية أعلى بنسبة تصل إلى 30٪ مقارنة بالتطبيقات الحالية. يدعم ML-KEM ثلاثة مستويات أمان تتماشى مع Kyber512 وKyber768 وKyber1024: بالإضافة إلى ذلك ، أصدرت @BagadSuyash و @yuval_domb من Ingonyama و @QuangVDao of @CarnegieMellon و @SuccinctJT من @a16zcrypto ورقة تصف تكامل اثنين من التحسينات الرئيسية التي تسرع بشكل كبير من بروتوكول التحقق من المجموع ، وهو مكون أساسي ل SNARKs. تستهدف التقنيات مدخلات متعددة الحدود ذات القيمة الصغيرة وأشكال كثيرة الحدود للمساواة ، مما يتيح 2-4× إثبات تخفيضات الوقت في Jolt zkVM ، مع تحسينات أكبر عندما تكون الذاكرة مقيدة. تعالج هذه النتائج بشكل مباشر اختناقات prover في أنظمة مثل Spartan داخل Jolt:

فرما أطلقت @fermah_xyz المرحلة 2 من شبكة الاختبار الخاصة بها ، والتي تتضمن دمج عقد Prover الخارجية ، وتحسين أدوات المطورين ، وتشغيل معايير مخصصة. سميت المرحلة على اسم البروفيسور أميت ساهاي ، الذي شكل عمله بشكل كبير أسس تشفير ZK. ويشير فرما إلى أن المراحل المستقبلية ستوسع المشاركة إلى ما هو أبعد من شبكة البنية التحتية الحالية، مما يشير إلى استمرار النمو والمشاركة المجتمعية على نطاق أوسع: بالإضافة إلى ذلك ، شارك @vanishree_rao ، مؤسس Fermah ، خلال @eth_proofs Call # 2 ، أن Fermah قد اندمجت مع @RiscZero و @openvm_org لإنشاء البراهين محليا ، بهدف دعم جميع zkVMs وإرسال أكثرها كفاءة إلى Ethproofs. كما شاركت اقتراحا لتعريف أمان جديد - قابلية استخراج الدليل المختارة - تسليط الضوء على الثغرات في المعايير الحالية. [الطابع الزمني - 02:04:50]:

سيسيك يقدم @cysic_xyz ComputeFi ، بهدف تحقيق اللامركزية في قوة الحوسبة ، وهو أمر بالغ الأهمية لكل من تقنيات الذكاء الاصطناعي و ZK. تمكن المنصة المستخدمين من تحقيق الدخل من الأجهزة وتمنح المطورين وصولا شفافا وبأسعار معقولة إلى موارد الحوسبة. من خلال تقليل الاعتماد على مقدمي الخدمات المركزيين ، يقول Cysic إن البناة يمكنهم الابتكار بحرية وأمان وفعالية من حيث التكلفة - مما يمهد الطريق لمشاركة رقمية أوسع وتطبيقات تركز على الخصوصية: بالإضافة إلى ذلك ، أطلق المشروع المرحلة الثالثة: إشعال شبكة الاختبار الخاصة به - بناء على المراحل السابقة التي قدمت نظاما مزدوجا للرمز المميز ، ومثبتات GPU ، ومدققي الأجهزة المحمولة. Ignition هو إصدار تجريبي عام يوفر للمستخدمين فرصة للمشاركة في الحوسبة اللامركزية وكسب مكافآت testnet. الوصول حاليا للمدعوين فقط، مع دعم الهاتف المحمول قريبا: أخيرا ، في @eth_proofs Call # 2 الأخير ، @leofanxiong شارك المؤسس المشارك لشركة Cysic تحديثات على ASICs المخصصة الخاصة بهم المصممة ل ZKPs. تدعم الرقائق حقول ZK الرئيسية وتقدم أكثر من 1.3 مليون تجزئة Keccak / ثانية. يستخدمون شبكة مخصصة على رقاقة لإعادة ترتيب البيانات بكفاءة وإقران الأجهزة ذات الوظائف الثابتة مع وحدات المعالجة المركزية لتحقيق المرونة. على الرغم من أنها لا تزال تستخدم FPGA ، إلا أنها تتفوق على إنتاجية GPU النموذجية:

سناركيفي خلال أحدث @eth_proofs Call ، أخبر @drouyang ، المؤسس المشارك والرئيس التنفيذي لشركة @Snarkify_ZKP ، الحاضرين أن Snarkify قد بنى أسرع H2 GPU على الشبكة الرئيسية @Scroll_ZKP وتجاوز 750 ميجاهرتز في سرعة محاكاة RISC-V. نقل الفريق جيل التتبع الكامل إلى وحدات معالجة الرسومات ، مما عزز الإنتاجية بشكل كبير. سيتم إطلاق منتجهم ، الذي يتيح الإثبات في الوقت الفعلي لأي zkVM ، بحلول نهاية يونيو. [الطابع الزمني - 01:12:30]:

مارلن أعلنت @MarlinProtocol أن المطورين الذين يبنون على @SuiNetwork سيكون لديهم وصول غير مقيد إلى سوق الحوسبة TEE عبر Nautilus. سيكونون قادرين على الاختيار بين الأجهزة الظاهرية السرية المخصصة أو التنفيذ بدون خادم، المستحقة الدفع بعملة USDC. تتضمن الأدوات دعم Docker وإدارة المفاتيح والتصديق: علاوة على ذلك ، أعلنت مارلين أن بيئات التنفيذ الموثوقة الخاصة بها تدعم الآن طبقة التسوية الخاصة ب @cyclenetwork_GO والبنية التحتية للسيولة بدون جسر ، مما يعزز المعالجة الآمنة للبيانات خارج السلسلة. تلبي هذه الترقية احتياجات السرية المؤسسية مع تمكين التسوية عالية الإنتاجية: