Brevis Luncurkan Pico: Generasi Berikutnya dari zkVM

Mesin komputasi off-chain yang dapat diverifikasi singkat mengumumkan peluncuran Pico v1.0, sebuah mesin virtual zero-knowledge (zkVM) yang dirancang untuk komputasi terverifikasi yang modular dan fleksibel. Pico adalah zkVM pertama yang memungkinkan pengembang untuk menyesuaikan bidang utama, sistem pembuktian, alur kerja, integrasi koprosesor tingkat aplikasi, dan akses ke data on-chain historis. Fleksibilitas ini memberikan aplikasi kendali penuh atas bagaimana bukti zero-knowledge (ZKP) dibuat dan dioptimalkan, yang memungkinkan penyesuaian dan efisiensi yang lebih besar dalam proses pembuatan bukti. 

“Pico merupakan perubahan dalam cara zkVM dirancang dan digunakan,” kata Michael Dong, salah satu pendiri Brevis, dalam pernyataan tertulisnya. “Dengan menghadirkan zkVM modular yang mendukung aplikasi dengan zkCoprocessor bawaan, kami mengoptimalkan kinerja dan menciptakan tingkat kustomisasi yang belum pernah ada sebelumnya dalam komputasi yang dapat diverifikasi untuk Web3, "Tambahnya.

Tidak seperti zkVM tradisional, yang biasanya menawarkan pendekatan satu ukuran untuk semua, Pico menggunakan desain modular yang memungkinkan kustomisasi lebih besar. Desain ini memungkinkan Pico memberikan kinerja tercepat pada CPU, mencapai kecepatan 84% hingga 155% lebih cepat daripada solusi terbaik berikutnya. Pembaruan mendatang akan memperkenalkan akselerasi GPU, yang akan semakin meningkatkan kinerja. Pendekatan ini menyediakan protokol on-chain dan aplikasi terdesentralisasi (dApps) dengan zkVM yang memastikan peningkatan efisiensi, ekspresivitas, dan kepercayaan.

Arsitektur "glue-and-coprocessor" modular Pico menggabungkan zkVM serbaguna dengan sirkuit khusus berkinerja tinggi, yang menawarkan fleksibilitas dalam pembuktian bidang, sistem, dan alur kerja. Tidak seperti zkVM tradisional yang mengandalkan prakompilasi tingkat rendah, Pico memungkinkan sirkuit khusus aplikasi yang disesuaikan untuk memenuhi berbagai kebutuhan aplikasi. Pengembang memiliki kemampuan untuk mengintegrasikan sirkuit khusus sebagai koprosesor atau prakompilasi, baik melalui opsi bawaan atau implementasi khusus. Desain ini menghasilkan peningkatan kinerja 35X untuk memproses data blockchain historis, yang mengurangi waktu pembuatan bukti.

Pico: Mengaktifkan Struktur Pembuktian Khusus Domain, Memperkenalkan Alur Kerja Pembuktian yang Dapat Disesuaikan ProverChain, Dan Mendukung RISC-V Dan Rust

Dengan Pico, pengembang dapat membuat struktur pembuktian khusus domain yang menyelaraskan pembuktian dengan bahasa khusus atau sistem pembuktian khusus. Untuk pertama kalinya, zkVM mendukung sistem pembuktian yang dapat disesuaikan dan bidang utama tanpa memerlukan modifikasi kode apa pun. Fleksibilitas ini meningkatkan kriptografi zero-knowledge (ZK), meningkatkan kecepatan, ukuran pembuktian, dan efisiensi secara keseluruhan.

Selain itu, Pico memperkenalkan ProverChain, alur kerja pembuktian yang dapat disesuaikan. Alur kerja ini memungkinkan pengembang untuk menghasilkan bukti yang memverifikasi validitas suatu pernyataan, yang memungkinkan penyempurnaan pembuatan bukti berdasarkan kecepatan, penggunaan memori, atau ukuran. Alur kerja ini juga memungkinkan pengembang untuk menyesuaikan langkah-langkah pembuktian untuk mengoptimalkan biaya dan skalabilitas sekaligus menghindari kompresi bukti yang tidak perlu dalam kasus verifikasi di luar rantai.

Pico mendukung RISC-V, arsitektur set instruksi modular sumber terbuka, dan Rust, bahasa pemrograman sistem yang dikenal karena penekanannya pada keamanan dan kinerja. Kombinasi ini memungkinkan pengembang untuk membangun aplikasi ZK menggunakan alat dan pengaturan yang sudah dikenal. 

Beberapa Web3 protokol dan dApps telah meluncurkan fitur-fitur yang didukung Brevis di mainnet, termasuk Kwenta, Usual, Algebra Labs, JoJo Exchange, dan Trusta. Banyak lainnya, seperti Tukar Pancake , Celer, Frax, Gamma, Quickswap, Jaringan Masker, Kernel, lalu Protokol Kim, 0G Bedrock, Mellow Finance, ZettaBlock, Hemera, dan Mendi Finance, sedang membangun produk dan fitur generasi berikutnya yang didukung oleh singkat .