ما الفرق بين نموذج "حساب خارج السلسلة والتحقق داخل السلسلة" الخاص بـ Brevis؟

المؤلف: ملاحظات الثعلب الأزرق؛ المصدر: X، @lanhubiji

رأيت أن فيتالك ذكر Brevis، ويبدو أنه يولي أهمية كبيرة لتوسيع L1. في خارطة طريق إيثريوم، هناك مفهوم: “حساب خارج السلسلة والتحقق داخل السلسلة”، وقد كان لدى Eigenlayer وSuccinct وZksync أفكار مشابهة، مما يدل على وجود توافق في الصناعة. إذا كنت ترغب في توسيع L1 بشكل لامركزي حقًا، يمكنك الاستفادة من مزايا خارج السلسلة؛ وقد استخدمت Brevis أيضًا هذا النموذج، فما الذي يميز Brevis؟

ما هو نموذج “الحساب خارج السلسلة والتحقق داخل السلسلة”؟ لتسهيل الفهم على المزيد من المستخدمين العاديين، يمكن استخدام تشبيه مبسط، حيث يمكن اعتبار “الحساب خارج السلسلة والتحقق داخل السلسلة” كإيجاز للحقائق خارج السلسلة (نتائج الحساب أو البيانات) إلى دليل أو ملخص بسيط، ثم يتم التحقق منه على السلسلة. إلى حد ما، فإن فكرته تشبه L2 Rollup من حيث المستوى المجرد، حيث يقوم L2 Rollup بتجميع وتكثيف العديد من المعاملات في دفعة واحدة، ثم يقدمها إلى L1 للتحقق والتنفيذ، على الرغم من أن الآليات المحددة مختلفة، إلا أن هذا يساعد على فهم فلسفة تصميم Brevis لـ ZkVM: “التكثيف والتحقق”. من خلال الرياضيات، يتم ضغط الكثير من أعمال الحساب خارج السلسلة إلى كتل صغيرة من المعلومات، مما يحقق معالجة فعالة على السلسلة باهظة الثمن ومنخفضة الإنتاجية، وبالتالي حل مشكلة قابلية التوسع في blockchain.

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

الجمع بين العمومية والتحسين المخصص

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

لديها معالج بروتوكول مدمج يسمى ZK Data Coprocessor، مصمم لتحليل بيانات التاريخ في blockchain، يمكنه حل مشكلة “ذاكرة العقد الذكي” (عدم القدرة على الوصول بتكلفة منخفضة إلى البيانات التاريخية). إنها في

البحث عن البيانات وتحليلها خارج السلسلة، وتوفير النتائج والأدلة، وضمان وجود البيانات وصحة الحسابات. على سبيل المثال، يمكن لـ pancakeswap استخدام خطاف Brevis لتحقيق خصومات على الرسوم بناءً على حجم معاملات المستخدم؛ بينما تستخدم uniswap Brevis لاسترداد الغاز. إنهما يحققان وظائف معقدة من خلال zK Data Coprocessor مع توفير تكاليف كبيرة.

تقديم “مسرع” لـ Ethereum L1

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

وفقًا لمعايير إطار إثبات الحضور المباشر لمؤسسة Ethereum الحالية، تم تحقيق معدل تغطية يبلغ 99.6% (إثبات أقل من 12 ثانية) لمستوى L1 الحالي الذي يحد من الغاز إلى 45M، مع معدل تغطية مباشر يبلغ 96.8% (أقل من 10 ثوانٍ)؛ متوسط وقت الإثبات لكتل الغاز 36M هو 6.04 ثوانٍ، وللكتل 45M هو 6.9 ثوانٍ؛ تم استخدام 64 وحدة معالجة رسومات RTX 5090، بتكلفة 128K دولار.

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

لتبسيط الفهم، يمكن تشبيهه بأن Pico Prism هو مثل جهاز تسريع تم تركيبه على Ethereum L1. في السابق، كانت Ethereum تحتاج إلى إعادة حساب كل كتلة من قبل جميع العقد، ولكن بفضل تقنية مثل Pico Prism، يعني ذلك أنه يمكنها من خلال “التكثيف” (توليد إثبات بسرعة، ضغط ملخصات بشكل فائق) أن تتحقق الشبكة في بضع ثوانٍ فقط، دون الحاجة إلى إعادة حساب من قبل كل عقدة. بعبارة أخرى، هذا يعني أن Ethereum L1 ستصبح أسرع وأرخص وأكثر كفاءة، وستتمكن من معالجة تنفيذات أكثر تعقيدًا، دون التضحية باللامركزية والأمان. إذا كانت Ethereum في السابق تشبه الدراجة القديمة، فإن تقنية Pico Prism من Brevis قد جعلت Ethereum تتطور إلى سيارة.

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

مشهد DeFi: في السابق، كانت العقود الذكية على شبكة Ethereum L1 قادرة فقط على رؤية الرصيد للاقتراض، ولم تكن قادرة على تحليل مستوى استقرار المستخدم بناءً على بيانات معاملاته التاريخية (لأن تحليل كميات ضخمة من البيانات التاريخية لم يكن ممكنًا). مع وجود هذا المسرع، يمكن دعم تحليل البيانات التاريخية الضخمة في الوقت الحقيقي على L1 (إثبات خلال ثوانٍ)، مما يسمح ببناء “روبوت إقراض مدعوم بالذكاء الاصطناعي”. تستند العقود إلى تاريخ معاملات المستخدم في DeFi لتحديد درجة الائتمان وتقديم أسعار فائدة مخصصة. بالإضافة إلى ذلك، بالنسبة للمشاهد عالية التردد، مثل القروض الفورية، يتم قرض الأموال/الاستثمار/السداد في كتلة واحدة، حيث يقوم الذكاء الاصطناعي بتحسين المسار في الوقت الحقيقي لتجنب خسائر “الانزلاق”. يشبه ذلك Robinhood اللامركزية. بالإضافة إلى ذلك، يمكن أن يكون هناك مزادات عالية التردد، حيث يمكن إجراء مئات أو آلاف العروض في الدقيقة.

ألعاب على السلسلة: كانت L1 ترغب سابقًا في بناء لعبة متعددة اللاعبين (مثل Axie Infinity على السلسلة)، حيث كانت تأكيدات الكتلة تأخذ 12 ثانية لكل جولة، مما أدى إلى تأخر اللاعبين وارتفاع التكاليف؛ من خلال دعم Pico Prism لـ"محاكاة الوقت الحقيقي"، يتم حساب الأضرار والقيم الأخرى على خادم خارج السلسلة، ويتم تسوية كل جولة باستخدام إثبات ZK إلى L1، مما يحاكي لعبة “الوقت الحقيقي”، ويحقق تجربة ألعاب أفضل.

سيناريو التصويت المجهول على السلسلة: حاليًا، التصويت على L1 شفاف، مما يسهل تتبعه أو التلاعب به، كما أن تكلفة الإحصاءات المعقدة مرتفعة وسرعتها بطيئة. من خلال Pico Prism، يتم تحقيق “حساب الخصوصية بدون معرفة”، مما يسمح بتشغيل تطبيقات الخصوصية عالية التردد على L1، ويمكن أن يتحقق التصويت المجهول عالي التردد لحوكمة DAO مع الحصول على النتائج في الوقت الحقيقي.

ما يعنيه السيناريو المذكور أعلاه بالنسبة للإيثيريوم هو أنه يمكنه فتح المزيد من تطبيقات DeFi وغيرها من السيناريوهات، مما يجلب المزيد من الأصول إلى L1، ويزيد من التداول والسيولة، وزيادة النشاط.

بالنسبة لما يمكن أن يظهر في المستقبل، لا بد من اختبار ذلك في الممارسة العملية.

التنفيذ التدريجي

وفقًا للبيانات العامة، يتم نشر Brevis تدريجيًا، حيث تم إنشاء 1.475 مليون إثبات ZK؛ عدد المستخدمين المستقلين يتجاوز 190,000؛ يدعم 5 سلاسل بلوكتشين؛ الشركاء الرئيسيون يتجاوز عددهم 20 (مثل Metamask و Linea وغيرها)، وهو حاليًا مدمج في التطبيقات التي تعمل بالفعل، مثل إصدار مكافآت سنوية من خلال تقنية Brevis على منصة Incentra؛ وPancakeSwap تنفذ خصومات بناءً على بيانات حجم التداول؛ وLinea تقوم بتوزيع 1 مليار رمز LINEA بناءً على مساهمة المستخدم.