مع تحول البلوكشين من شبكة معاملات بسيطة إلى منصة مالية قابلة للبرمجة وتطبيقات لامركزية، أصبحت إثباتات المعرفة الصفرية (ZK Proofs) حجر الزاوية في البنية التحتية لعالم Web3. ويتجلى ذلك بشكل خاص في مجالات مثل توسيع نطاق الـ Rollup، والتواصل بين السلاسل، والحوسبة القابلة للتحقق في الذكاء الاصطناعي، حيث يحتاج المطورون إلى بنية تحتية منخفضة التكلفة وواسعة النطاق لتوليد الإثباتات.
تعتمد أنظمة ZK التقليدية غالبًا على خدمات Prover مركزية. أما شبكة Prover من Succinct فتعتمد سوقًا لامركزية لتنظيم قوة التجزئة العالمية، مما يجعل توليد الإثباتات متاحًا مثل موارد الحوسبة السحابية.
ما هي شبكة Succinct Prover؟
شبكة Succinct Prover هي في الأساس سوق إثباتات لامركزية مفتوحة. وهي تربط بين نوعين أساسيين من المشاركين: المطورين والبروتوكولات التي تحتاج إلى توليد إثباتات، وعُقد Prover التي توفّر القدرة الحاسوبية.
في الإعداد التقليدي، يجب على كل Rollup أو بروتوكول عبر السلاسل الحفاظ على مجموعته الخاصة من Prover. لكن داخل شبكة Succinct، تقدم المشاريع المهام ببساطة، ويتولى النظام تلقائيًا معالجة توليد الإثبات والتحقق والتسوية.
يشبه هذا النموذج منصات الحوسبة السحابية. تتعامل Ethereum مع التسوية اللامركزية، ويوفر AWS موارد الحوسبة، وتقدم Succinct توليد إثباتات لامركزي. في الواقع، تعمل Succinct كبنية تحتية "إثبات كخدمة".
لماذا نحتاج إلى شبكة إثباتات لامركزية؟
من الخصائص المميزة لإثباتات المعرفة الصفرية أن توليدها معقد للغاية، بينما التحقق منها بسيط نسبيًا.
التحقق من إثبات SNARK على السلسلة يستهلك عادةً رسوم Gas قليلة، لكن توليد إثبات معقد غالبًا ما يتطلب قوة حوسبة GPU كبيرة ووقتًا طويلاً.
إذا قام كل مشروع ببناء Prover خاص به، ترتفع التكاليف بشكل كبير وتصبح قابلية التوسع محدودة. علاوة على ذلك، تطرح Provers المركزية مخاطر الرقابة ونقاط فشل مفردة.
تهدف Succinct إلى دمج قوة التجزئة الخاملة عالميًا عبر سوق مفتوح، مما يجعل توليد الإثباتات أرخص وأكثر كفاءة وأكثر مقاومة للرقابة. هذه هي القيمة الجوهرية لشبكة Prover.
كيف يعمل طلب إثبات ZK؟
يمر طلب إثبات ZK الكامل عادةً بخمس مراحل: تقديم الطلب، تعيين المهمة، توليد الإثبات، التحقق على السلسلة، وتسوية المكافآت.
تقديم الطلب
يقدم المطورون أولاً طلب إثبات إلى الشبكة.
يتضمن الطلب عادةً كود البرنامج، وبيانات الإدخال، ومعلمات التحقق، ومعلومات الميزانية. تعمل هذه البرامج على SP1 zkVM، لذا يمكن للمطورين كتابة منطق الأعمال مباشرة بلغة Rust دون الحاجة إلى بناء دوائر ZK معقدة.
على سبيل المثال:
- يمكن لـ Rollup تقديم مهمة تغيير الحالة
- يمكن لبروتوكول AI تقديم نتائج استدلال النموذج
- يمكن لـ Oracle تقديم حسابات بيانات خارج السلسلة
- يمكن لـ Bridge تقديم طلب مزامنة الحالة
بمجرد التقديم، ينتقل النظام تلقائيًا إلى المرحلة التالية.
تعيين المهمة
يتولى Auctioneer في شبكة Succinct جدولة المهام.
يعمل كطبقة تنسيق في سوق الإثباتات، ويختار تلقائيًا عقدة Prover الأنسب بناءً على ظروف الشبكة.
عند تعيين المهام، يأخذ النظام في الاعتبار عوامل متعددة، بما في ذلك سمعة العقدة، وتكلفة الإثبات، وسرعة الاستجابة، وقدرات الأجهزة.
عادةً ما تحصل العقدة التي لديها تاريخ من الأداء المستقر، وتوليد إثبات أسرع، و GPUs أقوى، أو تكاليف أقل على المزيد من المهام.
تضمن هذه الآلية القائمة على السوق أن توليد الإثبات لم يعد يعتمد على كيان واحد، بل يشكل شبكة قوة تجزئة مفتوحة وتنافسية.
توليد الإثبات
بمجرد التعيين، تنفذ عقدة Prover البرنامج وتولد الإثبات.
تعتمد هذه المرحلة بشكل أساسي على SP1 zkVM.
SP1 zkVM هي آلة افتراضية عامة للمعرفة الصفرية من Succinct. يكتب المطورون البرامج بلغة Rust، ويقوم النظام تلقائيًا بتجميعها في تعليمات RISC-V وتنفيذها داخل zkVM.
التدفق العام هو:
برنامج Rust ← RISC-V ← أثر التنفيذ ← إثبات STARK ← ضغط SNARK
الميزة الرئيسية لـ SP1 zkVM مقارنة بتطوير ZK التقليدي هي أن المطورين لا يحتاجون إلى تعلم لغة DSL خاصة بـ ZK أو تصميم دوائر تشفير يدويًا.
وهذا يحول تطوير إثباتات المعرفة الصفرية من "هندسة تشفير" إلى "تطوير برمجيات عادي".
ما هو أثر التنفيذ؟
عندما تقوم zkVM بتشغيل برنامج، فإنها تسجل عملية التنفيذ بأكملها.
يسمى هذا السجل أثر التنفيذ.
يسجل كل خطوة من تغييرات حالة البرنامج، بما في ذلك:
- تنفيذ التعليمات
- تغييرات الذاكرة
- حالات المسجلات
- علاقات الإدخال/الإخراج
ثم يقوم النظام بتحويل هذا الأثر إلى قيود رياضية وينتج في النهاية إثبات ZK.
وبالتالي، فإن الإثبات لا يؤكد فقط وجود نتيجة، بل يثبت أن البرنامج نفذ بشكل صحيح وفقًا لقواعده.
التحقق على السلسلة
بعد التوليد، يتم تقديم الإثبات على السلسلة للتحقق.
يقدم التحقق على السلسلة العديد من الفوائد:
- تنفيذ سريع
- تكاليف Gas منخفضة
- قابلية التدقيق العامة
- عدم الكشف عن البيانات الخام
بمجرد التحقق، يمكن للبروتوكول المعني تحديث حالته بأمان.
على سبيل المثال:
- يمكن لـ Rollup تحديث حالته من الطبقة الثانية
- يمكن لـ Bridge مزامنة البيانات عبر السلاسل
- يمكن لتطبيق AI التحقق من مخرجات النموذج
- يمكن لـ Oracle تأكيد صحة البيانات خارج السلسلة
هذا هو السبب في أهمية تقنية ZK في Web3.
لماذا التحقق أرخص من التوليد؟
هذه خاصية أساسية لإثباتات المعرفة الصفرية.
تتطلب مرحلة توليد الإثبات:
- تنفيذ البرنامج بالكامل
- بناء قيود رياضية
- حساب كثيرات حدود معقدة
هذه العملية ثقيلة حسابيًا.
أما التحقق فيتحقق فقط من أن الإثبات النهائي يفي بالقواعد التشفيرية، مما يجعله أرخص بكثير.
هيكل "الحوسبة الثقيلة خارج السلسلة، التحقق الخفيف على السلسلة" هو الأساس لقابلية توسيع Rollup والحوسبة القابلة للتحقق.
التسوية والمكافآت
بمجرد اكتمال التحقق من الإثبات، ينتقل النظام إلى التسوية.
يتم استخدام رمز PROVE لرسوم خدمة الإثبات، وتخزين العقد، وتوزيع المكافآت، وحوكمة الشبكة.
تكسب العقد التي تقدم إثباتات عالية الجودة باستمرار مكافآت ومهام أكثر؛ ويمكن أن يؤدي السلوك الضار إلى فقدان السمعة أو حتى خفض الرهان.
وبالتالي، فإن PROVE ليس مجرد رمز دفع، بل هو أيضًا جزء أساسي من آلية أمان الشبكة.
الأدوار الأساسية في شبكة Succinct
تم بناء الشبكة حول أربعة أدوار رئيسية.
مقدم الطلب
يشمل مقدمو الطلبات Rollups، وبروتوكولات AI، و Oracles، و Bridges، ومختلف تطبيقات Web3. يقدمون البرامج والبيانات للتحقق.
المُثبِت
المُثبِتون هم مزودو قوة التجزئة. ينفذون البرامج، ويولدون الإثباتات، ويقدمون النتائج، ويجمعون المكافآت.
تميل العقد الأقوى إلى تلقي مهام أكثر تعقيدًا.
منسق المزاد
يتولى Auctioneer جدولة المهام، ومطابقة العقد، وتحسين الموارد.
يعمل كنظام "جدولة الإثباتات" للشبكة.
طبقة التسوية
تتعامل طبقة التسوية مع التحقق على السلسلة، وتسجيل الحالة، وتسوية المكافآت.
عادةً ما يتم نشر هذه الطبقة على بلوكشين عالية الأمان مثل Ethereum.
التحديات التي تواجه Succinct
على الرغم من رؤيتها الواعدة، تواجه Succinct تحديات واقعية.
أولاً، لا يزال توليد الإثباتات المعقدة مكلفًا، ويتطلب موارد GPU وأجهزة كبيرة.
ثانيًا، يجب على zkVM العامة أن توازن بين الأداء والأمان والعمومية – وهو أكثر تعقيدًا بكثير من دائرة ZK متخصصة.
بالإضافة إلى ذلك، فإن مساحة zkVM وبنية ZK التحتية تنافسية للغاية، حيث يتنافس لاعبون مثل RISC Zero وzkSync وStarknet وPolygon zkEVM جميعًا على المطورين وحصة النظام البيئي.
علاوة على ذلك، لا يزال سوق الحوسبة القابلة للتحقق واسع النطاق في مراحله المبكرة، ولم يظهر الطلب الجماهيري الحقيقي بعد بشكل كامل.
ملخص
تعمل شبكة Succinct Prover على تحويل إثباتات ZK من أداة تشفير معقدة إلى خدمة بنية تحتية موحدة.
من خلال SP1 zkVM، وسوق Prover اللامركزي، وآلية جدولة Auctioneer، ونظام حوافز PROVE، أنشأت Succinct اقتصاد إثباتات مفتوحًا يتيح للمطورين الوصول إلى قوة حوسبة قابلة للتحقق بسهولة مثل استخدام الخدمات السحابية.
الأسئلة الشائعة
ما الخطوات المتضمنة في طلب إثبات ZK؟
يتضمن طلب إثبات ZK النموذجي تقديم الطلب، تعيين المهمة، توليد الإثبات، التحقق على السلسلة، وتسوية المكافآت.
ما هو دور SP1 zkVM في الشبكة؟
يقوم SP1 zkVM بتنفيذ البرامج وتوليد إثباتات ZK تلقائيًا، مما يلغي حاجة المطورين لتصميم دوائر ZK معقدة يدويًا.
لماذا نحتاج إلى شبكة Prover لامركزية؟
لأن توليد الإثبات مكلف، يمكن للشبكة اللامركزية تجميع موارد الحوسبة العالمية لخفض التكاليف وتحسين قابلية التوسع.
