[Laporan Penelitian Brevis]: Lapisan komputasi terverifikasi tanpa batas dari zkVM dan ZK Data Coprocessor

Pembacaan Chainfeeds:

Brevis membangun sebuah lapisan komputasi terverifikasi multi-chain dengan mengintegrasikan zkVM umum (Pico/Prism) dan koprosesor data (zkCoprocessor).

Sumber artikel:

Jacob Zhao

Pendapat:

Jacob Zhao: "Komputasi terverifikasi" (Verifiable Computing) telah menjadi model komputasi umum untuk blockchain, dengan inti konsep "komputasi off-chain + verifikasi on-chain". Paradigma ini memungkinkan blockchain memperoleh kebebasan komputasi yang hampir tak terbatas, sambil tetap mempertahankan desentralisasi dan keamanan dengan minim kepercayaan. Zero-Knowledge Proof (ZKP) adalah pilar utama sistem ini, dengan aplikasi utama pada skalabilitas, perlindungan privasi, serta interoperabilitas/integritas data. Di antaranya, skalabilitas adalah arah implementasi paling awal, dengan memindahkan komputasi ke off-chain dan memverifikasi bukti ringkas di on-chain, sehingga memperluas kepercayaan dengan throughput tinggi dan biaya rendah. Jalur evolusi teknologi ZK dapat dirangkum sebagai: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup pertama kali mewujudkan eksekusi off-chain dan verifikasi on-chain, sangat meningkatkan performa; zkVM kemudian memperluasnya menjadi lapisan komputasi terverifikasi umum, mendukung verifikasi lintas chain, inferensi AI, dan tugas kriptografi; zkCoprocessor memodularisasi model ini, menjadi layanan pembuktian plug-and-play untuk DeFi, RWA, dan manajemen risiko; L1 zkEVM akhirnya mengintegrasikan verifikasi zero-knowledge ke dalam eksekusi layer Ethereum, mewujudkan pembuktian waktu nyata (Realtime Proving, RTP). Evolusi ini menandai transformasi blockchain dari "skalabilitas" menuju "verifiabilitas", memasuki era komputasi tanpa kepercayaan. Jalan zkEVM Ethereum mengalami dua tahap: Tahap pertama (2022–2024), L2 Rollup memigrasikan eksekusi layer namun memperkenalkan fragmentasi likuiditas dan status; Tahap kedua (2025–), L1 RTP menggantikan verifikasi ulang N-of-N dengan pembuktian 1-of-N, meningkatkan throughput sambil mempertahankan desentralisasi. Di luar Ethereum, komputasi zero-knowledge bergerak menuju bidang komputasi terverifikasi yang lebih luas, dengan sistem inti meliputi zkVM dan zkCoprocessor. zkVM (Zero-Knowledge Virtual Machine) adalah mesin eksekusi terverifikasi umum, mendukung eksekusi program apa pun pada RISC-V, MIPS, atau WASM, dengan hasil pembuktian dapat diverifikasi on-chain, digunakan untuk verifikasi blok, inferensi AI, dan tugas lintas chain. Keunggulannya adalah generalitas dan fleksibilitas, namun biaya pembuktian tinggi dan optimasi paralel kompleks. Proyek perwakilan meliputi RiscZero, SP1 dari SuccinctLabs, dan Pico zkVM dari Brevis. Sebaliknya, zkCoprocessor lebih seperti "modul terverifikasi untuk skenario tertentu", menyediakan antarmuka komputasi dan pembuktian standar untuk DeFi, RWA, dll., aplikasi hanya perlu memanggil SDK atau API untuk mendapatkan hasil dan bukti, integrasi cepat, biaya rendah, namun generalitas terbatas. Keduanya berbagi logika "komputasi off-chain + verifikasi on-chain": biaya komputasi on-chain jauh lebih tinggi daripada biaya gabungan pembangkitan bukti off-chain dan verifikasi on-chain. Dalam bisnis, zkVM adalah model "Proving-as-a-Service", menyediakan mesin komputasi untuk infrastruktur; zkCoprocessor adalah "Proof-API-as-a-Service", melayani lapisan aplikasi dengan struktur SaaS berbasis tugas. Yang pertama membangun moat teknologi, yang kedua mendorong implementasi komersial. Keduanya bersama-sama membentuk dua kutub jaringan komputasi tanpa kepercayaan: zkVM membangun fondasi komputasi, zkCoprocessor mendorong ekosistem berkembang. Brevis Network menggabungkan arsitektur zkVM dan zkCoprocessor, membangun infrastruktur komputasi terverifikasi umum berkinerja tinggi yang disebut "lapisan komputasi tak terbatas". Pico zkVM-nya menggunakan arsitektur modular, memisahkan lapisan eksekusi umum dan lapisan koprosesor akselerasi perangkat keras, mewujudkan sistem dua lapis "General + Specialized", mendukung berbagai backend pembuktian dan modul kompresi rekursif, pengembang dapat menulis logika bisnis dengan Rust untuk menghasilkan bukti secara otomatis, sangat menurunkan hambatan. Pico Prism lebih lanjut menerobos performa klaster multi-GPU, dalam lingkungan 64×RTX5090 mencapai rata-rata pembuktian 6,9 detik, cakupan RTP 96,8%, rasio performa-biaya 3,4 kali lebih unggul dibanding produk sejenis. zk Data Coprocessor dari Brevis memungkinkan smart contract memiliki "memori", dapat mengakses data historis dan melakukan verifikasi tanpa kepercayaan, digunakan untuk insentif likuiditas, identitas lintas chain, dan DeFi berbasis data. Lapisan insentif Incentra-nya mendistribusikan secara transparan di on-chain melalui bukti ZK, telah melayani protokol seperti PancakeSwap, Euler, UsualMoney, Linea, dan lainnya. Menurut Brevis Explorer, hingga Oktober 2025, jaringan telah menghasilkan 125 juta bukti ZK, mendukung TVL lebih dari 2.8 miliar dolar AS, dan memverifikasi volume transaksi lebih dari 1 miliar dolar AS. Brevis, dengan dukungan keamanan Ethereum dan EigenLayer, telah diperluas ke ekosistem BNB, Linea, 0G, dan lainnya, menyediakan dukungan dasar untuk insentif on-chain, optimasi likuiditas, dan verifikasi lintas chain, membangun jaringan komputasi terverifikasi dengan umpan balik dua arah antara teknologi dan aplikasi. [Artikel asli dalam bahasa Inggris]