Mereka mengubah "zero knowledge" menjadi sebuah kunci universal, mengklaim dapat membuka semua kunci on-chain, tetapi tidak menyangka kunci itu semakin besar saat diasah, dan lubangnya semakin kecil—universal, ataukah penuh kesulitan?

Namun praktik menunjukkan bahwa pendekatan "besar dan lengkap" sering kali membawa masalah ketidakefisienan dan kesulitan dalam skala. Oleh karena itu, sebuah arah baru sedang muncul—modular zkVM. Dan Pico v1.0 yang diluncurkan oleh Brevis @brevis_zk adalah perwakilan dari tren ini.
Secara sederhana, Pico bukanlah "mesin serba bisa", melainkan sebuah "bengkel perakitan".
Ini membagi zkVM menjadi beberapa modul independen, memungkinkan pengembang untuk memilih fungsi yang dibutuhkan seperti bermain dengan blok bangunan, menghilangkan bagian yang tidak berguna.

➤Pemikiran inti Pico: membongkar dan merombak zkVM
Filsafat desain Pico sangat langsung—"semuanya dapat dimodulasi".
Ini terutama dibagi menjadi tiga lapisan struktur:

1) Modul Eksekusi: Mendukung berbagai sistem bukti, seperti STARK, SNARK, atau kombinasi keduanya. Pengembang dapat beralih dengan bebas sesuai dengan kebutuhan kinerja dan keamanan.

2）Modul konteks lingkungan: mendefinisikan struktur data, manajemen status, dan logika interaksi dengan rantai. Setara dengan "otak" sistem, memutuskan bagaimana ia berkomunikasi dengan dunia luar.

3) Lapisan plugin ekstensi: mendukung pengembang untuk menyesuaikan operator atau menghubungkan protokol khusus, seperti mempercepat logika permainan, perhitungan AI, atau pembuktian data off-chain.
Sebagai contoh, sebuah DEX mungkin hanya membutuhkan modul bukti untuk pembaruan status dan perhitungan harga, sementara sebuah permainan berbasis blockchain lebih memperhatikan efisiensi eksekusi paralel dan dukungan logika kompleks.

➤Jalur yang berbeda dari zkVM arus utama
Saat ini, zkVM yang umum di pasar masing-masing memiliki kelebihan dan kekurangan:
Risc Zero: Berbasis arsitektur CPU umum, sangat kompatibel, tetapi sistemnya besar dan lambat untuk memulai.

SP1 (Succinct): Desain yang sangat sederhana, cocok untuk bukti rekursif, tetapi tidak cukup fleksibel.

ZKWasm: Menggunakan ekosistem WebAssembly, lengkap fungsinya tetapi biaya belajar tinggi, memakan banyak sumber daya.

Dan Pico memilih jalur tengah: tidak lagi mengejar universalitas, tetapi memberikan "template bangun" yang terstruktur.
Pengembang dapat memilih untuk membuktikan backend, sirkuit akselerasi, dan alur kerja, untuk menyesuaikan zkVM yang hanya melayani bisnis mereka sendiri.

➤Nilai nyata yang dihadirkan oleh modularitas

zkVM umum terdengar hebat, tetapi sering memperlambat ritme dalam implementasinya.
Karena itu membutuhkan siklus adaptasi yang lebih lama, penyebaran yang lebih kompleks, dan lebih banyak sumber daya komputasi.
Namun, modul zkVM seperti Pico membawa keuntungan yang jelas di tiga tingkat:
>> Biaya lebih terkontrol: Pengembang dapat menggunakan modul sesuai kebutuhan, menghemat sumber daya komputasi dan penempatan.
>> Kembangkan lebih cepat: tidak perlu membangun kembali seluruh sistem bukti, dalam beberapa hari Anda dapat merakit lingkungan yang dapat berfungsi.
>> Pemeliharaan lebih mudah: Modul dapat diperbarui atau diganti secara terpisah, menghindari keruntuhan sistem secara keseluruhan.
＞＞Ekosistem lebih terbuka: Struktur modular memudahkan integrasi protokol eksternal, komputasi off-chain, atau modul AI.
Ini sangat ramah bagi DApp yang membutuhkan verifikasi data off-chain yang cepat. Misalnya, verifikasi identitas on-chain, penyelesaian lintas rantai, hasil inferensi AI yang diunggah ke rantai, Pico dapat menyediakan dukungan bukti yang ringan dan disesuaikan.

➤Dari "Widget" ke "Paradigma Baru"
Jangan lihat Pico hanya sebagai "komponen kecil" dalam dunia ZK, makna di baliknya sangat besar.
Ini mengubah zkVM dari "kotak hitam tertutup" menjadi "blok terbuka", memberi pengembang kendali yang sebenarnya.
Lingkungan eksekusi zk di masa depan tidak perlu besar dan lengkap, tetapi harus menyediakan kemampuan komputasi yang tepat untuk setiap jenis aplikasi.
Pico dari @brevis_zk sedang mewujudkan hal ini.
Setelah era zkVM yang umum, mungkin zkVM modular adalah bentuk kematangan nyata dari teknologi ZK.
Ini tidak mencari untuk mencakup segalanya, hanya ingin setiap aplikasi memiliki mesin perhitungan yang paling cocok.

Ini adalah filosofi desain di balik Pico:
Biarkan yang kompleks menjadi dapat dirakit, biarkan bukti tanpa pengetahuan benar-benar menjadi praktis.
#Brevis #KAITO

@brevis_zk

@KaitoAI