لماذا تعتبر شبكة بريفيز مهمة في عالم يحتاج إلى حسابات قابلة للتحقق

شبكة Brevis تعيد صياغة قابلية توسعة البلوكشين من خلال فصل التنفيذ عن التحقق، مما يسمح للعقود الذكية بالاعتماد على حسابات خارج السلسلة المعقدة مع الحفاظ على الثقة على السلسلة من خلال إثباتات المعرفة الصفرية.

من خلال الجمع بين بنية zkVM الهجينة وسوق إثبات لامركزي، تحوّل Brevis عملية توليد الإثبات إلى بنية تحتية مفتوحة ومدفوعة بالسوق بدلاً من خدمة مغلقة أو مركزية.

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

لطالما كانت العقود الذكية تعاني من ضعف هيكلي. فهي جيدة في الحاضر، لكنها سيئة في الذاكرة.

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

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

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

هذه ليست تحسينًا صغيرًا. فهي تغير ما تم تصميم سلاسل الكتل للقيام به.

من إعادة التنفيذ إلى الحوسبة القابلة للتحقق

اعتمدت أمانات البلوكشين منذ زمن طويل على التكرار. يعيد كل عقدة تنفيذ كل معاملة. يخلق هذا التكرار الثقة، لكنه يفرض أيضًا حدودًا صارمة.

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

يواجه التنفيذ على السلسلة صعوبة في التعامل مع هذا الحمل. بينما يقدم التنفيذ خارج السلسلة الثقة.

تقترح Brevis مسارًا ثالثًا. يتم الحساب خارج السلسلة. يظل التحقق على السلسلة. تربط بينهما إثباتات المعرفة الصفرية.

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

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

يتوقف المطورون عن السؤال عما يمكن وضعه على السلسلة. ويبدؤون بالسؤال عما يمكن إثباته.

لماذا تعتبر البيانات التاريخية أكثر أهمية من خلال القدرة على المعالجة

القدرة على المعالجة سهلة القياس. الفائدة أصعب.

تولي العديد من التطبيقات اهتمامًا أقل بعدد المعاملات التي تعالجها السلسلة في الثانية، وتركز أكثر على ما تكشفه تلك المعاملات مع مرور الوقت. تعتمد محركات المخاطر على السلوك. تعتمد الأسواق على أنماط المشاركة. تعتمد الحوكمة على سجل النشاط.

لا تتعامل العقود الذكية بشكل جيد مع هذه الاحتياجات. تخزين مجموعات بيانات كبيرة على السلسلة مكلف. ومعالجتها مرارًا وتكرارًا أسوأ.

نتيجة لذلك، تعتمد معظم البروتوكولات على خطوط أنابيب خارج السلسلة. يتم جمع البيانات في مكان آخر، ومعالجتها بشكل خاص، وعكسها على السلسلة من خلال تحديثات موثوقة.

تغير Brevis سير العمل هذا.

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

لا ترى العقد البيانات الخام أبدًا. فقط يتحقق من الإثبات ويقبل النتيجة.

هذا يعيد استخدام البيانات التاريخية، دون إعادة إدخال الثقة المركزية.

دور Pico zkVM في جعل الإثباتات عملية

الحوسبة القابلة للتحقق تعمل فقط إذا كانت الإثباتات سريعة بما يكفي لتكون جزءًا من تدفقات المستخدمين الحقيقية.

بنيت Brevis على Pico zkVM مع وضع هذا القيد في الاعتبار. بدلاً من الاعتماد على آلة افتراضية عامة بحتة، تستخدم تصميمًا هجينًا. يتم تشغيل المنطق العام في zkVM. تنتقل العمليات الثقيلة إلى المعالجات المساعدة المتخصصة.

يحتفظ هذا النهج بمرونة التطوير مع تقليل تكلفة الإثبات. لم تعد البنى الأساسية المكلفة تهيمن على الأداء.

النتيجة هي نظام محسن للأحمال الإنتاجية بدلاً من النقاء النظري.

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

كما تتعامل Brevis مع الإثبات كمشكلة موزعة. يدعم Pico Prism إثباتات على مستوى العنقود، مما يسمح للأحمال بالانتشار أفقيًا بدلاً من الاعتماد على أداء جهاز واحد.

يوافق هذا التصميم على كيفية عمل الإثبات على نطاق البنية التحتية.

شبكة ProverNet واقتصاديات توليد الإثبات

حتى أفضل أنظمة الإثبات تفشل إذا كانت الإمدادات هشة.

إذا اعتمدت التطبيقات على موثوق واحد، فإنها ترث مخاطر التوقف عن العمل وتسعير غير متوقع. تعالج Brevis ذلك من خلال ProverNet، سوق إثبات لامركزي.

تقدم التطبيقات مهام إثبات مع تفضيلات الميزانية والكمون. يقدم المزودون عروضًا بناءً على التكلفة والقدرة. يطابق الشبكة العرض والطلب بشكل ديناميكي.

ليست كل الإثباتات متساوية. بعض منها يتطلب زمن استجابة منخفض. أخرى تفضل الكفاءة من حيث التكلفة. يتيح ProverNet للمزودين التخصص بدلاً من فرض أداء موحد.

يستخدم النظام تصميم سوق يكافئ التسعير الصادق. يستفيد المشاركون من الإبلاغ عن التكاليف الحقيقية بدلاً من التلاعب بالنظام. يساعد ذلك في الحفاظ على الاستقرار على المدى الطويل.

تدعم BREV هذه الاقتصاد. تدفع التطبيقات الرسوم بالرمز. يراهن المزودون عليه للمشاركة. يؤدي عدم تقديم إثباتات صالحة إلى فرض عقوبات.

يخلق هذا رابطًا مباشرًا بين الاستخدام والقيمة. كما يقدم مساءلة على مستوى البنية التحتية.

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

ما الذي تمكّنه Brevis عبر التطبيقات

تُهم Brevis عندما تغير من سلوك التطبيقات.

في DeFi، تمكّن منطقًا قائمًا على السلوك. يمكن للبروتوكولات تعديل الرسوم أو المكافآت باستخدام سجل المستخدم القابل للتحقق. تصبح أنظمة الولاء قابلة للتحقق بدلاً من أن تكون اختيارية.

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

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

عبر هذه الحالات، يظل النمط ثابتًا. الحساب خارج السلسلة. التحقق على السلسلة.

الرهان الاستراتيجي القادم

Brevis لا تتنافس على السرد. إنها تتنافس على الضرورة.

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

يركز خارطة الطريق على نقل حركة المرور الحقيقية إلى ProverNet، وتوسيع قدرة الإثبات، وتقليل تكاليف التنسيق من خلال طبقات تنفيذ مخصصة.

إذا نجحت، ستتوقف سلاسل الكتل عن محاولة حساب كل شيء بأنفسها.

تصبح أنظمة تتحقق من عمل اقتصاد الحوسبة الخارجي.

هذا هو المستقبل الذي تبنيه Brevis.