Brevis تكشف النقاب عن Pico: الجيل القادم من zkVMs

محرك حسابي خارج السلسلة يمكن التحقق منه خنصر أعلنت شركة Pico عن إطلاق الإصدار 1.0، وهو عبارة عن آلة افتراضية بدون معرفة (zkVM) مصممة للحوسبة المعيارية والمرنة القابلة للتحقق. Pico هو أول آلة افتراضية بدون معرفة (zkVM) تمكن المطورين من تخصيص الحقول الأولية وأنظمة الإثبات وسير العمل وتكاملات المعالج المساعد على مستوى التطبيق والوصول إلى البيانات التاريخية على السلسلة. تمنح هذه المرونة التطبيقات التحكم الكامل في كيفية إنشاء أدلة المعرفة الصفرية (ZKPs) وتحسينها، مما يسمح بتخصيص وكفاءة أكبر في عملية إنشاء الأدلة. 

قال مايكل دونج، المؤسس المشارك لشركة Brevis، في بيان مكتوب: "يمثل Pico تحولاً في كيفية تصميم ونشر zkVMs". "من خلال تقديم zkVM معياري وواعٍ للتطبيق مع معالجات zkCo مدمجة، نعمل على تحسين الأداء وإنشاء مستوى غير مسبوق من التخصيص في الحوسبة القابلة للتحقق منها Web3واضاف ان ".

على عكس آلات zkVM التقليدية، والتي تقدم عادةً نهجًا واحدًا يناسب الجميع، فإن Pico تتبنى تصميمًا معياريًا يسمح بتخصيص أكبر. يتيح هذا التصميم لـ Pico تقديم أسرع أداء على وحدات المعالجة المركزية، وتحقيق سرعات أسرع بنسبة 84% إلى 155% من أفضل حل تالٍ. ستقدم التحديثات المستقبلية تسريع وحدة معالجة الرسومات، مما يعزز الأداء بشكل أكبر. يوفر هذا النهج بروتوكولات على السلسلة وتطبيقات لامركزية (dApps) مع zkVM تضمن كفاءة محسنة وتعبيرًا وثقة.

تجمع بنية "المعالج المساعد" المعيارية من Pico بين zkVM للأغراض العامة ودوائر متخصصة عالية الأداء، مما يوفر مرونة في مجالات الإثبات والأنظمة وسير العمل. وعلى عكس zkVMs التقليدية التي تعتمد على التجميع المسبق منخفض المستوى، تمكن Pico الدوائر الخاصة بالتطبيق والتي يتم تخصيصها لتلبية احتياجات التطبيقات المتنوعة. يتمتع المطورون بالقدرة على دمج الدوائر المخصصة كمعالجات مساعدة أو تجميع مسبق، إما من خلال خيارات مدمجة أو تنفيذات مخصصة. ينتج عن هذا التصميم تحسينات في الأداء بمقدار 35 ضعفًا لمعالجة بيانات blockchain التاريخية، مما يقلل من وقت إنشاء الإثبات.

Pico: تمكين هياكل الإثبات الخاصة بالمجال، وتقديم سير عمل الإثبات القابل للتخصيص ProverChain، ودعم RISC-V وRust

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

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

يدعم Pico RISC-V، وهي بنية تعليمات مفتوحة المصدر ومتعددة الوحدات، وRust، وهي لغة برمجة أنظمة معروفة بتأكيدها على السلامة والأداء. يتيح هذا المزيج للمطورين إنشاء تطبيقات ZK باستخدام أدوات وإعدادات مألوفة. 

عدة Web3 لقد أطلقت بروتوكولات وتطبيقات لامركزية بالفعل ميزات مدعومة بـ Brevis على الشبكة الرئيسية، بما في ذلك Kwenta وUsual وAlgebra Labs وJoJo Exchange وTrusta. والعديد من الميزات الأخرى، مثل فطيرة ، Celer، Frax، Gamma، Quickswap، شبكة القناع، النواة، ثم بروتوكول كيم، 0G تعمل كل من Bedrock وMellow Finance وZettaBlock وHemera وMendi Finance على بناء منتجات وميزات الجيل التالي التي تعمل بتقنية خنصر .