في نوفمبر 2025، خلال فعالية Devconnect في الأرجنتين، قدّم الباحث في مؤسسة إيثريوم Justin Drake عملية تحقق مختلفة للكتل باستخدام عقدة تحقق تعتمد على عميل zkLighthouse. وقد اعتمدت هذه العملية فقط على إثباتات المعرفة الصفرية التي توفرها بروتوكولات مثل Pico zkVM من Brevis لتحديد صلاحية الكتل. من المتوقع أن يشير هذا إلى اتجاه توسع إيثريوم المستقبلي. وأظهر هذا حقيقة مفادها أن البلوكشين لا يحتاج إلى تنفيذ جميع العمليات الحسابية بشكل متكرر، بل يكفي التحقق من إثباتات تم إنشاؤها خارجيًا.
ما هو Brevis: طبقة الحوسبة القابلة للتحقق قيد الاستخدام من قبل البروتوكولات ونواة إيثريوم.
تعد Brevis أكثر من مجرد تطبيق محدد، بل هي طبقة حوسبة قابلة للتحقق. كطبقة حساب لا نهائية (Infinite Compute Layer)، تتيح تنفيذ العمليات الحسابية المعقدة خارج السلسلة وجلب النتائج إلى السلسلة باستخدام إثباتات المعرفة الصفرية، حيث يمكن للعقود الذكية التحقق منها بتكلفة منخفضة جدًا. أهمية هذا الأمر تكمن في أن نموذج الأمان الافتراضي لإيثريوم يعتمد بشكل أساسي على إعادة الحساب عبر الشبكة بأكملها. عند استلام عقدة تحقق كتلة جديدة، يتوجب عليها إعادة تشغيل جميع العمليات داخله للتأكد من صحة نتائجه. ورغم أن هذا يضمن الدقة، إلا أنه يستهلك موارد وقدرات معالجة تتزايد مع زيادة الحمل. تقوم Brevis بإعادة صياغة هذا التكرار الضروري إلى حساب واحد وتحقق على مستوى الشبكة بالكامل، حيث يتم تنفيذ الحسابات خارج السلسلة وإنشاء إثباتات، مما يتطلب فقط من الشبكة والعقدة التحقق من إثبات صغير جدًا.
على عكس العديد من تطبيقات zk التي تركز فقط على الخصوصية أو التوسع، تسعى Brevis لحل القضايا الهيكلية لصناعة Web3. عندما تصبح العمليات الحسابية على السلسلة أكثر تعقيدًا وأكثر تكرارًا، هل يجب أن تعتمد الشبكة دائمًا على إعادة التنفيذ عبر جميع العقد للحفاظ على الثقة؟ تقدم Brevis خيارًا يتمثل في نقل العمليات الحسابية خارج السلسلة وتنفيذها باستخدام zkVM وإنشاء إثباتات لا تحتاج السلسلة سوى إلى التحقق منها. وهذا يجعل العقود الذكية تستفيد بشكل موثوق من البيانات التاريخية، وحالات السلاسل المتقاطعة، ونتائج الخوارزميات المعقدة دون إدخال فرضيات ثقة إضافية. لتحقيق هذا الهدف، تتألف Brevis حاليًا من ثلاث ركائز تقنية رئيسية: ZK Data Coprocessor، وPico zkVM، وProverNet.
توسيع حدود العقود الذكية: القدرات الفائقة التي يقدمها ZK Data Coprocessor.
كان الاختراق التقني الأول لـ Brevis هو ZK Data Coprocessor. يُمكن هذا الجهاز العقود الذكية من الاستعلام عن أي بيانات تاريخية على السلسلة، وإجراء عمليات حسابية خارج السلسلة، وإنشاء إثباتات المعرفة الصفرية لاستخدام النتائج كمدخلات موثوقة في العقود الذكية. يستطيع ZK Data Coprocessor الاستعلام عن حجم المعاملات التاريخية أو سلوك المستخدمين على السلسلة وإنشاء إثباتات معرفة صفرية للتحقق منها عبر العقود. وبهذا، يمكن للعقود التي كانت تقتصر على الوصول إلى بيانات الكتلة الحالية الاستفادة الآن من البيانات طويلة الأمد وحالات السلاسل المتقاطعة.
بعد تقديم Brevis للنموذج الأولي لـ Coprocessor في عام 2023، استمرت في تحسينه حتى أطلقت الإصدار v2 في يناير 2025، وبدأت العمل على الشبكة الرئيسية. تميز الإصدار v2 بثلاثة تغييرات رئيسية دون الحاجة إلى القلق بشأن نوع نظام الإثبات المستخدم: أسرع (إكمال نفس المهام بموارد أقل ووقت أقصر)، أكثر شمولًا (يغطي أنواعًا أكثر من البيانات ومتطلبات العمليات الحسابية)، وأسهل استخدامًا (تبسيط العملية وتغليف التعقيدات).
بالنظر إلى المسار التقني الذي اتبعته Brevis قبل عام 2025، كان هناك هدف رئيسي واحد: تحديد حدود أداء نظام الإثبات أولاً، ثم تطوير Coprocessor لجعل الحساب خارج السلسلة والتحقق داخل السلسلة عمليًا وقابلاً للتطوير، مع متابعة تحسينات هندسية مستمرة، ثم استكشاف أشكال تشغيل أكثر نظامية. ما يميز Brevis بشكل أكبر هو فريقها المتنوع القادر على فهم التشفير وهندسة الأنظمة واسعة النطاق. لم يعتمد الفريق على الاستنتاجات النظرية فقط، بل حدد نقاط الألم في الصناعة في المراحل المبكرة من المشروع وكرّس جهودًا لتبني التكنولوجيا على نطاق واسع.
عندما تدخل قدرة الإثبات إلى طبقة النظام: Pico zkVM وProverNet.
في عام 2025، أكملت Brevis ما تبقى من الركائز الثلاثة. الأولى كانت محرك إثبات أكثر شمولًا ومناسبًا للبيئات الإنتاجية يسمى Pico zkVM، والثانية كانت ProverNet، والتي توفر قدرة توليد الإثباتات كمصدر مفتوح، مما يجعل الإثباتات ممكنة على نطاق واسع ومستدام.
يمكن اعتبار Pico zkVM بمثابة محرك إثبات عام من Brevis. فهو يعمل على نقل إثباتات المعرفة الصفرية من الدوائر المخصصة والتكيف اليدوي إلى شكل يشبه هندسة البرمجيات. يكتب المطورون المنطق باستخدام طرق تطوير مألوفة، ويقوم النظام بدوره بتحويلها إلى نتائج إثبات قابلة للتحقق. والأهم من ذلك أن Pico تم تصميمه منذ البداية للتعامل مع متطلبات الأعمال الحقيقية من حيث القدرة والفعالية، وأظهرت Brevis تفوقًا أداءً واضحًا عند مقارنة Pico بغيره من zkVM السائدة، مع القدرة على تعزيز كفاءة أنواع محددة من العمليات الحسابية من خلال مكونات إضافية أو معالجات مشتركة.
في يونيو 2025، أطلقت Brevis منتجًا جديدًا يسمى Pico-GPU، مما دفع سرعة إنشاء الإثباتات الفورية إلى نقطة تحول أساسية، ليس فقط للبروتوكول، بل للصناعة بأكملها. نقل Pico-GPU العمليات الأساسية لتوليد الإثباتات إلى وحدات معالجة الرسومات (GPU) بشكل متوازٍ، مما أدى إلى تحسينات تصل إلى 10-20 ضعفًا مقارنة بالحلول السابقة، مما يمثل قفزة نوعية.
في أكتوبر، أعلنت Brevis عن إصدار جديد يسمى Pico Prism، حيث دفعت هذا الاتجاه إلى مستوى واضح جدًا. على إعداد مكون من 64 وحدة معالجة رسومات استهلاكية، تمكنت من إثبات 99.6% من كتل gas بحجم 45 مليون لإيثريوم في غضون 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 بالفعل أكثر من 2.8 مليون إثبات، ووزعت أكثر من 2.3 مليار دولار كمكافآت، وساهمت بشكل آمن في زيادة بقيمة 2.5 مليار دولار في TVL.
يمكن فهم Brevis بشكل مباشر من خلال تجربة المستخدم في التداول. Brevis تمكن منصات التداول اللامركزية (DEX) من تقديم ميزات مشابهة للمنصات المركزية (CEX) مع الحفاظ على خصوصية البيانات وموثوقيتها، مما يحسن تجربة المستخدمين في التداول. على سبيل المثال، قامت PancakeSwap Infinity بتمكين تصنيف الرسوم بفضل استخدام hooks، حيث تؤثر السلوكيات التاريخية مثل الاحتفاظ بالعملات وحجم التداول على معدل الرسوم لكل معاملة. ومع ذلك، يعتمد هذا التقييم على تجميع البيانات التاريخية، وهو أمر مكلف عند تنفيذه على السلسلة ويثير مشكلات الثقة عند تنفيذه خارج السلسلة. ما قامت به Brevis هو حساب السلوكيات التاريخية خارج السلسلة وإعادة البيانات إلى السلسلة باستخدام إثبات، مما يسمح بكتابة الرسوم التفاضلية في العقود الذكية بدلاً من وجودها في سكريبتات خلفية مركزية كما في CEX.
إذا كانت PancakeSwap توفر تجربة مخصصة أقرب لـ CEX، فإن Usual تعرض آلية نمو طويلة الأمد، حيث تتحول المكافآت من إسقاطات واحدة إلى نظام CPI مستمر. يتم ربط المكافآت بالسلوكيات طويلة الأمد مثل الاحتفاظ بالعملات والتفاعل، وتتيح Brevis تحويل هذه المؤشرات إلى مدخلات قابلة للتحقق، مما يجعل التوزيع آليًا وقابلًا للتدقيق، دون الحاجة إلى أن يثق المجتمع في جدول تشغيل أو موزع مركزي. من خلال Incentra، يتم تحويل عملية إصدار المكافآت إلى قدرة معيارية. إذا أراد بروتوكول إصدار مكافآت للحفاظ على LP أو الإقراض أو الاحتفاظ، فإن الأساس هو حساب المؤشرات خارج السلسلة وتسويتها على السلسلة باستخدام إثبات. فعلى سبيل المثال، في نشاط Euler على Arbitrum، كانت المكافآت تعتمد على التوزيع المستمر وفقًا للقواعد والإثبات، بدلاً من الإحصاءات اليدوية أو التوزيع بتوقيع متعدد.
عندما يتم توسيع السيناريوهات إلى مستوى النظام البيئي، فإن برنامج Ignition من Linea يبرز المزيد من المسائل. التحدي لا يكمن في توزيع المكافآت، وإنما في كيفية توزيعها. تقوم Brevis بحساب الحوافز واسعة النطاق خارج السلسلة وإعادة مصداقيتها إلى السلسلة للتحقق، مما يحول عملية توزيع المكافآت من نشاط تشغيل مركزي إلى قدرة نظام قابلة لإعادة الاستخدام. برنامج Rebate Routing الخاص بـ Uniswap v4 هو مثال آخر يركز على النظام. فسواء كان الأمر يتعلق بما إذا كانت العملية قد حدثت، أو كيف يتم حساب استهلاك الغاز، أو كيفية حساب المبلغ المسترد، كلها أمور تتطلب نطاقًا من البيانات إلى الحساب إلى التسوية. هنا، تقوم Brevis بالقيام بالحسابات خارج السلسلة وتوليد الإثبات، مما يجعل نظام الاسترداد يعتمد على القواعد + الإثبات بدلاً من الاعتماد على جهة إحصاء موثوقة.
عند جمع هذه الحالات معًا، نجد أن قدرة Brevis على جمع البيانات، وحساب المؤشرات، وتوليد الإثبات، تمكن البروتوكولات من تنفيذ المزيد من المنطق الذي كان يعتمد سابقًا على الواجهات الخلفية المركزية، دون التضحية باللامركزية. هذا يفتح آفاقًا جديدة لتصميم بروتوكولات أكثر تطورًا في صناعة التشفير.
من يدعم التكنولوجيا بعيدة المدى؟
يتكون الفريق الأساسي لـ Brevis من باحثين من خلفيات جامعات مرموقة ومهندسي أنظمة في الخطوط الأمامية، مما يمنحهم القدرة على إجراء أبحاث طويلة المدى في أنظمة الإثبات والخوارزميات، وأيضًا على دمج التكنولوجيا المعقدة في بيئات الإنتاج الحقيقية وتحسينها بشكل متكرر حتى تحقق المعايير المطلوبة للنشر على نطاق واسع من حيث الأداء والاستقرار والتكلفة. الأكثر أهمية أنهم ليسوا مجرد فريق بحثي تقني — فهم على دراية جيدة بكيفية عمل صناعة التشفير: يفهمون احتياجات البروتوكولات الفعلية، وإيقاع تطوير التعاون في النظام البيئي، ولديهم تراكم طويل الأمد من رأس المال والعلاقات المجتمعية، مما يمكنهم من تحويل مسار الهندسة إلى شراكات وطاقات تطوير مستدامة.
يمكن رؤية ذلك من خلال الدعم طويل الأمد الذي تتلقاه Brevis من رأس المال والمجتمع. ففي نوفمبر 2024، أكملت Brevis جولة تمويل أولية بقيادة مؤسسات رائدة مثل Polychain وYzi Labs، مما وفر تمويلًا لدفع تطوير zkVM، وشبكة الإثبات، وتحويل التكنولوجيا إلى منتجات قابلة للنشر. في الوقت نفسه، شهد مجتمع Brevis نموًا ملحوظًا في عام 2025، مع برامج مثل Proving Grounds ونظام الأدوار وآليات المهام التي تجذب المطورين والمستخدمين للمشاركة بشكل مستمر. وأيضًا، الإشادة العلنية من Vitalik وانتبه مؤسسة إيثيريوم مثل Justin Drake للتقدم خلال التجارب والنقاشات، كلها عوامل تشكل دعمًا خارجيًا وثقة كبيرة لاستمرار Brevis في توسيع بنيتها التحتية.
من إيثيريوم إلى عالم أوسع
توسيع شبكة الإيثيريوم ظل عالقًا في معضلة هيكلية طويلة الأمد. إما أن يتم تكرار الحساب من قبل جميع العقد لتحقيق الأمان وعدم الحاجة إلى الثقة، ولكن يتم تقييد الإنتاجية والتكاليف بسبب إعادة الحساب على مستوى الشبكة؛ أو يتم الاستعانة بمصادر خارجية للحساب لتعزيز الكفاءة، ولكن مع ذلك يتم الاضطرار إلى الثقة بمصدر الحساب الخارجي. يحاول Brevis تقديم طريق ثالث - يتم إجراء الحسابات المعقدة خارج السلسلة ثم استخدام الإثبات لإعادة المصداقية إلى السلسلة للتحقق، مما يدفع النظام إلى نموذج تقسيم العمل بين الحساب والتحقق. وبالتالي، تكمن قيمته ليس فقط في نقطة منتج معينة، بل في فتح سلسلة كاملة من الحسابات القابلة للتحقق.
لم يكن Brevis الحل الوحيد لمشكلة توسيع شبكة الإيثيريوم، ولكنه يُظهر القيمة الكبيرة لطبقة الحسابات القابلة للتحقق، حيث يتم فصل الحساب والتحقق، مما يضمن الأمان واللامركزية ويخفف العبء عن التنفيذ داخل السلسلة. الأهم من ذلك، أن تأثير طبقة الحسابات اللانهائية لا يقتصر على الإيثيريوم فقط. بالنسبة لصناعة التشفير بأكملها، يعني ذلك أن المزيد من التطبيقات على السلسلة يمكن أن تحقق مستوى من التعقيد والتجربة قريبًا من Web2 دون التضحية بالأمان. وفي العالم التقليدي الأوسع، يوفر الحساب القابل للتحقق بعد التنفيذ طريقة تعاون جديدة - عندما تحتاج الأطراف المتعددة إلى مشاركة النتائج ولكن لا يمكنها مشاركة الثقة، يمكن للإثبات أن يصبح لغة عامة جديدة. ومع نضوج شبكات إثبات مفتوحة مثل ProverNet، ما يبنيه Brevis لن يكون مجرد تعزيز لقدرات سلسلة معينة، بل سيكون مصدرًا موثوقًا للحساب يمكن استدعاؤه عبر النظم البيئية والصناعات المختلفة.
اضغط هنا لمعرفة الوظائف المفتوحة لدى律动 BlockBeats
انضم إلى المجموعة الرسمية لـ律动 BlockBeats:
مجموعة اشتراك Telegram: https://t.me/theblockbeats
مجموعة مناقشة Telegram: https://t.me/BlockBeats_App
الحساب الرسمي على Twitter: https://twitter.com/BlockBeatsAsia