في نوفمبر 2025، خلال فعاليات Devconnect في الأرجنتين، قدّم الباحث في مؤسسة الإيثريوم، جاستن دريك، عرضًا لعملية تحقق مختلفة للكتل. استخدم عقد التحقق الخاص به عميل zkLighthouse، الذي يعتمد فقط على إثباتات المعرفة الصفرية (Zero-Knowledge Proofs) التي توفرها بروتوكولات مثل Pico zkVM من Brevis، لتحديد صلاحية الكتل. يشير هذا إلى إمكانية أن يكون هذا هو اتجاه التوسع المستقبلي للإيثريوم. وأثبت ذلك شيئًا واحدًا: لا يجب على سلسلة الكتل تنفيذ جميع العمليات الحسابية بشكل متكرر، بل يكفي فقط التحقق من الإثباتات التي تم إنشاؤها خارجيًا.
ما هو Brevis: طبقة الحساب القابلة للتحقق التي تُستخدم في البروتوكولات وفي جوهر الإيثريوم.
تمثل Brevis أكثر من مجرد تطبيق منفرد، فهي طبقة حساب قابلة للتحقق. باعتبارها طبقة حوسبة لا نهائية (Infinite Compute Layer)، تتيح تنفيذ العمليات الحسابية المعقدة خارج السلسلة وإحضار النتائج إلى السلسلة من خلال إثباتات المعرفة الصفرية، بحيث يتم التحقق منها بواسطة العقود الذكية بتكاليف منخفضة للغاية. أهمية هذه التقنية تكمن في أن نموذج الأمان الافتراضي للإيثريوم يعتمد في جوهره على الحساب المتكرر عبر الشبكة، حيث تقوم كل عقدة تحقق، عند استقبال كتلة جديدة، بإعادة تشغيل جميع العمليات داخل الكتلة للتأكد من دقتها. رغم أن هذا يضمن صحة النتائج، إلا أنه يؤدي إلى زيادة استهلاك الموارد مع تزايد الحمل. Brevis تقوم بإعادة صياغة هذه العمليات المتكررة إلى عملية حسابية واحدة يتم التحقق منها عبر الشبكة، حيث يتم تنفيذ العمليات خارج السلسلة وتوليد إثباتات، ويتم فقط التحقق من إثبات صغير على السلسلة بواسطة العقد.
على عكس العديد من تطبيقات zk الأخرى التي تركز فقط على الخصوصية أو التوسع، تعمل Brevis على حل المشكلات الهيكلية لصناعة Web3. مع تزايد تعقيد العمليات الحسابية على السلسلة وتكرارها، هل يجب أن تعتمد الشبكة بالضرورة على الحساب المتكرر لكل عقدة؟ يقدم Brevis مسارًا مختلفًا، حيث يتم نقل العمليات الحسابية خارج السلسلة ليقوم zkVM بتنفيذها وتوليد إثباتات، وتتحقق العقود على السلسلة من هذه الإثباتات فقط. يتيح هذا للعقود الاستفادة بشكل موثوق من البيانات التاريخية، وحالات السلاسل المختلفة، أو نتائج الخوارزميات المعقدة دون افتراضات ثقة إضافية. لتحقيق هذا الهدف، يعتمد Brevis حاليًا على ثلاث تقنيات رئيسية: ZK Data Coprocessor، Pico zkVM، وProverNet.
توسيع حدود العقود الذكية: الإمكانات التي يوفرها ZK Data Coprocessor.
كانت ZK Data Coprocessor هي الاختراق التقني الأول الذي قدمه Brevis. تتيح هذه التقنية للعقود الذكية استعلام أي بيانات تاريخية على السلسلة، وتنفيذ العمليات الحسابية خارج السلسلة، وتوليد إثباتات المعرفة الصفرية، لتقديم نتائج العمليات كمدخلات موثوقة للعقود. يمكن لـ ZK Data Coprocessor الاستعلام عن البيانات التاريخية مثل حجم التداول أو سلوك المستخدمين على السلسلة، وتوليد إثباتات المعرفة الصفرية للتحقق منها بواسطة العقود. هذا يتيح للعقود، التي كانت تقتصر سابقًا على الوصول إلى بيانات الكتل الحالية فقط، الاستفادة من بيانات زمنية طويلة وحالات عبر السلاسل.
منذ أن قدم Brevis نموذج Coprocessor في عام 2023، استمر في تطويره، وفي يناير 2025 أصدر الإصدار الثاني (v2) وأطلقه على الشبكة الرئيسية. التغيرات الرئيسية في الإصدار الثاني يمكن تلخيصها في ثلاث نقاط: كفاءة أعلى (أداء المهمات باستخدام موارد أقل ووقت أقصر)، شمولية أكبر (تغطية أنواع أكثر من البيانات واحتياجات العمليات الحسابية)، وسهولة في الاستخدام (تبسيط العمليات وتعزيز تجربة المستخدم).
عند مراجعة المسار التقني لـ Brevis قبل عام 2025، يمكن ملاحظة أنه كان هناك مسار رئيسي واحد: استكشاف حدود أداء نظام الإثبات، ثم تحويل الحساب خارج السلسلة والتحقق على السلسلة إلى Coprocessor يمكن استخدامه وقابل للتطوير هندسيًا، ومن ثم استكشاف أشكال تشغيل أكثر تنظيمًا. ما يميز Brevis أيضًا هو خبرة فريق العمل، الذي يدمج بين المعرفة بعلم التشفير وهندسة الأنظمة الكبيرة. لم يعتمدوا على مجرد التنظير النظري، بل حددوا نقاط الألم في الصناعة منذ بداية المشروع وركزوا على تحقيق اعتماد واسع النطاق للتكنولوجيا.
عندما تصبح قدرات الإثبات جزءًا من النظام: Pico zkVM وProverNet.
في عام 2025، أكمل Brevis تطوير الجزءين الآخرين ضمن نظامه الأساسي الثلاثي. الأول هو Pico zkVM، وهو محرك تنفيذ إثباتات أكثر شمولية وموجه نحو بيئات الإنتاج. الثاني هو ProverNet، الذي يجعل قدرة توليد الإثباتات متاحة كمورد مفتوح، منتقلًا من القدرة على الإثبات إلى القدرة على تقديم الإثباتات بشكل مستدام وعلى نطاق واسع.
يمكن اعتبار Pico zkVM محرك الإثبات العام لـ Brevis. فهو يرفع إثباتات المعرفة الصفرية من مستوى الدوائر المخصصة والتكييف اليدوي إلى مستوى أشبه بهندسة البرمجيات. يمكن للمطورين كتابة المنطق باستخدام طرق مألوفة، وسيقوم النظام بتحويله إلى نتائج إثبات قابلة للتحقق. الأهم من ذلك، أن Pico تم تصميمه منذ البداية ليناسب متطلبات الأعمال الحقيقية من حيث الإنتاجية والتكلفة. وفقًا للمقارنات التي قدمها Brevis، يتمتع Pico بميزة أداء واضحة بين zkVMs الرئيسية، ويمكنه تحسين كفاءة أنواع معينة من العمليات من خلال مكونات قابلة للإدخال/المعالج المشترك.
في يونيو 2025، أطلق Brevis Pico-GPU، مما دفع سرعة توليد الإثباتات الفورية إلى نقطة تحول رئيسية، ليس فقط بالنسبة للبروتوكولات بل لصناعة البلوكشين ككل. نقل Pico-GPU العملية الأساسية لتوليد الإثبات إلى معالجات GPU المتوازية، مما أدى إلى تحسينات وصلت إلى 10–20 ضعفًا مقارنةً بالحلول السابقة، مما يمثل قفزة نوعية كبيرة.
في أكتوبر، تم إصدار Pico Prism، الذي دفع هذا التوجه إلى مستويات غير مسبوقة. مع إعداد يتكون من 64 وحدة معالجة رسومية (GPU) من الفئة الاستهلاكية، تمكن النظام من توليد إثبات لكتلة إيثريوم بسعة غاز 45M بنسبة 99.6% في غضون 12 ثانية، و96.8% في غضون 10 ثوانٍ، بمتوسط وقت إثبات يبلغ حوالي 6.9 ثانية، مما يقترب جدًا من الهدف الذي حددته مؤسسة الإيثريوم. للمرة الأولى، وصلت سرعة توليد الإثباتات الفورية إلى مستوى يكاد يلحق بسرعة إنتاج الكتل في الإيثريوم، وباستخدام موارد أقل مقارنة بالمنافسين.
هذا النوع من التقدم حظي برد مباشر من مجتمع الإيثيريوم الأساسي. أشار فيتاليك مباشرةً في تغريدة إلى أن دخول Pico Prism إلى مضمار إثبات ZK-EVM هو خطوة مهمة نحو السرعة والتنوع في الإثباتات. في تغريدة سابقة، قدّم جاستن دريك تقييمًا واضحًا جدًا لتقدم إثبات الوقت الحقيقي لـ Pico Prism واعتبره أمرًا غير عادي، لا سيما عند مقارنة ذلك مع SP1 Hypercube الذي احتاج في مايو من هذا العام إلى 160 بطاقة RTX 4090 لإثبات حوالي 94% من كتل L1 في غضون 12 ثانية فقط. هذه القفزة في سرعة الإثبات جعلت من Pico Prism الذي تقدمه Brevis الحل الأكثر لفتًا للأنظار.
بعد النجاح في تطوير zkVM العامة وتقنية إثبات الوقت الحقيقي، بدأت Brevis في معالجة مشكلة توفير الإثبات. في نوفمبر 2025، أعلنت Brevis عن رؤيتها ProverNet، التي تهدف إلى تسويق قدرات الإثبات، حيث يمكن لأي تطبيق تقديم مهام إثبات ليتم مطابقتها من خلال آلية المزاد مع عقد prover في السوق. وأطلقت الشبكة الرئيسية Beta في ديسمبر لتقديم ذلك في شكل منتج قابل للاستخدام، حيث يمكن تقديم طلبات إثبات مباشرةً، ويمكن للمُثبتين التسجيل والبدء في التنافس للحصول على الطلبات، مما يغني التطبيقات عن إنشاء بنية تحتية للإثبات بنفسها.
بواسطة ثلاثية المحاور، حوّلت Brevis قدرات الإثبات من أدوات إلى بنية تحتية، مع محرك إثبات قابل للتوسع وشبكة مفتوحة لتوفير الإثبات، مما يتيح للتطبيقات الحصول على حسابات قابلة للتحقق عند الطلب. الأثر لا يقتصر فقط على الإيثيريوم—فهذا النهج لحسابات خارج السلسلة وإثباتات داخل السلسلة سيمتد إلى كامل Web3 وحتى صناعات أخرى مثل الذكاء الاصطناعي والألعاب.
البروتوكول لا يكذب: الاستخدام هو ما يثبت القيمة
تتجلى القيمة التقنية لـ Brevis في التطبيقات الواقعية. فهو ليس مفهومًا يُعرض في مواد الترويج، بل جزءًا من العمليات اليومية للبروتوكولات. كيفية جمع البيانات، حساب المؤشرات، توزيع المكافآت، تعديل الرسوم—هذه الأمور التي كانت إما مستحيلة أو تعتمد فقط على نصوص مركزية، أصبحت الآن تتبع مسارًا أكثر بروتوكولية. خلال هذه العملية، أنشأت Brevis بالفعل أكثر من 280 مليون إثبات للمستخدمين، وزعت أكثر من 230 مليون دولار من المكافآت، وشغّلت بشكل آمن نمو TVL بقيمة 2.5 مليار دولار.

لفهم Brevis بشكل مباشر، يمكن البدء من تجارب المستخدمين الأكثر مألوفة: التداول. تعمل Brevis على منح منصات التداول اللامركزية (DEX) وظائف شبيهة بالمركزية (CEX)، مع الحفاظ على خصوصية البيانات وصحتها، مما يساهم في تحسين تجربة مستخدمي DEX. على سبيل المثال، يتيح PancakeSwap Infinity برسوم معاملات متفاوتة يتم تحديدها بناءً على سلوكيات مثل الاحتفاظ بالرموز وحجم التداول. ومع ذلك، تعتمد تلك الأحكام على بيانات تاريخية يجب تجميعها، مما يجعل وضعها على السلسلة مكلفًا للغاية، أو خارج السلسلة يثير مشكلات الثقة. Brevis تقوم بحساب هذه السلوكيات التاريخية خارج السلسلة، ثم تعيد البيانات المثبتة إلى السلسلة، مما يمكن كتابة الرسوم المتفاوتة في العقد الذكي بدلاً من النصوص الخلفية.
إذا كان PancakeSwap يمثل تجربة شخصية أقرب إلى CEX، فإن Usual يظهر آلية نمو طويلة الأجل من خلال تحويل المكافآت من إسقاطات لمرة واحدة إلى CPI مستمرة. ترتبط المكافآت بالسلوكيات مثل الاحتفاظ بالتداول والتفاعل، مما يجعل هذه المؤشرات مدخلات قابلة للتحقق، مما يتيح التوزيع الآلي والقابل للتدقيق دون الحاجة إلى الوثوق بمستندات تشغيل أو جهة إصدار مركزية. يستخدم Incentra لتوحيد عملية إصدار المكافآت، سواء كانت مكافآت LP أو الإقراض أو الاحتفاظ، بحيث يتم حساب المؤشرات خارج السلسلة وتسوية المكافآت بناءً على الإثباتات داخل السلسلة. فعلى سبيل المثال، تمثل حملة Euler على Arbitrum هذا النهج—حيث تعتمد المكافآت على قواعد وإثباتات مستمرة بدلاً من الإحصاء اليدوي والتوزيع الموقّع.
عندما تتوسع المشاهد إلى مستوى النظام البيئي، يبرز برنامج Ignition الخاص بـ Linea التحدي، ليس في توزيع المكافآت، ولكن في كيفية توزيعها. Brevis تجعل الحسابات المكثفة للمكافآت تتم خارج السلسلة، وتعيد الثقة إلى السلسلة من خلال الإثباتات، مما يحوّل المكافآت من عمليات تشغيل مركزية إلى قدرة نظامية قابلة لإعادة الاستخدام. ومن نفس المنحى النظامي، يمكن النظر إلى برنامج Routing Rebate الخاص بـ Uniswap v4. تتضمن الأسئلة: هل حدثت عملية التوجيه؟ كيف يتم حساب استهلاك الغاز؟ وكيف يتم تقدير المبلغ المسترد؟ Brevis هنا تقوم بالحسابات خارج السلسلة وتوفر الإثباتات، مما يجعل نظام الاسترداد يعتمد على القواعد + الإثبات، وليس الثقة في جهة إحصائية.
عند النظر إلى هذه الحالات معًا، يظهر دور Brevis في استخراج البيانات، حساب المؤشرات، وتوليد الإثباتات، مما يتيح للبروتوكولات تحقيق المزيد من الوظائف التي كان تنفيذها محصورًا في الخلفيات المركزية سابقًا، مع فتح مساحة تصميم جديدة للصناعة.
من يدعم تقنيات طويلة الأجل؟
يتألف فريق Brevis الأساسي من مجموعة من الباحثين من خلفيات جامعية مرموقة ومهندسين أنظمة بارزين، بمزيج فريد يمكنهم من متابعة التطوير طويل الأجل لأنظمة الإثبات والخوارزميات، بالإضافة إلى إدخال تقنيات معقدة في بيئات الإنتاج الواقعية وصقلها حتى تصل إلى معايير الأداء والثبات والتكلفة المطلوبة للتوسع. والأهم من ذلك، أنهم ليسوا مجرد فريق مختبرات متمرسين في التقنية—بل لديهم فهم عميق لكيفية عمل صناعة التشفير: فهم احتياجات البروتوكولات، وتيرة التعاون البيئي، مع تراكم طويل الأجل على صعيد رأس المال والمجتمع، مما يتيح تحويل مسار الهندسة إلى علاقات دائمة وشراكات مستدامة مع المطورين.
يمكن رؤية ذلك من خلال الدعم طويل الأجل الذي حصلت عليه Brevis من رأس المال والمجتمع. ففي نوفمبر 2024، اختتمت Brevis جولة التمويل الأولية بقيادة مؤسسات بارزة مثل Polychain وYzi Labs، مما وفر تمويلًا لدفع تطوير zkVM وشبكة الإثبات وتحقيق المنتجية. في الوقت نفسه، شهد مجتمع Brevis نموًا كبيرًا في عام 2025، مع تعزيز المشاركة المستمرة من خلال Proving Grounds، نظام الأدوار، وآلية المهام التي تجذب المطورين والمستخدمين. وبالإضافة إلى ذلك، فإن التأييد العلني من فيتاليك والاهتمام الذي أظهره مؤسسة إيثيريوم جاستن دريك أثناء التجارب والمناقشات المتعلقة بالتقدم يعكس الدعم الخارجي والثقة التي تعتمد عليها Brevis كجزء من البنية التحتية.
من الإيثيريوم إلى عالم أوسع
إيثيريوم تواجه منذ فترة طويلة معضلة هيكلية، إما أن يتم تكرار الحسابات على كل العقد لضمان الأمان وعدم الحاجة إلى الثقة، ولكن يتم تقييد السعة والتكاليف بسبب إعادة الحساب على الشبكة بأكملها؛ أو يتم تفويض الحسابات إلى طرف خارجي لزيادة الكفاءة، مما يتطلب الثقة به. تسعى Brevis لتقديم طريق ثالث - يتم تنفيذ الحسابات المعقدة خارج الشبكة، ثم يتم استخدام الإثبات لإعادة الثقة للتحقق على الشبكة، مما يدفع النظام من مرحلة إعادة الحساب إلى نمط تقسيم التحقق من النتائج. بناءً على ذلك، لا تكمن قيمة Brevis في نقطة منتج معينة، بل في بناء مسار متكامل للحسابات القابلة للتحقق.
Brevis ليست الحل الوحيد لمشكلة توسعة إيثيريوم، لكنها تعرض قيمة الطبقة الحسابية القابلة للتحقق، حيث تفصل بين الحساب والتحقق، مما يضمن الأمان واللامركزية ويخفف الضغط على تنفيذ العمليات على الشبكة. الأهم من ذلك، أن فعالية الطبقة الحسابية اللامحدودة لا تقتصر على إيثيريوم فقط. بالنسبة للصناعة المشفرة بأكملها، فإنها تعني أن المزيد من التطبيقات على الشبكة يمكنها تحقيق تعقيدات وتجربة قريبة من تلك الموجودة في Web2 دون التضحية بالأمان؛ وبالنسبة للعالم التقليدي الأوسع، توفر الحسابات القابلة للتحقق طريقة جديدة للتعاون - عندما يحتاج الأطراف المتعددة إلى مشاركة النتائج ولكن لا يمكنهم مشاركة الثقة، يمكن للإثبات أن يصبح لغة موحدة جديدة. مع نضج شبكات الإثبات المفتوحة مثل ProverNet، لن يكون ما تبنيه Brevis مجرد تعزيز لقدرات سلسلة معينة، بل سيكون توفيراً للحسابات الموثوقة التي يمكن استدعاؤها عبر النظم البيئية والصناعات.
انقر لمعرفة وظائف BlockBeats المفتوحة
مرحبًا بك للانضمام إلى مجتمع BlockBeats الرسمي:
مجموعة الاشتراك على تيليجرام: https://t.me/theblockbeats
مجموعة النقاش على تيليجرام: https://t.me/BlockBeats_App
الحساب الرسمي على تويتر: https://twitter.com/BlockBeatsAsia

