توسط: Brevis از نسخه‌ی Pico v1.0 رونمایی کرد، یک ماشین مجازی دانش صفر (zkVM) که برای محاسبات قابل اثبات انعطاف‌پذیر و مدولار طراحی شده است. این ابزار به برنامه‌ها کنترل کامل بر روند ایجاد و بهینه‌سازی اثبات‌های دانش صفر را می‌دهد. Pico اولین zkVM است که به توسعه‌دهندگان امکان تغییر در فیلدهای اصلی، سیستم‌های اثبات، رابط‌های برنامه‌ای کوپروسسور و دسترسی به داده‌های تاریخچه‌ای زنجیره‌ای را می‌دهد.
در مقایسه با رویکرد یکسان‌سازی zkVM های استاندارد، Pico zkVMها را به شکل مدولار می‌سازد و معماری انعطاف‌پذیری ارائه می‌دهد که سریع‌ترین عملکرد در CPU را ارائه می‌دهد و تا ۸۴٪ تا ۱۵۵٪ از بهترین راه‌حل بعدی برتر است. در نسخه‌های آینده Pico، شتاب‌دهی با GPU فراهم خواهد شد. این موضوع به dApps و پروتکل‌های زنجیره‌ای کمک می‌کند تا zkVM هایی با اعتمادپذیری، انعطاف‌پذیری و کارایی بالا داشته باشند.
طراحی مدولار Pico که به عنوان “چسب و کوپروسسور” شناخته می‌شود، zkVMهای عمومی و مدارهای تخصصی با کارایی بالا را ترکیب می‌کند تا فیلدهای، سیستم‌ها و فرآیندهای اثبات قابل تطبیق ارائه دهد. در حالی که zkVMهای معمولی به پایین‌ترین حد پردازش متکی هستند، Pico مدارهایی ارائه می‌دهد که برای کاربردهای مختلف تخصصی هستند.
با استفاده از ویژگی‌های داخلی یا پیاده‌سازی‌های سفارشی، توسعه‌دهندگان می‌توانند مدارهای سفارشی را به عنوان کوپروسسورها یا پیش‌پردازنده‌ها بگنجانند. این راه‌حل، زمان تولید اثبات‌ها را به شدت کاهش داده و سرعت پردازش داده‌های زنجیره‌ای پیشین را تا ۳۵ برابر افزایش می‌دهد.
توسعه‌دهندگان می‌توانند با استفاده از Pico ساختارهای اثبات خاص دامنه‌ای ایجاد کنند که اثبات‌ها را به سیستم‌های اثبات یا زبان‌های تخصصی سفارشی می‌کنند. برای اولین بار فیلدها و سیستم‌های اثبات اصلی را می‌توان بدون تغییر کد در یک zkVM سفارشی کرد. این انعطاف‌پذیری باعث بهبود دانش صفر با افزایش بهره‌وری، سرعت و اندازه اثبات می‌شود.
مایکل دونگ، هم‌بنیان‌گذار Brevis اظهار داشت:
“Pico تغییری در نحوه طراحی و استقرار zkVMها ایجاد می‌کند. با معرفی zkVM ای مدولار و آگاه از برنامه به همراه zkCoprocessor های داخلی، ما در حال بهینه‌سازی عملکرد و ارائه سطحی از شخصی‌سازی بی‌سابقه در محاسبات قابل اثبات برای وب۳ هستیم.”
Pico همچنین یک فرآیند اثبات سفارشی به نام ProverChain را پیاده‌سازی می‌کند. این دنباله قابل تنظیم، اثباتی برای تأیید یک بیانیه ایجاد می‌کند و به توسعه‌دهندگان اجازه می‌دهد مراحل اثبات را برای هزینه و مقیاس‌پذیری بهینه کرده و تولید اثبات را از نظر سرعت، حافظه یا اندازه تسریع دهند و فشرده‌سازی اثبات‌های غیرضروری را در سناریوهای تأیید خارج از زنجیره حذف کنند.
از آنجایی که Pico از زبان برنامه‌نویسی سیستمی Rust که بر ایمنی و سرعت اولویت دارد و معماری مجموعه دستورالعمل منبع باز RISC-V با طراحی مدولار پشتیبانی می‌کند، توسعه‌دهندگان می‌توانند با استفاده از تنظیمات توسعه شناخته شده، برنامه‌های zk ایجاد کنند. چندین پروتکل وب۳ و dApp از جمله Kwenta، Usual، Algebra Labs، JoJo Exchange و Trusta، ویژگی‌های مجهز به Brevis را در شبکه اصلی معرفی کرده‌اند. تعداد زیادی از دیگر، از جمله PancakeSwap، Celer، Frax,
Gamma, Quickswap, شبکه Mask, Kernel, Thena, پروتکل Kim, 0G, Bedrock, مالی Mellow, ZettaBlock, Hemera, و مالی Mendi در حال توسعه محصولات و ویژگی‌های مبتنی بر Brevis برای نسل بعدی می‌باشند.
با استفاده از Brevis، که یک موتور محاسباتی خارج از زنجیره کارآمد و قابل تأیید است، بلاکچین‌های قرارداد هوشمند اکنون قادر به تحمل محاسبات بی‌نهایت هستند. Brevis از گواهینامه‌های دانش صفر استفاده می‌کند تا محاسبات پرهزینه و سنگین داده‌ای را از محیط‌های داخل زنجیره به یک موتور خارج از زنجیره بسیار ارزان‌تر منتقل کند. این کار به برنامه‌های وب3 امکان توسعه بدون اختلال را می‌دهد و همزمان امنیت فرضیات اعتمادی زنجیره اصلی (L1) حفظ می‌شود.
