jakiro
المؤلف: بلو فوكس نوتس؛ المصدر: X، @lanhubiji
عند رؤية فيتاليك يذكر Brevis، يبدو أنه يعلق أهمية كبيرة على توسعة L1. يوجد في خارطة طريق إيثريوم مفهوم: نموذج “الحوسبة خارج السلسلة والتحقق عبر السلسلة”.لدى Eigenlayer وSuccinct وZksync أفكار مماثلة، مما يشير إلى أن هناك إجماعًا في الصناعة على أنه إذا كنت تريد حقًا تحقيق اللامركزية في توسيع L1، فيمكنك الاستفادة من المزايا خارج السلسلة؛ لقد استخدم بريفيس هذا النموذج فقط، لذا، كيف يختلف بريفيس؟
أولاً، دعونا نفهم بإيجاز ما هو نموذج “الحساب خارج السلسلة والتحقق عبر السلسلة”؟ ولكي يفهم المزيد من المستخدمين العاديين، يمكن استخدام استعارة مبسطة.يمكن اعتبار “الحساب خارج السلسلة والتحقق عبر السلسلة” بمثابة “تكثيف” للحقائق خارج السلسلة (نتائج الحساب أو البيانات) في دليل موجز أو ملخص، ثم التحقق منها على السلسلة.إلى حد ما، فكرتها مشابهة لـ L2 Rollup على المستوى المجرد. يقوم L2 Rollup بحزم المعاملات المتعددة وتكثيفها في دفعة وإرسالها إلى L1 للتحقق والتنفيذ. على الرغم من اختلاف الآلية المحددة، إلا أنه من المفيد فهم فلسفة تصميم ZkVM الخاصة بشركة Brevis: “التكثيف والتحقق”.من خلال الرياضيات، يتم ضغط كمية كبيرة من أعمال الحوسبة خارج السلسلة إلى أجزاء صغيرة من المعلومات، مما يتيح المعالجة الفعالة على سلاسل باهظة الثمن ومنخفضة الإنتاجية، وبالتالي حل مشكلة قابلية التوسع في blockchain.
تتمثل الآلية الأساسية لـ Brevis في إجراء حسابات فعالة خارج السلسلة، وإنشاء أدلة ZK، ثم إكمال التحقق على السلسلة بسرعة وبتكلفة منخفضة دون إعادة تنفيذ الحساب المعقد بالكامل.هذا ليس جديدًا، ما يجعل بريفيس مختلفًا هو:
مزيج من الأغراض العامة والتحسين المتخصص
مجموعة تكنولوجيا Brevis عبارة عن تصميم معياري، حيث يكون Pico zkVM هو محرك الحساب العالمي الذي يمكن التحقق منه، ويدعم إنشاء إثبات ZK لأي عملية حسابية. يكتب المطورون التعليمات البرمجية بلغة Rust دون خبرة ZK.تتعامل المنصة تلقائيًا مع إنشاء الأدلة، مما يخفض عتبة المطورين لبناء تطبيقات تشفير معقدة (تلخص التكنولوجيا تعقيد ZK وتسمح للمطورين ببناء تطبيقات تمامًا مثل كتابة التعليمات البرمجية العادية). تدعم بنيتها المعيارية إضافة معالجات مشتركة محددة.بالإضافة إلى التسوية العامة، يمكن أيضًا تحسينها لإجراء العمليات الحسابية المعقدة في سيناريوهات محددة لتحقيق تحسينات أكثر استهدافًا.
يحتوي على معالج بروتوكول مدمج يسمى ZK Data Coprocessor، وهو مصمم لتحليل البيانات التاريخية لـ blockchain ويمكنه حل مشكلة “فقدان الذاكرة” للعقود الذكية (عدم القدرة على الوصول إلى البيانات التاريخية بسعر رخيص).انها في
استرجاع البيانات وتحليلها خارج السلسلة وتقديم النتائج والبراهين والتأكد من وجود البيانات ودقة الحساب.على سبيل المثال، يمكن لـ Pancakeswap استخدام خطافات Brevis لتحقيق تخفيضات في الرسوم بناءً على حجم معاملات المستخدم؛يستخدم Uniswap Brevis لاسترداد الغاز.إنهم يحققون وظائف معقدة من خلال zK Data Coprocessor مع توفير الكثير من التكاليف.
توفير “مسرع” لـ Ethereum L1
تعد Pico Prism إحدى التقنيات الرئيسية لشركة Brevis. لقد حققت اختراقات في مجموعات GPU متعددة الخوادم وتدعم “الإثبات في الوقت الفعلي” لـ Ethereum L1.يمكن فهم هذا “الدليل في الوقت الفعلي” على أنه كل كتلة (صفحة واحدة من سجلات المعاملات) في Ethereum L1، والتي يمكن “ختمها” تشفيريًا لتأكيد دقتها في غضون ثوانٍ قليلة.ليس عليك إعادة حسابها للتحقق من موثوقيتها.
وفقًا لمعيار إطار عمل الإثبات في الوقت الفعلي الحالي لمؤسسة Ethereum، بالنسبة لكتلة L1 الحالية بحد غاز يبلغ 45 مليونًا، تم تحقيق تغطية 99.6% (أقل من 12 ثانية من الإثبات) وتغطية 96.8% في الوقت الفعلي (أقل من 10 ثوانٍ)؛ متوسط وقت الإثبات هو 6.04 ثانية لـ 36 مليون قطعة غاز و6.9 ثانية لـ 45 مليون قطعة غاز؛ الجهاز عبارة عن 64 وحدة معالجة رسوميات RTX 5090 ويكلف 128 ألف دولار.
تبدو البيانات المذكورة أعلاه احترافية للغاية، ولكن بالنسبة للمستخدمين العاديين، قد لا تكون هذه البيانات ذات صلة.
لسهولة الفهم، يمكن تبسيط القياس عندما يقوم Pico Prism بتثبيت مسرع لـ Ethereum L1. في الماضي، كان الإيثريوم يطلب من جميع العقد إعادة حساب كل كتلة عند معالجة كل كتلة.من خلال تقنية مثل Pico Prism، يعني ذلك أنه يمكنها “التكثيف” (إنشاء دليل سريع وملخص مضغوط للغاية)، مما يسمح للشبكة بالتحقق في ثوانٍ معدودة، دون الحاجة إلى حسابات متكررة بواسطة كل عقدة.بمعنى آخر، هذا يعني أن Ethereum L1 سيصبح أسرع وأرخص وأكثر كفاءة ويمكنه التعامل مع تطبيقات أكثر تعقيدًا دون التضحية باللامركزية والأمن.إذا كان الإيثريوم السابق مشابهًا لدراجة قديمة الطراز، مع تقنية بيكو بريزم من بريفيس، فقد تمت ترقية إيثريوم ليصبح سيارة.
يمكن لتأثير التسريع هذا فتح المزيد من السيناريوهات، مثل إقراض التمويل اللامركزي المعتمد على الذكاء الاصطناعي في الوقت الفعلي، والألعاب عبر السلسلة، والتصويت المجهول، وما إلى ذلك.
سيناريو DeFi: العقود الذكية السابقة على Ethereum L1 يمكنها اقتراض الأموال فقط بناءً على الرصيد، ولا يمكنها تحليل استقرار المستخدم بناءً على بيانات المعاملات التاريخية للمستخدم (نظرًا لعدم إمكانية إجراء تحليل ضخم للبيانات التاريخية). باستخدام هذا المسرع، يمكن دعم L1 لتحليل البيانات التاريخية الضخمة في الوقت الفعلي (إثبات بضع ثوانٍ)، وبالتالي بناء “روبوت إقراض يعمل بالذكاء الاصطناعي”.يحسب العقد درجة الائتمان بناءً على سجل معاملات DeFi للمستخدم ويعطي سعر فائدة شخصيًا.بالإضافة إلى ذلك، بالنسبة للسيناريوهات عالية التردد، مثل القروض السريعة، يتم إكمال الاقتراض/الاستثمار/سداد الأموال في كتلة واحدة، ويقوم الذكاء الاصطناعي بتحسين المسار في الوقت الفعلي لتجنب خسائر “الانزلاق”.على غرار Robinhood اللامركزية. يمكن أن تكون هناك أيضًا مزادات عالية التردد، حيث يمكن إكمال مئات أو آلاف العطاءات في الدقيقة.
الألعاب على السلسلة: في السابق، أراد L1 إنشاء لعبة متعددة اللاعبين (مثل Axie Infinity على السلسلة)، لكن تأكيد الكتلة استغرق 12 ثانية، وكان اللاعبون عالقين، وارتفعت الرسوم؛تدعم Pico Prism ألعاب “المحاكاة في الوقت الفعلي”، وتقوم الخوادم خارج السلسلة بحساب الضرر والقيم الأخرى، وتستخدم إثبات ZK لتسوية التسوية إلى L1 في كل جولة، ومحاكاة ألعاب “الوقت الفعلي” لتحقيق تجربة لعب أفضل.
سيناريو التصويت المجهول عبر السلسلة: حاليًا، يتسم التصويت على المستوى الأول بالشفافية، ويسهل تتبعه أو التلاعب به، كما أن الإحصائيات المعقدة مكلفة وبطيئة.من خلال Pico Prism لتحقيق “حوسبة خصوصية المعرفة الصفرية”، يمكن لـ L1 تشغيل تطبيقات خصوصية عالية التردد، والتي يمكنها تحقيق تصويت مجهول عالي التردد في حوكمة DAO وتحقيق النتائج في الوقت الفعلي.
ما يعنيه السيناريو أعلاه بالنسبة لـ Ethereum هو أنه يمكنه فتح المزيد من DeFi وسيناريوهات التطبيقات الأخرى، وجلب المزيد من الأصول إلى L1، وجلب المزيد من المعاملات والسيولة، وزيادة النشاط.
أما بالنسبة للسيناريوهات التي يمكن تنفيذها في المستقبل، فلا تزال بحاجة إلى اختبارها في ممارسة محددة.
يتم تنفيذها تدريجيا
وفقًا للمعلومات العامة، يتم نشر Brevis تدريجيًا، حيث تم إنشاء 147.5 مليون شهادة ZK؛ أكثر من 190.000 مستخدم مستقل؛ دعم 5 blockchains. أكثر من 20 شريكًا رئيسيًا (مثل Metamask وLinea وما إلى ذلك)، ويتم دمجها حاليًا في التطبيقات قيد التشغيل بالفعل، مثل تقنية Brevis، وتصدر Incentra Platform مكافآت سنوية؛ تطبق PancakeSwap الخصومات بناءً على حجم المعاملات والبيانات الأخرى؛ تقوم Linea بتوزيع مليار LINEA بناءً على رموز مساهمات المستخدمين وما إلى ذلك.
