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

لقد قامت Brevis ببناء خندق أولي في كلا الطرفين “قابلية إعادة الإنتاج” و “قابلية تطبيق الأعمال”، مع التركيز على البناء على بنية تحتية قابلة للتحقق من الصحة قائمة على الحسابات ذات المعرفة الصفرية. (خلفية سابقة: تم الإشادة بـ Ethereum من قبل V神 بسبب “Polygon”: إخماد النيران: مساهمات ZK كبيرة، وليس فقط التمويل الممل) (معلومات خلفية: كتب V神 مقالة طويلة: يمكن لبروتوكول GKR إثبات Ethereum بسرعة، و zk-ML تسارع الذكاء الاصطناعي LLM) لقد قامت Brevis ببناء خندق أولي في كلا الطرفين: لقد احتلت Pico/Prism المرتبة الأولى في مسار L1 RTP، بينما فتح zkCoprocessor مشاهد تجارية عالية التردد وقابلة لإعادة الاستخدام. لقد أصبح نموذج الحساب القابل للتحقق (Verifiable Computing) المكون من “حساب خارج السلسلة + تحقق داخل السلسلة” نموذج الحساب العام في نظم البلوكتشين. إنه يتيح لتطبيقات البلوكتشين الحصول على حرية حسابية شبه غير محدودة (computational freedom) مع الحفاظ على اللامركزية وأقل حد من الثقة (trustlessness) في الأمان. تعتبر إثباتات المعرفة الصفرية (ZKP) العمود الفقري لهذا النموذج، حيث تتركز تطبيقاتها بشكل رئيسي في ثلاثة مجالات أساسية: التوسع (Scalability)، الخصوصية (Privacy)، والتشغيل البيني ونزاهة البيانات (Interoperability & Data Integrity). من بين هذه المجالات، يعد التوسع هو السيناريو الذي تم فيه تطبيق تقنية ZK لأول مرة، من خلال نقل تنفيذ المعاملات إلى خارج السلسلة، والتحقق من النتائج عبر إثباتات مختصرة على السلسلة، مما يحقق قابلية توسع موثوقة بتكلفة منخفضة. يمكن تلخيص تطور الحساب الموثوق باستخدام ZK على النحو التالي: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. في البداية، نقلت L2 zkRollup التنفيذ إلى الطبقة الثانية وقدموا إثباتات صحة (Validity Proof) في الطبقة الأولى؛ مما خفض التكاليف بشكل ملحوظ وزاد من القدرة الاستيعابية، ولكنه أدى إلى تشتت السيولة والحالة، ولا تزال L1 مقيدة بإعادة التنفيذ N-of-N. المرحلة الثانية (2025-): ستستخدم إثباتات الوقت الحقيقي (Realtime Proving, RTP) من L1 “إثبات 1-of-N + تحقق خفيف عبر الشبكة” بدلاً من إعادة التنفيذ، مما يزيد من القدرة الاستيعابية دون التضحية باللامركزية، ولا يزال في مرحلة التطوير. مرحلة zkRollup L2: توازن بين التوافق وأداء التوسع في عام 2022 في مرحلة ازدهار بيئة Layer2، اقترح مؤسس Ethereum Vitalik Buterin أربعة أنواع من ZK-EVM (النوع 1-4)، مما يكشف عن التوازن الهيكلي بين التوافق (compatibility) والأداء (performance). وقد أسست هذه الإطار نقاط مرجعية واضحة لمسار تقنية zkRollup اللاحقة: النوع 1 متكافئ تمامًا: يتطابق مع bytecode الخاص بـ Ethereum، مع أقل تكلفة انتقال وأبطأ إثبات. Taiko. النوع 2 متوافق تمامًا: تحسينات طفيفة على المستوى الأساسي، مما يجعل التوافق هو الأقوى. Scroll، Linea. النوع 2.5 شبه متوافق: تغييرات طفيفة (غاز/تجميع مسبق، إلخ) لتبادل الأداء. Polygon zkEVM، Kakarot. النوع 3 متوافق جزئيًا: تغييرات أكبر، يمكنها تشغيل معظم التطبيقات ولكن يصعب إعادة استخدام بنية L1 بالكامل. zkSync Era. النوع 4 على مستوى اللغة: التخلي عن التوافق مع bytecode، يتم تجميعها مباشرة من لغة عالية المستوى إلى دوائر، مع أداء أعلى ولكن يتطلب إعادة بناء النظام البيئي (المشاريع الممثلة: Starknet / Cairo). لقد أصبحت نماذج L2 zkRollup ناضجة: من خلال نقل التنفيذ إلى الطبقة الثانية، وتقديم إثباتات صحة في الطبقة الأولى؛ مع تغييرات طفيفة، استمرت في استخدام نظام Ethereum البيئي وأدواته، مما يجعلها الحل الرئيسي للتوسع وتقليل التكاليف. تتعلق أهداف إثباتاتها بكتل L2 وانتقال الحالة، بينما لا تزال التسوية والأمان مرتبطة بـ L1. لقد زادت هذه البنية بشكل كبير من القدرة الاستيعابية والكفاءة، مع الحفاظ على توافق عالٍ مع المطورين، ولكنها جلبت أيضًا تشتت السيولة والحالة، ولا تزال L1 مقيدة بعوائق إعادة التنفيذ N-of-N. L1 zkEVM: إعادة تشكيل منطق التحقق الخفيف لـ Ethereum من خلال إثبات الوقت الحقيقي في يوليو 2025، نشرت مؤسسة Ethereum مقالًا بعنوان “Shipping an L1 zkEVM #1: Realtime Proving”، حيث تم تقديم مسار L1 zkEVM رسميًا. يقوم L1 zkEVM بترقية Ethereum من إعادة التنفيذ N-of-N إلى “إثبات 1-of-N + تحقق سريع عبر الشبكة”: حيث يقوم عدد قليل من المحققين بتنفيذ الكتلة بأكملها وإنتاج إثباتات مختصرة؛ جميع المدققين يقومون فقط بالتحقق في وقت ثابت. يحقق هذا الحل إثباتات الوقت الحقيقي من مستوى L1 (Realtime Proving) دون التضحية باللامركزية، مما يزيد من حد الغاز الرئيسي للشبكة والقدرة الاستيعابية، ويقلل بشكل كبير من متطلبات الأجهزة. خطة التنفيذ هي استبدال عميل zk بالعميل التنفيذي التقليدي، مما يسمح بتشغيل متوازي، وعند نضوج الأداء والأمان وآلية التحفيز، ستصبح تدريجياً الوضع الطبيعي الجديد على مستوى البروتوكول. النموذج القديم N of N: جميع المدققين يقومون بإعادة تنفيذ الكتلة بأكملها للتحقق، مما يضمن الأمان ولكنه يقيد القدرة الاستيعابية وارتفاع تكاليف الذروة. النموذج الجديد 1 of N: يقوم عدد قليل من المحققين بتنفيذ الكتلة بأكملها وإنتاج إثباتات مختصرة؛ يتحقق الشبكة بأكملها فقط في وقت ثابت. تكاليف التحقق أقل بكثير من إعادة التنفيذ، مما يزيد بشكل آمن من حد غاز L1، ويقلل من متطلبات الأجهزة. خريطة طريق L1 zkEVM تتضمن ثلاثة مسارات رئيسية: إثباتات الوقت الحقيقي (Realtime Proving): إكمال إثبات الكتلة بالكامل في 12 ثانية من وقت الفتحة، من خلال التسريع والتوازي لتقليل التأخير؛ دمج العميل والبروتوكول: واجهة تحقق موحدة، أولاً اختيارية، ثم افتراضية؛ التحفيز والأمان: إنشاء سوق للمحققين ونموذج تكاليف، وتعزيز مقاومة الرقابة ونشاط الشبكة. إثبات الوقت الحقيقي ل Ethereum L1 (RTP) يستخدم zkVM لإعادة تنفيذ المعاملات بالكامل خارج السلسلة وإنتاج إثباتات مشفرة، مما يسمح للمدققين بالتحقق دون الحاجة إلى إعادة الحساب، فقط في 1…