تقرير بحثي من Brevis: طبقة الحساب القابلة للتحقق اللامحدود لـ zkVM ومعالجات البيانات المساعدة بتقنية ZK

دليل Chainfeeds:

قامت Brevis من خلال دمج zkVM العامة (Pico/Prism) مع معالج البيانات المساعد (zkCoprocessor)، ببناء طبقة حسابية متعددة السلاسل وقابلة للتحقق.

مصدر المقال:

Jacob Zhao

وجهة نظر:

Jacob Zhao: أصبحت "الحوسبة القابلة للتحقق" (Verifiable Computing) نموذج الحوسبة الشامل في البلوكشين، حيث يتمثل جوهرها في "الحوسبة خارج السلسلة + التحقق على السلسلة". هذا النموذج يمنح البلوكشين حرية حسابية شبه غير محدودة مع الحفاظ على اللامركزية وأمان الحد الأدنى من الثقة. وتعتبر إثباتات المعرفة الصفرية (ZKP) الدعامة الأساسية لهذا النظام، مع تطبيقات رئيسية تشمل قابلية التوسع، حماية الخصوصية، وقابلية التشغيل البيني/تكامل البيانات. من بينها، كانت قابلية التوسع أول اتجاه يتم تطبيقه، حيث يتم نقل العمليات الحسابية إلى خارج السلسلة وتنفيذ إثباتات مختصرة على السلسلة، مما يحقق توسعاً في الثقة مع إنتاجية عالية وتكلفة منخفضة. يمكن تلخيص مسار تطور تقنية ZK كالتالي: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. حقق L2 zkRollup لأول مرة تنفيذ العمليات خارج السلسلة والتحقق على السلسلة، مما أدى إلى تحسين كبير في الأداء؛ بينما وسع zkVM ذلك ليصبح طبقة حسابية قابلة للتحقق بشكل عام، تدعم التحقق عبر السلاسل، الاستدلال بالذكاء الاصطناعي، والمهام التشفيرية؛ أما zkCoprocessor فقد جعل هذا النموذج معيارياً، ليصبح خدمة إثبات جاهزة للاستخدام في DeFi، RWA، وإدارة المخاطر؛ وأخيراً، يدمج L1 zkEVM التحقق بالمعرفة الصفرية في طبقة تنفيذ Ethereum، ليحقق إثباتاً فورياً (Realtime Proving, RTP). يمثل هذا التطور انتقال البلوكشين من "قابلية التوسع" إلى "قابلية التحقق"، ويدخل عصر الحوسبة عديمة الثقة. مرت مسيرة zkEVM في Ethereum بمرحلتين: المرحلة الأولى (2022–2024)، حيث نقل L2 Rollup طبقة التنفيذ لكنه جلب معه تجزئة السيولة والحالة؛ المرحلة الثانية (2025–)، حيث يستبدل L1 RTP إثبات N-of-N بإثبات 1-of-N، مما يحافظ على اللامركزية مع زيادة الإنتاجية. خارج Ethereum، تتجه الحوسبة بالمعرفة الصفرية نحو مجال أوسع من الحوسبة القابلة للتحقق، مع أنظمة أساسية تشمل zkVM وzkCoprocessor. zkVM (الآلة الافتراضية بالمعرفة الصفرية) هو محرك تنفيذ عام وقابل للتحقق، يدعم تشغيل أي برنامج على مجموعات تعليمات RISC-V أو MIPS أو WASM، ويمكن التحقق من نتائج الإثبات على السلسلة، ويستخدم في التحقق من الكتل، الاستدلال بالذكاء الاصطناعي، والمهام عبر السلاسل. ميزته تكمن في العمومية والمرونة، لكن تكلفة توليد الإثباتات عالية والتحسين المتوازي معقد. من المشاريع الممثلة: RiscZero، SP1 من SuccinctLabs، وPico zkVM من Brevis. بالمقابل، يشبه zkCoprocessor "وحدة قابلة للتحقق لمواقف محددة"، حيث يوفر واجهات حساب وإثبات معيارية لـ DeFi وRWA وغيرها، ويمكن للتطبيقات الحصول على النتائج والإثباتات فقط من خلال استدعاء SDK أو API، مما يجعل التكامل سريعاً والتكلفة منخفضة، لكن العمومية محدودة. يشتركان في منطق "الحوسبة خارج السلسلة + التحقق على السلسلة": تكلفة تنفيذ العمليات الحسابية على السلسلة أعلى بكثير من التكلفة المجمعة لتوليد الإثبات خارج السلسلة والتحقق على السلسلة. من الناحية العملية، ينتمي zkVM إلى نموذج "Proving-as-a-Service"، حيث يوفر محرك حساب للبنية التحتية؛ بينما zkCoprocessor هو "Proof-API-as-a-Service"، يخدم طبقة التطبيقات بهيكل SaaS قائم على المهام. الأول يبني حاجزاً تقنياً، والثاني يدفع نحو التطبيق التجاري. معاً يشكلان قطبي شبكة الحوسبة عديمة الثقة: يبني zkVM قاعدة الحوسبة، بينما يدفع zkCoprocessor ازدهار النظام البيئي. تجمع Brevis Network بين بنية zkVM وzkCoprocessor، لتبني بنية تحتية عامة وعالية الأداء للحوسبة القابلة للتحقق، وتسمى "طبقة الحوسبة اللامحدودة". يستخدم Pico zkVM بنية معيارية، يفصل طبقة التنفيذ العامة عن طبقة المعالجة المساعدة المسرعة بالأجهزة، ليحقق نظاماً مزدوج الطبقات "عام + متخصص"، ويدعم العديد من محركات الإثبات ووحدات الضغط التكراري، ويمكن للمطورين كتابة منطق الأعمال بلغة Rust لتوليد الإثباتات تلقائياً، مما يقلل العتبة بشكل كبير. يحقق Pico Prism أداءً متقدماً في مجموعات GPU متعددة، حيث يحقق في بيئة 64×RTX5090 متوسط إثبات 6.9 ثانية، ونسبة تغطية RTP تبلغ 96.8%، وتكلفة الأداء تتفوق على المنافسين بمقدار 3.4 مرة. يتيح zk Data Coprocessor من Brevis للعقود الذكية امتلاك "ذاكرة"، حيث يمكنها الوصول إلى البيانات التاريخية والتحقق منها دون الحاجة للثقة، ويستخدم ذلك في مكافآت السيولة، الهوية عبر السلاسل، وDeFi المعتمد على البيانات. أما طبقة الحوافز Incentra، فتستخدم إثباتات ZK لتحقيق توزيع شفاف على السلسلة، وقد خدمت بالفعل بروتوكولات مثل PancakeSwap، Euler، UsualMoney، Linea وغيرها. ووفقاً لـ Brevis Explorer، حتى أكتوبر 2025، أنشأت الشبكة 125 millions من إثباتات ZK، ودعمت TVL بقيمة تتجاوز 2.8 billions دولار، وتحققت من حجم معاملات يتجاوز 1 billions دولار. تعتمد Brevis على طبقة الأمان في Ethereum وEigenLayer للتوسع إلى BNB، Linea، 0G وغيرها من الأنظمة البيئية، لتوفر دعماً أساسياً للحوافز على السلسلة، تحسين السيولة، والتحقق عبر السلاسل، وتبني شبكة حوسبة قابلة للتحقق ذات تغذية راجعة بين التقنية والتطبيقات. [النص الأصلي بالإنجليزية]