ما الفرق بين نموذج "حساب خارج السلسلة والتحقق داخل السلسلة" الخاص بـ 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، مصمم لتحليل البيانات التاريخية للبلوكشين، ويمكنه حل مشكلة “ذاكرة العقد الذكي” (عدم القدرة على الوصول إلى البيانات التاريخية بتكلفة منخفضة). إنه في

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

توفير “مسرع” لـ Ethereum L1

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

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

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

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

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

مشهد 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 بناءً على مساهمة المستخدم.