بريفيس: فتح عصر الحوسبة اللانهائية على البلوك تشين

العنوان الأصلي: Brevis: بداية عصر الحساب غير المحدود على البلوكشين

المؤلف الأصلي:律动BlockBeats

المصدر الأصلي:

إعادة النشر: مارس إنفستمنتس

في نوفمبر 2025، في مؤتمر Devconnect بالأرجنتين، قدم الباحث في مؤسسة إيثريوم Justin Drake عملية تحقق مختلفة للكتل، حيث استخدم عقد التحقق الخاص به عميل zkLighthouse، واعتمد فقط على إثباتات المعرفة الصفرية من بروتوكولات مثل Pico zkVM من Brevis، لإنهاء تحديد صحة الكتلة. هذا قد يشير بشكل كبير إلى اتجاه التوسعة المستقبلي لإيثريوم. لقد أثبت أن الأمر يتعلق بحقيقة واحدة: لا يتعين على البلوكشين تكرار تنفيذ جميع العمليات الحسابية، طالما يمكنه التحقق من الإثباتات الخارجية.

ما هو Brevis: طبقة الحساب القابلة للتحقق التي تستخدمها البروتوكولات والنواة الخاصة بإيثريوم

تحديد Brevis ليس مجرد تطبيق معين، بل هو طبقة حساب قابلة للتحقق. كطبقة حساب غير محدودة (Infinite Compute Layer)، تسمح بتنفيذ حسابات معقدة خارج السلسلة، وإعادة النتائج إلى السلسلة عبر إثباتات المعرفة الصفرية، بحيث يمكن للعقود الذكية التحقق منها بتكلفة منخفضة جدًا. هذه النقطة مهمة لأنها تتحدى نموذج الأمان الافتراضي لإيثريوم، الذي يعتمد في جوهره على إعادة الحساب على الشبكة بأكملها، حيث يتعين على كل عقدة تحقق عند استلام كتلة جديدة أن تعيد تشغيل المعاملات داخلها للتأكد من صحة النتائج. على الرغم من أن هذا يضمن الصحة، إلا أنه يرفع من استهلاك القوة الحاسوبية والموارد مع زيادة الحمل. يقوم Brevis بتحويل هذا الحساب المكرر إلى عملية حساب واحدة، والتحقق على مستوى الشبكة، حيث يتم الحساب خارج السلسلة وإنتاج إثبات، ويكفي التحقق من قبل العقدة على السلسلة من خلال إثبات صغير جدًا.

على عكس العديد من تطبيقات zk التي تركز فقط على الخصوصية أو التوسعة، فإن Brevis يعالج مشكلة هيكلية في صناعة Web3. عندما تصبح الحسابات على السلسلة أكثر تعقيدًا وتكرارًا، هل من الضروري أن تعتمد الأنظمة على تكرار كل عقدة لتنفيذ الحسابات؟ مسار Brevis هو نقل الحسابات خارج السلسلة، حيث يتم تنفيذها وإنتاج الإثبات بواسطة zkVM، ويقتصر التحقق على السلسلة على التحقق من الإثبات، مما يمكّن العقود من الاعتماد على البيانات التاريخية، والحالة عبر السلاسل، أو نتائج الخوارزميات المعقدة، دون إضافة افتراضات ثقة إضافية. خلال تحقيق هذا الهدف، تشكل تقنيات ZK Data Coprocessor، و Pico zkVM، و ProverNet الركائز التقنية الثلاث الحالية.

تمكين العقود الذكية من تجاوز الحدود: القوة الخارقة التي تقدمها ZK Data Coprocessor

كان الاختراق التقني الأول لـ Brevis هو ZK Data Coprocessor. الذي يمكن العقود الذكية من استعلام البيانات التاريخية على السلسلة، وتنفيذ الحسابات خارج السلسلة، وإنتاج إثباتات المعرفة الصفرية، وتقديم نتائج الحساب كمدخلات موثوقة للعقد. يمكن لـ ZK Data Coprocessor استعلام وحساب حجم المعاملات التاريخية أو سلوك المستخدم على السلسلة، وإنتاج إثباتات معرفية للتحقق منها من قبل العقود. هذا يسمح للعقود التي كانت تقتصر على الوصول إلى الكتلة الحالية، باستخدام بيانات النوافذ الزمنية الطويلة والحالة عبر السلاسل.

بعد تطوير نموذج أولي لـ Coprocessor في 2023، استمر Brevis في تحسينه حتى أطلق الإصدار الثاني (v2) في يناير 2025 وطرحه على الشبكة الرئيسية. التغييرات الرئيسية في v2 لا تتعلق باسم نظام الإثبات المحدد، بل يمكن تلخيصها في ثلاث نقاط: أسرع (إنجاز نفس المهمة باستخدام موارد أقل ووقت أقصر)، أكثر عمومية (تغطية أنواع أكثر من البيانات والمتطلبات الحسابية)، وأسهل في الاستخدام (تبسيط العمليات، ودمج التعقيد داخل حزم).

عند النظر إلى مسار تقنيات Brevis قبل 2025، يتضح أن هناك خطًا رئيسيًا واحدًا: فهم حدود أداء نظام الإثبات، ثم تطوير حسابات خارج السلسلة والتحقق على السلسلة ليصبحا Coprocessor قابل للاستخدام، مع الاستمرار في تحسينه، ثم استكشاف أشكال تشغيل أكثر نظامية. والأهم من ذلك، أن هذا يعكس جوهر الفريق، الذي يجمع بين فهم عميق في علم التشفير والهندسة النظامية على نطاق واسع، ويعمل على تحقيق الأهداف بشكل عملي، وليس فقط من خلال النظريات، مع تحديد نقاط الألم في الصناعة منذ البداية، والعمل على اعتماد التكنولوجيا على نطاق واسع.

عندما تدخل قدرات الإثبات إلى مستوى النظام: Pico zkVM و ProverNet

في عام 2025، أكمل Brevis تطوير تقنيتين أخريين من الثلاثة: الأولى هي محرك إثبات أكثر عمومية وملائم للبيئة الإنتاجية، وهو Pico zkVM، والثانية هي ProverNet، الذي يجعل قدرة إنتاج الإثباتات متاحة بشكل مفتوح، من الانتقال من إثبات يمكن إثباته إلى نظام يمكنه تقديم الإثباتات بشكل مستمر وعلى نطاق واسع.

يمكن فهم Pico zkVM على أنه محرك إثبات عام لـ Brevis، حيث ينقل إثبات المعرفة الصفرية من الدوائر المخصصة والتخصيص اليدوي إلى شكل أكثر شبهاً بالهندسة البرمجية — حيث يكتب المطورون المنطق باستخدام أساليب التطوير المألوفة، ثم يقوم الأسفل بتحويله إلى إثبات قابل للتحقق. والأهم من ذلك، أن Pico من البداية استهدف الأداء والتكلفة في الأعمال الحقيقية، وتحت نفس المعايير، تظهر المقارنات أن Pico يتفوق بشكل واضح على zkVMs السائدة من حيث الأداء، ويمكنه أيضًا تحسين كفاءة حسابات معينة عبر مكونات قابلة للتوصيل أو معالجات مساعدة.

في يونيو 2025، أطلق Brevis Pico-GPU، الذي نقل سرعة إنتاج الإثباتات في الوقت الحقيقي إلى نقطة حاسمة، ليس فقط على مستوى البروتوكول، بل على مستوى الصناعة بأكملها. نقل عملية إنتاج الإثبات الأساسية إلى المعالجة المتوازية على GPU، مع زيادة قدرها 10-20 مرة، وهو قفزة نوعية مقارنة بالحلول السابقة.

وفي أكتوبر، أطلق Brevis Pico Prism، الذي دفع هذا الاتجاه إلى مستوى واضح جدًا، حيث حقق على تكوين 64 بطاقة GPU استهلاكية، إكمال إثبات كتلة إيثريوم التي تحتوي على 45 مليون غاز بنسبة 99.6% خلال 12 ثانية، و96.8% خلال 10 ثوانٍ، ومتوسط زمن الإثبات حوالي 6.9 ثوانٍ، قريب جدًا من هدف مؤسسة إيثريوم. سرعة الإثبات في الوقت الحقيقي اقتربت لأول مرة بشكل كبير من سرعة إنتاج الكتل في إيثريوم، وبالمقارنة مع المنافسين، استهلكت موارد أقل.

هذه التطورات لاقت رد فعل مباشر من المجتمع المركزي لإيثريوم. حيث ذكر Vitalik مباشرة في تغريدة أن دخول Pico Prism إلى مسار إثبات ZK-EVM هو خطوة مهمة نحو سرعة وتنوع الإثباتات. وكتب Justin Drake في تغريدات سابقة أن تقدم Pico Prism غير عادي، مع العلم أن في مايو من نفس العام، كان يتطلب SP1 Hypercube 160 بطاقة RTX 4090 لإثبات حوالي 94% من كتل L1 خلال 12 ثانية. هذا التقدم الهائل في سرعة الإثبات جعل Brevis وPico Prism من أكثر الحلول إثارة للاهتمام.

بعد تطوير zkVM العام وتقنيات الإثبات في الوقت الحقيقي، بدأ Brevis في معالجة مشكلة توفير الإثباتات. في نوفمبر 2025، أعلن عن رؤية ProverNet، التي تهدف إلى تسويق قدرات الإثبات، حيث يمكن لأي تطبيق تقديم مهمة إثبات، ويتم التوافق عليها عبر مزاد في السوق مع عقد الإثباتات. وفي ديسمبر، أطلقت النسخة التجريبية للشبكة الرئيسية، مما جعلها منتجًا قابلًا للاستخدام، حيث يمكن للمستخدمين تقديم طلبات الإثبات مباشرة، وتسجيل العقد، وبدء المزايدة على الطلبات، دون الحاجة لبناء بنية تحتية خاصة للإثبات.

من خلال هذه الركائز الثلاث، حول Brevis قدرات الإثبات من أدوات إلى بنية تحتية، مع وجود محركات إثبات قابلة للتوسع، وشبكة إثباتات مفتوحة، تتيح للتطبيقات الحصول على حسابات قابلة للتحقق حسب الحاجة. وهذه ليست ذات أهمية فقط لإيثريوم — فهذه النماذج من الحساب خارج السلسلة والتحقق على السلسلة ستنتشر إلى صناعة Web3 بأكملها، وحتى إلى قطاعات أخرى مثل الذكاء الاصطناعي والألعاب.

البرتوكول لا يكذب: الاستخدام هو المقياس الحقيقي

القيمة التقنية لـ Brevis تظهر في التطبيقات الواقعية. فهي ليست مجرد مفهوم يُعرض في المواد الترويجية، بل تُدمج في العمليات اليومية للبروتوكول، من كيفية جمع البيانات، إلى حساب المؤشرات، إلى توزيع المكافآت، وتعديل الرسوم — تلك الأمور التي كانت سابقًا إما غير ممكنة أو تتطلب سكريبتات مركزية، الآن تتجه نحو مسار أكثر بروتوكولية. خلال ذلك، أنشأ Brevis أكثر من 280 مليون إثبات، ووزع أكثر من 2.3 مليار دولار مكافآت، وأدار بأمان نموًا بقيمة 25 مليار دولار في TVL.

أبسط طريقة لفهم Brevis هي من خلال المعاملات التي يعتاد عليها المستخدمون. يمكن لـ Brevis، مع ضمان الخصوصية والبيانات الحقيقية، أن يمنح DEX وظائف مشابهة للبورصات المركزية، مما يحسن تجربة المستخدمين في التداول. عبر hooks، يمكن لـ PancakeSwap Infinity أن يجعل رسوم المعاملات قابلة للتقسيم، حيث تؤثر سلوكيات مثل الاحتفاظ بالعملات أو حجم التداول على رسومك. لكن هذه القرارات تعتمد على تجميع البيانات التاريخية، وهو مكلف على السلسلة، أو يثير مشكلات ثقة خارج السلسلة. ما يفعله Brevis هو حساب السلوكيات التاريخية خارج السلسلة، ثم إرجاع البيانات إلى السلسلة عبر إثبات، بحيث يمكن كتابة رسوم مختلفة في العقود، بدلاً من أن تكون مخزنة في سكريبتات خلفية مثل البورصات المركزية.

إذا كانت PancakeSwap تمثل تجربة أكثر شبها بالبروتوكولات المركزية، فإن Usual تعرض آلية نمو طويلة الأمد، حيث يتحول التحفيز من توزيع مؤقت إلى نظام مستمر يعتمد على CPI. يتم ربط المكافآت والتفاعلات بشكل دائم، وBrevis يجعل هذه المؤشرات قابلة للتحقق، مما يتيح التوزيع الآلي والقابل للمراجعة، دون الحاجة إلى الاعتماد على المجتمع في تصديق جداول أو جهات مركزية. عبر Incentra، يمكن جعل إصدار المكافآت معيارًا، حيث يركز البروتوكول على حساب المؤشرات خارج السلسلة، والتسوية على السلسلة عبر الإثبات. فعالية Euler في Arbitrum تمثل مثالًا — حيث لا تعتمد المكافآت على إحصائيات يدوية أو توزيع مركزي، بل على قواعد وإثباتات تدعم التوزيع المستمر.

عندما تتوسع السيناريوهات على مستوى النظام البيئي، فإن برنامج Ignition الخاص بـ Linea يوضح الأمر أكثر، حيث التحدي ليس في إصدار الحوافز، بل في كيفية إصدارها. يسمح Brevis بحساب الحوافز على نطاق واسع خارج السلسلة، وإعادة الثقة إلى التحقق على السلسلة، مما يدفع الحوافز من عمليات تشغيل مركزية إلى قدرات نظامية قابلة لإعادة الاستخدام. ومن ناحية أخرى، فإن برنامج Routing Rebate في Uniswap v4 هو نظام نظامي أيضًا. هل يحدث التوجيه؟ كيف يتم حساب استهلاك الغاز؟ كيف يتم حساب المبالغ المستردة؟ كلها عمليات بيانات — حساب — تسوية على السلسلة. هنا، يتولى Brevis الحساب خارج السلسلة وإنتاج الإثبات، بحيث تعتمد أنظمة الاسترداد على القواعد والتحقق، وليس على الثقة في طرف معين.

عند ربط هذه الحالات، فإن جمع بيانات Brevis، وحساب المؤشرات، وإنتاج الإثباتات، يسمح للبروتوكولات، دون التضحية باللامركزية، بكتابة المزيد من المنطق الذي كان يُفترض سابقًا أن يظل مركزيًا، على السلسلة. هذا يوسع بشكل كبير من قدرات صناعة التشفير، ويعيد فتح مساحة التصميم.

من يدعم التقنية طويلة الأمد؟

يتكون فريق Brevis الأساسي من باحثين من جامعات مرموقة ومهندسين نظاميين من الصف الأول، ويتميزون بقدرة واضحة على العمل على تطوير أنظمة الإثبات والخوارزميات على المدى الطويل، بالإضافة إلى القدرة على دمج التقنيات المعقدة في بيئة إنتاج حقيقية، وتحسين الأداء، والاستقرار، والتكلفة حتى تصل إلى معايير النشر على نطاق واسع. والأهم من ذلك، أنهم ليسوا فريق مختبرات فقط، بل يفهمون أيضًا طريقة عمل صناعة التشفير: فهم احتياجات البروتوكولات، وتيرة التعاون البيئي، ولديهم تراكمات رأس مال ومجتمع، ويستطيعون تحويل المسار الهندسي إلى علاقات شراكة مستدامة وديناميكية مع المطورين.

هذا واضح من الدعم الطويل الأمد من رأس المال والمجتمع لـ Brevis. ففي نوفمبر 2024، أكملوا جولة تمويل أولية بقيادة Polychain وYzi Labs وغيرها من المؤسسات الرائدة، مما وفر التمويل المستمر لتطوير zkVM، وشبكة الإثبات، وتحقيق المنتج. وفي الوقت نفسه، شهدت مجتمعات Brevis نموًا ملحوظًا في 2025، مع برامج مثل Proving Grounds، ونظام الأدوار، وآليات المهام التي تجذب المطورين والمستخدمين للمشاركة المستمرة. ومع تأييد Vitalik العلني، واهتمام Justin Drake من مؤسسة إيثريوم بالتقدمات، تتشكل ثقة خارجية قوية في أن Brevis ستواصل التوسع كجزء من البنية التحتية.

من إيثريوم إلى العالم الأوسع

طويلًا، عانت إيثريوم من مأزق هيكلي في التوسعة، إما أن يكرر جميع العقد الحسابات لضمان الأمان، مما يحد من الأداء والتكلفة، أو أن يتم تفويض الحسابات خارجيًا لزيادة الكفاءة، مع الاعتماد على طرف موثوق خارجي. تحاول Brevis تقديم مسار ثالث — نقل الحسابات المعقدة خارج السلسلة، ثم إرجاع الثقة عبر الإثباتات للتحقق على السلسلة، وتحويل النظام من تكرار الحسابات إلى تقسيم العمل في التحقق من النتائج. هكذا، فإن قيمتها لا تقتصر على منتج واحد، بل على ربط كامل لمسار الحسابات القابلة للتحقق.

Brevis ليست الحل الوحيد لمشكلة توسعة إيثريوم، لكنها تظهر القيمة المهمة لطبقة الحساب القابلة للتحقق، حيث تفصل بين الحساب والتحقق، مما يضمن الأمان واللامركزية، ويطلق العنان لضغط التنفيذ على السلسلة. والأهم من ذلك، أن قوة الطبقة الحسابية غير المحدودة لا تقتصر على إيثريوم فقط. فهي تعني أن المزيد من التطبيقات على السلسلة يمكن أن تحقق مستوى من التعقيد والتجربة يشبه Web2، دون التضحية بالأمان. وعلى مستوى أوسع، فإن الحساب القابل للتحقق بعد التنفيذ يوفر وسيلة جديدة للتعاون — عندما يحتاج الأطراف المتعددة إلى مشاركة النتائج، لكن لا يمكنها مشاركة الثقة، يمكن أن تصبح الإثباتات لغة مشتركة جديدة. ومع نضوج شبكات الإثبات المفتوحة مثل ProverNet، فإن ما تبنيه Brevis لن يكون مجرد تعزيز لقدرات سلسلة واحدة، بل نظام موثوق به يمكن استدعاؤه عبر الأنظمة والصناعات.