يتطلب تحقيق الإجماع في البلوكشين من كل مُدقِّق إعادة تنفيذ نفس العملية الحسابية، ما يجعل الحوسبة على السلسلة مكلفة ومحدودة. هذا القيد يعيق العقود الذكية عن معالجة كميات ضخمة من بيانات المعاملات التاريخية، ما يخلق عنق زجاجة حسابي مزمن.
من خلال فلسفة "إثبات العمل بدلًا من تكراره"، تتيح Brevis التحقق من نتائج الحوسبة خارج السلسلة على السلسلة خلال أجزاء من الثانية، لتوفر بذلك بنية حسابية موثوقة وقابلة للتوسع لتطبيقات التمويل اللامركزي (DeFi) والتطبيقات المعتمدة على البيانات وحالات استخدام الذكاء الاصطناعي (AI).
ما Brevis؟ ولماذا تُعرف بأنها "طبقة الحوسبة غير المحدودة" في Web3؟
Brevis منصة حوسبة قابلة للتحقق تنقل العمليات الحسابية المعقدة خارج السلسلة وتستخدم إثباتات المعرفة الصفرية لضمان صحة النتائج. بدلاً من أن يعيد المدققون على السلسلة تنفيذ العمليات، يكتفون بالتحقق من إثبات مختصر لصحة التنفيذ، ما يخفض التكاليف بشكل كبير مقارنة بالحوسبة المباشرة.
تستهدف تسمية "طبقة الحوسبة غير المحدودة" معالجة القيود الحسابية على السلسلة: فشبكات مثل Ethereum تفرض حدودًا صارمة على الحوسبة لكل معاملة، ما يصعّب التحليلات المعقدة أو استدلال النماذج أو التجميع عبر السلاسل على السلسلة. التنفيذ خارج السلسلة مع التحقق على السلسلة يفصل حجم الحوسبة عن حد الرسوم في الكتلة.
| المكون الأساسي |
الدور |
الوظيفة الرئيسية |
| Pico zkVM |
zkVM مفتوح المصدر ومرن |
كتابة المنطق بـ Rust وتوليد الإثباتات |
| ZK Data Coprocessor |
محرك حوسبة بيانات خارج السلسلة |
الوصول للبيانات التاريخية/عبر السلاسل وإرفاق الإثباتات |
| coChain |
طبقة الأمان الاقتصادي للعملات الرقمية |
توفير الثقة عبر التخزين وقطع الرصيد |
| Pico Prism |
إثباتات الكتل في الوقت الفعلي |
إثباتات مباشرة لـ Ethereum |
| Vera |
إثباتات صحة المحتوى |
إثباتات ZK لصحة الوسائط |
| ProverNet |
سوق إثبات لامركزي |
مطابقة مزودي الإثبات مع الطلب |
يوضح هذا الجدول بنية Brevis التقنية: حيث يتولى Pico zkVM وZK Data Coprocessor الحوسبة، ويوفر coChain الثقة، فيما تمكّن Pico Prism وVera وProverNet إثباتات الوقت الفعلي وإثبات المصدر وتوفير الإثباتات.
كيف يعمل ZK Coprocessor في Brevis؟
العقود الذكية شبه "عمياء للماضي" — فقراءة ومعالجة كميات ضخمة من المعاملات التاريخية على السلسلة مكلفة للغاية. لتمكين العقود من اتخاذ قرارات مبنية على سلوك المستخدم طويل الأمد على السلسلة، يلزم وجود آلية لا تتطلب إعادة معالجة جميع البيانات على السلسلة.
تم تصميم ZK Data Coprocessor لهذا الغرض: حيث يمكنه الوصول إلى بيانات تاريخية أو عبر السلاسل ويجري الحوسبة خارج السلسلة، ثم يعيد "نتائج مع إثبات تشفير لصحة البيانات والمعالجة". يمكن للعقود الذكية التحقق من النتيجة على السلسلة خلال أجزاء من الثانية.
يتكون تدفق الحوسبة القابلة للتحقق من أربع مراحل: يرسل التطبيق الطلب؛ يجري المعالج المساعد الحوسبة خارج السلسلة ببيانات حقيقية من السلسلة؛ يُولَّد إثبات ZK لصحة الحوسبة؛ ثم يتحقق العقد الذكي من النتيجة ويقبلها.
الشكل 1. تدفق بيانات الحوسبة القابلة للتحقق في Brevis: طلب التطبيق ← الحوسبة خارج السلسلة (Pico zkVM وZK Data Coprocessor باستخدام بيانات حقيقية على السلسلة) ← توليد إثبات ZK ← المدقق على السلسلة يتحقق ويعيد النتيجة.
ما دور Pico zkVM في بنية Brevis؟
Pico zkVM هي آلة افتراضية للمعرفة الصفرية مفتوحة المصدر ومرنة من Brevis. تتيح للمطورين كتابة منطق الحوسبة بلغة Rust وتوليد إثباتات. كطبقة تنفيذ عامة للحوسبة القابلة للتحقق، توحّد Pico zkVM بين "كتابة البرامج" و"إثبات صحة التنفيذ" في سلسلة أدوات واحدة.
تستخدم بنية "الغراء والمعالج المساعد" نواة RISC-V عامة الغرض كغراء لتنفيذ برامج Rust، بينما تُوجَّه العمليات الشائعة مثل تجزئة Keccak-256 والتحقق من التوقيع واستدلال التعلم الآلي إلى وحدات جاهزة مسبقًا لتسريع التنفيذ. ووفقًا لـ Brevis، يمكن لهذا التصميم تسريع توليد الإثباتات بنحو 10 إلى 80 مرة.
كيف تضمن coChain ونموذج الأمان الاقتصادي الحوسبة الموثوقة؟
تقدم Brevis نموذجين للأمان: pure-ZK وOP / coChain. الفرق الأساسي في "مصدر الثقة" — حيث يعتمد pure-ZK على الإثباتات التشفيرية فقط، بينما يضيف OP / coChain طبقة أمان اقتصادية. باستخدام Brevis SDK، يمكن كتابة منطق الأعمال مرة واحدة ونشره بأي من النموذجين.
coChain هي بلوكشين إثبات الحصة (PoS) مع تخزين وقطع رصيد على Ethereum. يُولّد المدققون النتائج باستخدام بيانات العقدة المؤرشفة من السلسلة المعنية، ويصلون إلى إجماع PoS، ثم يقدمون توقيعًا مجمعًا كاقتراح لسلسلة الطلب، ويدخلون نافذة تحدي التطبيق.
إذا تم تحدي نتيجة غير صحيحة خلال النافذة بإثبات ZK، يُقطع رصيد المدقق على Ethereum. إذا لم يكن هناك تحدي، يمكن للتطبيق استخدام النتيجة دون تكاليف إثبات. وتخطط coChain لدمج EigenLayer لضبط مستوى الأمان ديناميكيًا.
| البعد |
pure-ZK |
OP / coChain |
| مصدر الثقة |
إثبات تشفيري |
التخزين وقطع الرصيد + تحدي اختياري |
| زمن الاستجابة |
انتظار توليد الإثبات |
قابل للاستخدام بعد نافذة التحدي |
| تكلفة الحوسبة |
إثبات ZK في كل مرة |
لا تكلفة إثبات إذا لم يُتحدَّى |
| قوة الأمان |
مضمونة عبر ZK |
قابلة للتعديل ديناميكيًا عبر EigenLayer |
يوضح الجدول أن pure-ZK مثالي للسيناريوهات التي تتطلب حتمية مطلقة، بينما يوفر coChain مرونة أعلى في التكلفة والسعة. ويمكن استخدام النموذجين معًا أو كل على حدة.
ما استخدامات رمز BREV في منظومة Brevis؟
BREV هو الرمز الأصلي للخدمة والحوكمة في شبكة Brevis، ويغذي اقتصاد توفير الإثباتات. تنقسم أدواره إلى ثلاث فئات: الدفع، الضمان، والحوكمة، ويرتبط مباشرة بحوافز المُثبِّتين وقطع الرصيد، كما هو موضح في BREV Token and coChain.
| الوظيفة |
الوصف |
| دفع رسوم الإثبات |
يدفع المستخدمون رسوم الإثبات بـ BREV |
| ضمان المُثبِّت |
يقفل المُثبِّتون BREV لتلقي المهام ويُقطع في حال الإخلال |
| حوكمة البروتوكول |
يشارك حاملو BREV في حوكمة البروتوكول |
تشكل هذه الوظائف حلقة مغلقة: يدفع المستخدمون مقابل الإثباتات، ويخزن المُثبِّتون BREV لقبول المهام، وتدير المجتمع معايير البروتوكول — ما يربط جودة الإثبات وأمان الشبكة معًا.
كيف تختلف Brevis عن الأوركل والمعالجات المساعدة للمعرفة الصفرية الأخرى؟
تخدم Brevis والأوركل أغراضًا مختلفة: الأوركل تجلب البيانات من خارج السلسلة إلى السلسلة، بينما تركز Brevis على الحوسبة وإثبات صحة بيانات السلسلة والبيانات التاريخية. فهم الفرق بين "نقل البيانات" و"الحوسبة القابلة للتحقق" ضروري لفهم الفرق بين Brevis والأوركل.
تعتمد الأوركل غالبًا على الثقة في العقد أو مزودي البيانات، في حين تعتمد Brevis على إثباتات المعرفة الصفرية ليتمكن المشاركون على السلسلة من التحقق من الصحة مباشرة. وبالمقارنة مع معالجات ZK الأخرى، تتفوق Brevis بفضل Pico zkVM وZK Data Coprocessor ونموذجها المزدوج pure-ZK/coChain.
ما هي سيناريوهات Brevis العملية (التبني الفعلي)؟
يركز "التبني الفعلي" لـ Brevis على نشر الحوسبة القابلة للتحقق في الاستخدامات التجارية الواقعية. بحسب المدونة الرسمية لـ Brevis (2025)، أنتجت Brevis أكثر من 340 مليون إثبات، غطت أكثر من 50 بروتوكولًا على أكثر من 8 شبكات بلوكشين، مع برامج حوافز ومكافآت تجاوزت $300 مليون.
تعد الحوافز المعتمدة على البيانات مثالًا نموذجيًا: حيث يمكن للبروتوكولات توزيع المكافآت بناءً على تاريخ المستخدم الفعلي على السلسلة (مثل حجم التداول أو مدة الاحتفاظ)، مع ضمان إثباتات ZK أن المكافآت غير قابلة للتلاعب. ProverNet هو سوق إثبات لامركزي على الشبكة الرئيسية، حيث يجب على المُثبِّتين تخزين BREV للمشاركة ويُقطع رصيدهم في حال الإخلال.
يوفر Pico Prism إثباتات كتل في الوقت الفعلي لـ Ethereum. ووفقًا لـ Brevis، يحقق تغطية في الوقت الفعلي بنسبة %99.8 على 16 وحدة GPU ويحقق هدف الأجهزة بقيمة $100,000 الذي حددته مؤسسة Ethereum. واختارت On-Prem Proving Initiative (Ethproof) التابعة للمؤسسة Brevis كواحدة من أربع فرق في مارس 2026. تستخدم Vera إثباتات ZK للتحقق من منشأ وصحة الوسائط، لمعالجة تتبع المحتوى في عصر التزييف العميق.
الشكل 2. نظرة شاملة على بنية وتقنيات Brevis: توزيع الأدوار بين Pico zkVM، وZK Data Coprocessor، وPico Prism، وVera، وProverNet، وcoChain، ورمز BREV.
ما هي مزايا ومخاطر وحدود استخدام Brevis؟
تتفوّق Brevis في قابلية التوسع والثقة: فالتنفيذ خارج السلسلة مع التحقق على السلسلة يفصل الحوسبة عن حد رسوم الكتلة، وتتيح إثباتات ZK التحقق من النتائج دون الحاجة لطرف ثالث موثوق. وتتيح SDK النشر متعدد النماذج بكتابة واحدة لمرونة هندسية عالية.
تتمثل الحدود في الحوسبة بالمعرفة الصفرية نفسها — إذ يتطلب توليد الإثباتات أجهزة متخصصة ومعدل تجزئة، ولا تزال الحوسبة العامة أكثر تكلفة من التنفيذ الأصلي. كما تظل تعقيدات المنطق وزمن الاستجابة قيودًا بنيوية.
تشمل المخاطر اعتماد أمان coChain على وجود متحدّين نشطين وتخزين كافٍ؛ واحتمال وجود عيوب في تكامل العقود الذكية وSDK؛ واعتماد توفير الإثبات في ProverNet على مشاركة المُثبِّتين. وتعد هذه قيودًا هيكلية وليست نصيحة استثمارية.
الملخص
Brevis منصة حوسبة قابلة للتحقق في Web3 تطبق مبدأ "إثبات العمل بدلًا من تكراره" بنقل الحوسبة المكلفة خارج السلسلة وتمكين التحقق السريع على السلسلة. تعتمد بنيتها على Pico zkVM وZK Data Coprocessor للحوسبة، وتوفر الثقة عبر نماذج pure-ZK وcoChain، وتربط الرسوم والتخزين والحوكمة عبر رمز BREV، مع تطبيقات فعلية تشمل Pico Prism وVera وProverNet.
الأسئلة الشائعة
ما هي Brevis (BREV)؟
Brevis منصة حوسبة قابلة للتحقق مدعومة بإثباتات المعرفة الصفرية، وتُعرف بأنها طبقة الحوسبة غير المحدودة في Web3. تنفذ العمليات الحسابية المعقدة خارج السلسلة وتتيح التحقق السريع على السلسلة، ما يلغي الحاجة لتكرار المدققين لنفس الحوسبة.
ما الفرق بين ZK Data Coprocessor والأوركل؟
تجلب الأوركل البيانات من خارج السلسلة إلى السلسلة وتعتمد على الثقة في مصدر البيانات. بينما يجري ZK Data Coprocessor الحوسبة خارج السلسلة باستخدام بيانات حقيقية أو تاريخية على السلسلة، ويرفق إثباتات تشفير، بحيث يمكن التحقق من الصحة مباشرةً على السلسلة.
لماذا تزيد Pico zkVM من سرعة الإثباتات؟
تعتمد Pico zkVM بنية "الغراء والمعالج المساعد": تدير نواة RISC-V العامة برامج Rust، وتوجه العمليات الشائعة إلى دوائر جاهزة مسبقًا لتسريع التنفيذ. وتشير تقارير Brevis إلى أن ذلك يمكن أن يرفع سرعة الإثبات بنحو 10 إلى 80 مرة.
كيف أختار بين نماذج pure-ZK وcoChain؟
يعتمد pure-ZK فقط على الإثباتات التشفيرية، ويوفر حتمية مطلقة لكنه يتطلب إثباتًا لكل عملية. بينما يمنح coChain ضمانات عبر التخزين وقطع الرصيد على Ethereum ونوافذ التحدي، ويمكنه إلغاء تكلفة الإثبات إذا لم يتم التحدي. يمكن كتابة المنطق مرة واحدة ونشره حسب الحاجة عبر Brevis SDK.
ما هي استخدامات رمز BREV؟
BREV هو الرمز الأصلي للخدمة والحوكمة في شبكة Brevis، ويستخدم لدفع رسوم الإثبات، وكضمان للمُثبِّتين (يُقفل لتلقي المهام ويُقطع في حال الإخلال)، ولحوكمة معايير البروتوكول.
