اثباتات ZK ما وراء الـ Rollups: استدلال الذكاء الاصطناعي القابل للتحقق على Ethereum
Engineering Team
ما تتيحه اثباتات ZK ما وراء التوسع
اثباتات المعرفة الصفرية كانت مرادفة لتوسيع البلوكتشين منذ 2021. يستخدمها zkSync وStarkNet وScroll وPolygon zkEVM لضغط آلاف المعاملات في اثبات واحد يتم التحقق منه على Ethereum L1. لكن التوسع هو التطبيق الاول فقط. القوة الحقيقية لاثباتات ZK هي الحوسبة القابلة للتحقق — القدرة على اثبات ان برنامجا عشوائيا تم تنفيذه بشكل صحيح دون اعادة تشغيله.
هذا التأطير مهم: ZK ليست تقنية توسع لها استخدامات اخرى بالصدفة. ZK هي تقنية حوسبة قابلة للتحقق متعددة الاغراض وجدت اول سوق كبير لها في توسيع البلوكتشين.
في 2026، اكثر تطبيقات ZK اثارة ليست الـ rollups:
- zkML — اثبات ان نموذج تعلم آلي انتج مخرجات محددة دون الكشف عن اوزان النموذج
- معالجات ZK المشتركة — تشغيل حسابات ثقيلة خارج السلسلة ونشر اثبات موجز على السلسلة
- بيانات اعتماد قابلة للتحقق — اثبات سمات الهوية (العمر، الجنسية، درجة الائتمان) دون الكشف عن البيانات الاساسية
- حماية MEV — تشفير نية المعاملة واثبات الصلاحية دون الكشف عن التفاصيل لبناة الكتل
zkML: استدلال الذكاء الاصطناعي القابل للتحقق
zkML — تطبيق اثباتات المعرفة الصفرية على استدلال التعلم الآلي — يحل مشكلة حقيقية: كيف تثق بأن نموذج ذكاء اصطناعي انتج مخرجات محددة؟
مشكلة الثقة
تخيل بروتوكول اقراض DeFi يستخدم نموذج ذكاء اصطناعي لتسجيل الائتمان. تنشأ ثلاث مشاكل ثقة:
- سلامة النموذج — كيف يعرف المقترض ان البروتوكول استخدم النموذج المعلن؟
- سلامة المدخلات — كيف يثبت البروتوكول انه استخدم البيانات الصحيحة على السلسلة؟
- سلامة التنفيذ — كيف يتحقق اي شخص من ان الحساب تم بشكل صحيح؟
بدون اثباتات ZK، الاجابة هي “الوثوق بمشغل البروتوكول”. مع zkML، تصبح الاجابة: “التحقق من الاثبات.”
كيف يعمل zkML
1. تكميم النموذج: تحويل الاوزان العشرية العائمة الى نقطة ثابتة
2. تجميع الدائرة: ترجمة كل طبقة شبكة عصبية الى قيود حسابية
3. توليد الشاهد: تنفيذ النموذج بالمدخلات الفعلية
4. توليد الاثبات: استخدام نظام اثبات (Halo2, Plonky3, SP1)
5. التحقق: عقد ذكي على Ethereum يتحقق من الاثبات في O(1)
القيود الحالية
| حجم النموذج | وقت الاثبات | حجم الاثبات | غاز التحقق | عملي؟ |
|---|---|---|---|---|
| صغير جدا (100K معامل) | 5-30 ثانية | 256 بايت | ~300K غاز | نعم |
| صغير (1M معامل) | 1-5 دقائق | 256 بايت | ~300K غاز | نعم، للمهام غير المتزامنة |
| متوسط (10M معامل) | 15-60 دقيقة | 256 بايت | ~300K غاز | ممكن مع GPU |
| كبير (100M+ معامل) | ساعات الى ايام | 256 بايت | ~300K غاز | للبحث فقط |
| حجم LLM (1B+ معامل) | غير عملي | — | — | ليس بعد |
حالات استخدام zkML في الانتاج
1. تسجيل الائتمان على السلسلة — بروتوكول DeFi يشغل نموذج تسجيل ائتمان. اثبات zkML يضمن: النموذج الصحيح، البيانات الصحيحة، الحساب الصحيح.
2. اعتدال المحتوى القابل للتحقق — منصة اجتماعية لامركزية تثبت التطبيق المتسق لمصنف الذكاء الاصطناعي.
3. التعلم الآلي الخاص — بروتوكول صحي يثبت نتيجة تشخيصية دون الكشف عن بيانات المريض.
معالجات ZK المشتركة: الحوسبة خارج السلسلة، التحقق على السلسلة
لماذا لا نستخدم اوراكل فقط؟
| الخاصية | اوراكل | معالج ZK مشترك |
|---|---|---|
| نموذج الثقة | الوثوق بالمشغل | الوثوق بالرياضيات |
| مصدر البيانات | واجهات برمجة خارجية | حالة البلوكتشين (قابلة للتحقق) |
| الحوسبة | تجميع بسيط | برامج عشوائية |
| التكلفة | رسوم لكل طلب | غاز التحقق من الاثبات |
| التأخير | ثوان | دقائق (وقت الاثبات) |
المشاريع الرائدة
Axiom — اول معالج ZK مشترك لـ Ethereum، يركز على استعلامات الحالة التاريخية.
Brevis — معالج ZK مشترك متعدد الاغراض مع حوسبة مخصصة.
Lagrange — متخصص في اثباتات الحالة عبر السلاسل.
مقارنة انظمة الاثبات: SP1 مقابل RISC Zero مقابل Jolt
| الميزة | SP1 | RISC Zero | Jolt |
|---|---|---|---|
| ISA | RISC-V | RISC-V | RISC-V |
| نظام الاثبات | Plonky3 (STARK) | STARK + Groth16 wrapper | Lasso/Surge (sumcheck) |
| اللغة | Rust | Rust | Rust |
| غاز التحقق | ~270K | ~250K | ~300K |
| سرعة الاثبات | سريع (1x) | متوسط (ابطأ 1.5x) | سريع (0.9x) |
| تسريع GPU | نعم (CUDA) | نعم (CUDA، Metal) | نعم (CUDA) |
| النضج | انتاج (2025+) | انتاج (2024+) | بيتا (2025+) |
الاسئلة الشائعة
ما الفرق بين اثباتات ZK وZK rollups؟
ZK rollups هي تطبيق واحد لاثباتات ZK. اثباتات ZK نفسها هي اداة تشفير عامة للحوسبة القابلة للتحقق.
هل احتاج لفهم التشفير لبناء باستخدام ZK؟
مع zkVMs الحديثة (SP1, RISC Zero, Jolt)، لا. تكتب كود Rust قياسي.
كم تكلفة التحقق من اثبات ZK على Ethereum؟
تحقق Groth16 يكلف حوالي 250-300K غاز (~0.50-1.50 دولار).
هل يمكن لاثباتات ZK ضمان سلامة الذكاء الاصطناعي؟
لا. اثباتات ZK تضمن سلامة الحوسبة، وليس ان النموذج آمن او عادل.
متى ستعمل اثباتات ZK مع نماذج اللغات الكبيرة؟
ليس في 2026. تسريع الاجهزة (ASICs) قد يجعل نماذج LLM المتوسطة ممكنة بحلول 2028-2029.