Laporan Brevis: ZKVM dan lapisan komputasi terpercaya tanpa batas dengan prosesor pengolahan data

2025-10-27 07:54:21

Penulis: JacobZhao Sumber: mirror

Paradigma komputasi yang dapat diverifikasi (Verifiable Computing) “komputasi off-chain + verifikasi on-chain” telah menjadi model komputasi umum untuk sistem blockchain. Ini memungkinkan aplikasi blockchain untuk mendapatkan hampir tanpa batasan kebebasan komputasi (computational freedom) sambil mempertahankan desentralisasi dan keamanan minim kepercayaan (trustlessness). Bukti nol pengetahuan (ZKP) adalah pilar inti dari paradigma ini, dengan aplikasi yang terutama terfokus pada tiga arah dasar: skala (Scalability), privasi (Privacy), serta interoperabilitas dan integritas data (Interoperability & Data Integrity). Di antaranya, skala adalah skenario pertama di mana teknologi ZK diterapkan, dengan memindahkan eksekusi transaksi ke off-chain, dan menggunakan bukti singkat untuk memverifikasi hasil di on-chain, mencapai TPS tinggi dan biaya rendah untuk skala yang dapat dipercaya.

Evolusi komputasi terpercaya ZK dapat dirangkum sebagai L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Awalnya, L2 zkRollup memindahkan eksekusi ke lapisan kedua dan mengajukan bukti validitas (Validity Proof) di lapisan pertama, untuk mencapai throughput tinggi dan perluasan biaya rendah dengan perubahan minimal. zkVM kemudian diperluas menjadi lapisan komputasi yang dapat diverifikasi secara umum, mendukung verifikasi lintas rantai, inferensi AI, dan komputasi terenkripsi (proyek perwakilan: Risc Zero, Succinct, Brevis Pico). zkCoprocessor berkembang secara paralel, sebagai modul verifikasi berbasis skenario, menyediakan layanan komputasi dan pembuktian yang dapat dipasang dan digunakan untuk DeFi, RWA, manajemen risiko, dll. (proyek perwakilan: Brevis, Axiom). Pada tahun 2025, konsep zkEVM diperluas menjadi pembuktian waktu nyata (Realtime Proving, RTP) di L1, membangun sirkuit yang dapat diverifikasi pada tingkat instruksi EVM, sehingga bukti nol pengetahuan langsung terintegrasi ke dalam proses eksekusi dan verifikasi jaringan utama Ethereum, menjadi mekanisme eksekusi yang dapat diverifikasi secara asli. Jalur ini mencerminkan lompatan teknologi blockchain dari “dapat diperluas” menuju “dapat diverifikasi”, membuka tahap baru dalam komputasi terpercaya.

I. Jalan Perluasan zkEVM Ethereum: Dari L2 Rollup ke Pembuktian Real-Time L1

Jalur skalabilitas zkEVM Ethereum melewati dua tahap:

Tahap Satu (2022–2024): L2 zkRollup akan menjalankan pemindahan ke lapisan dua, dengan mengajukan bukti keabsahan di lapisan satu; secara signifikan mengurangi biaya dan meningkatkan throughput, tetapi membawa likuiditas dan fragmentasi status, L1 masih terikat pada eksekusi ulang N-of-N.
Tahap Dua (2025–): L1 Pembuktian Waktu Nyata (Realtime Proving, RTP) menggantikan eksekusi ulang dengan “1-of-N proof + validasi ringan di seluruh jaringan”, meningkatkan throughput tanpa mengorbankan desentralisasi, masih dalam pengembangan.

L2 zkRollup tahap: keseimbangan antara kompatibilitas dan kinerja skalabilitas

Pada tahun 2022, di fase ekosistem Layer2 yang berkembang pesat, pendiri Ethereum Vitalik Buterin mengusulkan empat kategori ZK-EVM (Tipe 1–4), secara sistematis mengungkapkan trade-off struktural antara kompatibilitas (compatibility) dan performa (performance). Kerangka ini menetapkan koordinat yang jelas untuk jalur teknologi zkRollup yang akan datang:

Tipe 1 setara sepenuhnya: konsisten dengan bytecode Ethereum, biaya migrasi terendah, bukti paling lambat. Taiko.
Tipe 2 sepenuhnya kompatibel: sangat sedikit optimasi di level dasar, kompatibilitas paling kuat. Scroll, Linea.
Tipe 2.5 semi-kompatibel: sedikit perubahan (gas/prapengkompilasi, dll.) untuk kinerja. Polygon zkEVM, Kakarot.
Tipe 3 sebagian kompatibel: perubahan lebih besar, dapat menjalankan sebagian besar aplikasi tetapi sulit untuk sepenuhnya menggunakan infrastruktur L1. zkSync Era.
Tipe 4 Tingkat Bahasa: mengabaikan kompatibilitas bytecode, langsung dikompilasi dari bahasa tingkat tinggi menjadi sirkuit, kinerja terbaik tetapi perlu membangun kembali ekosistem (perwakilan: Starknet / Cairo).

Mode L2 zkRollup saat ini telah matang: dengan memindahkan eksekusi ke lapisan kedua, dan mengajukan bukti validitas di lapisan pertama, menggunakan ekosistem dan alat Ethereum dengan sedikit perubahan, menjadi solusi utama untuk skalabilitas dan pengurangan biaya. Objek pembuktiannya adalah blok L2 dan perpindahan status, sementara penyelesaian dan keamanan tetap terikat pada L1. Arsitektur ini secara signifikan meningkatkan throughput dan efisiensi, sambil mempertahankan kompatibilitas tinggi bagi pengembang, namun juga membawa likuiditas dan fragmentasi status, dan L1 masih terbatas pada hambatan rekaman ulang N-of-N.

L1 zkEVM: Pembuktian waktu nyata membentuk ulang logika verifikasi ringan Ethereum

Pada bulan Juli 2025, Ethereum Foundation menerbitkan artikel “Shipping an L1 zkEVM #1: Realtime Proving” yang secara resmi mengusulkan jalur L1 zkEVM. L1 zkEVM memperbarui Ethereum dari N-of-N re-execution menjadi 1-of-N proof + verifikasi cepat di seluruh jaringan: sejumlah kecil prover menghasilkan bukti singkat untuk seluruh status EVM block, sementara semua validator hanya melakukan verifikasi dalam waktu konstan. Rencana ini, tanpa mengorbankan desentralisasi, mewujudkan pembuktian waktu nyata L1 (Realtime Proving), meningkatkan batas Gas jaringan utama dan throughput, serta secara signifikan mengurangi ambang perangkat keras node. Rencana implementasinya adalah dengan mengganti klien eksekusi tradisional dengan klien zk, yang akan berjalan paralel terlebih dahulu, dan setelah kinerja, keamanan, dan mekanisme insentif matang, secara bertahap menjadi norma baru di tingkat protokol.

N of N Paradigma Lama: Semua validator melakukan eksekusi ulang transaksi blok untuk memverifikasi, aman tetapi throughput terbatas, biaya puncak tinggi.
1 dari N paradigma baru: sejumlah kecil prover mengeksekusi seluruh blok dan menghasilkan bukti singkat; seluruh jaringan hanya melakukan verifikasi waktu konstan. Biaya verifikasi jauh lebih rendah daripada eksekusi ulang, dapat dengan aman meningkatkan batas gas L1, dan mengurangi persyaratan perangkat keras.

Peta jalan L1 zkEVM tiga garis besar

Pembuktian Real-Time (Realtime Proving): Menyelesaikan bukti blok secara keseluruhan dalam waktu slot 12 detik, dengan mengompresi penundaan melalui paralelisasi dan percepatan perangkat keras;
Integrasi klien dan protokol: antarmuka verifikasi bukti yang distandarisasi, pertama opsional, kemudian default;
Insentif dan Keamanan: Membangun pasar Prover dan model biaya, memperkuat ketahanan terhadap sensor dan aktivitas jaringan.

Ethereum L1 Real-Time Proof (RTP) adalah penggunaan zkVM untuk menjalankan ulang seluruh transaksi block di luar rantai dan menghasilkan bukti kriptografi, sehingga validator tidak perlu menghitung ulang, hanya perlu memverifikasi bukti kecil dalam waktu 10 detik, yang memungkinkan “verifikasi menggantikan eksekusi”, secara signifikan meningkatkan skalabilitas Ethereum dan efisiensi verifikasi tanpa kepercayaan. Menurut halaman resmi zkEVM Tracker dari Ethereum Foundation, tim utama yang terlibat dalam jalur L1 zkEVM Real-Time Proof saat ini termasuk SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM(Axiom) dan Jolt(a16z).

Dua, Melampaui Ethereum: zkVM Umum dan zkCoprocessor

Di luar ekosistem Ethereum, teknologi bukti nol pengetahuan (ZKP) juga meluas ke bidang komputasi yang dapat diverifikasi secara lebih luas (Verifiable Computing), membentuk dua jenis sistem teknologi yang berpusat pada zkVM dan zkCoprocessor.

zkVM: Lapisan Komputasi yang Dapat Diverifikasi Umum

Mesin eksekusi yang dapat diverifikasi yang ditujukan untuk program apa pun, arsitektur set instruksi yang umum termasuk RISC-V, MIPS, dan WASM. Pengembang dapat mengompilasi logika bisnis ke dalam zkVM, yang kemudian dieksekusi oleh prover di luar rantai dan menghasilkan bukti nol-pengetahuan (ZKP) yang dapat diverifikasi di dalam rantai, yang dapat digunakan untuk bukti blok L1 Ethereum, serta untuk verifikasi lintas rantai, inferensi AI, komputasi kriptografi, dan algoritma kompleks. Keuntungannya adalah universalitas dan rentang adaptasi yang luas, tetapi sirkuitnya kompleks, biaya pembuktian tinggi, dan bergantung pada paralelisme multi-GPU serta optimasi rekayasa yang kuat. Proyek perwakilan termasuk Risc Zero, Succinct SP1, Brevis Pico / Prism.

zkCoprocessor: Modul yang dapat diverifikasi dengan konteks

Menyediakan layanan komputasi dan bukti “plug-and-play” yang ditujukan untuk skenario bisnis tertentu. Platform ini telah dipersiapkan dengan akses data dan logika sirkuit (seperti pembacaan data historis di rantai, TVL, penyelesaian hasil, verifikasi identitas, dll.), dengan aplikasi yang dapat memperoleh hasil komputasi dan membuktikan konsumsi di rantai melalui pemanggilan SDK / API. Model ini cepat dipelajari, berkinerja tinggi, dan biaya rendah, tetapi memiliki keterbatasan dalam hal universalitas. Proyek khas termasuk Brevis zkCoprocessor, Axiom, dll.

Secara keseluruhan, zkVM dan zkCoprocessor mengikuti paradigma komputasi terpercaya “perhitungan off-chain + verifikasi on-chain”, dengan memverifikasi hasil off-chain di on-chain melalui bukti nol-pengetahuan. Logika ekonominya dibangun di atas premis bahwa biaya eksekusi langsung di on-chain jauh lebih tinggi daripada biaya gabungan dari generasi bukti off-chain dan verifikasi on-chain.

Dalam hal universalitas dan kompleksitas rekayasa, perbedaan kunci antara keduanya adalah:

zkVM adalah infrastruktur komputasi umum, cocok untuk skenario yang kompleks, lintas domain, atau AI, dengan fleksibilitas tertinggi;
zkCoprocessor adalah layanan verifikasi modular yang menyediakan antarmuka verifikasi yang dapat dipanggil langsung dengan biaya rendah untuk skenario yang sering digunakan kembali (DeFi, RWA, manajemen risiko, dll).

Dalam jalur bisnis, perbedaan antara zkVM dan zkCoprocessor adalah:

zkVM menggunakan model Proving-as-a-Service, dengan biaya per pembuktian (ZKP), terutama ditujukan untuk pelanggan infrastruktur seperti L2 Rollup, yang memiliki ciri-ciri kontrak berskala besar, berdurasi panjang, dan margin laba yang stabil;
zkCoprocessor menggunakan Proof API-as-a-Service sebagai fokusnya, dengan penagihan berdasarkan tugas melalui panggilan API atau integrasi SDK, lebih mendekati mode SaaS, ditujukan untuk protokol lapisan aplikasi seperti DeFi, integrasi cepat, dan skalabilitas yang kuat.

Secara keseluruhan, zkVM adalah mesin dasar untuk komputasi yang dapat diverifikasi, dan zkCoprocessor adalah modul verifikasi di lapisan aplikasi: yang pertama membangun benteng teknologi, sementara yang kedua mendorong pelaksanaan komersial, bersama-sama membentuk jaringan komputasi tepercaya yang umum.

Tiga, Peta produk dan jalur teknologi Brevis

Bermula dari Pembuktian Real-time L1 Ethereum, teknologi ZK secara bertahap bergerak menuju era komputasi yang dapat diverifikasi dengan arsitektur zkVM dan zkCoprocessor yang universal sebagai inti. Brevis Network adalah gabungan dari zkVM dan zkCoprocessor, membangun infrastruktur komputasi yang dapat diverifikasi yang berfokus pada komputasi nol pengetahuan, dengan kinerja tinggi dan dapat diprogram — Lapisan Komputasi Tak Terbatas untuk Segala Sesuatu.

( 3.1 Pico zkVM: Arsitektur pembuktian modular untuk komputasi yang dapat diverifikasi secara umum

Pada tahun 2024, Vitalik mengusulkan arsitektur “Lapisan Eksekusi Umum + Lapisan Percepatan Ko-Prosesor” (glue & coprocessor) dalam “Glue and Coprocessor Architectures”. Perhitungan kompleks dapat dibagi menjadi logika bisnis umum dan perhitungan intensif yang terstruktur—yang pertama mengejar fleksibilitas (seperti EVM, Python, RISC-V), dan yang kedua mengejar efisiensi (seperti GPU, ASIC, modul hash). Arsitektur ini menjadi tren bersama dalam blockchain, AI, dan komputasi kripto: EVM mempercepat melalui precompile, AI memanfaatkan paralelisme GPU, dan bukti ZK menggabungkan VM umum dengan rangkaian khusus. Kunci di masa depan adalah mengoptimalkan “lapisan lem” untuk keamanan dan pengalaman pengembangan, sementara “lapisan ko-prosesor” berfokus pada eksekusi yang efisien, mencapai keseimbangan antara kinerja, keamanan, dan keterbukaan.

![])https://img-cdn.gateio.im/webp-social/moments-c46288543a83af189338fd6a8ba5d1ef.webp###

Pico zkVM dikembangkan oleh Brevis, yang merupakan implementasi representatif dari ide ini. Melalui arsitektur “zkVM umum + akselerator coprocessor”, menggabungkan pemrograman yang fleksibel dengan komputasi berkinerja tinggi dari sirkuit khusus. Desain modularnya mendukung berbagai backend bukti (KoalaBear, BabyBear, Mersenne31), dan dapat menggabungkan komponen eksekusi, rekursi, kompresi, dan lainnya untuk membentuk ProverChain.

Sistem modular Pico tidak hanya dapat mengatur ulang komponen inti secara bebas, tetapi juga dapat memperkenalkan backend pembuktian baru dan prosesor ko-proses aplikasi (seperti data on-chain, zkML, verifikasi lintas rantai), mewujudkan skalabilitas yang terus berkembang. Pengembang dapat langsung menggunakan alat Rust untuk menulis logika bisnis tanpa perlu latar belakang pengetahuan nol untuk secara otomatis menghasilkan bukti kriptografi, secara signifikan mengurangi hambatan pengembangan.

Dibandingkan dengan arsitektur RISC-V zkVM yang relatif terintegrasi dari Succinct SP1 dan model eksekusi RISC-V umum dari RISC Zero R0VM, Pico mencapai desekripsi dan pengembangan fase eksekusi, rekursi, dan kompresi melalui Modular zkVM + Sistem Koprosesor, mendukung pergantian multi-backend dan integrasi koprosesor, membentuk keunggulan diferensiasi dalam kinerja dan skalabilitas.

( 3.2 Pico Prism: Terobosan kinerja untuk kluster GPU ganda

Pico Prism adalah terobosan penting Brevis dalam arsitektur GPU multi-server, dan mencetak rekor baru di bawah kerangka “Real-Time Proving (RTP)” dari Ethereum Foundation. Mencapai waktu pembuktian rata-rata 6,9 detik dan tingkat cakupan RTP 96,8% pada kluster GPU 64×5090, kinerjanya berada di puncak kategori zkVM sejenis. Sistem ini telah dioptimalkan di tingkat arsitektur, rekayasa, perangkat keras, dan sistem, menandakan bahwa zkVM sedang bertransisi dari prototipe penelitian menuju infrastruktur tingkat produksi.

Desain Arsitektur: zkVM tradisional (seperti SP1, R0VM) sebagian besar bergantung pada optimasi GPU tunggal. Pico Prism pertama kalinya mewujudkan pembuktian paralel multi-server dan multi-GPU cluster (Cluster-Level zkProving), melalui penjadwalan multithreading dan sharding, memperluas bukti zk menjadi sistem komputasi terdistribusi, secara signifikan meningkatkan paralelisme dan skalabilitas.
Implementasi Proyek: Membangun pipeline asinkron multi-tahap (Eksekusi / Rekursi / Kompresi) dan mekanisme penggunaan kembali data lintas lapisan (cache proof chunk dan penggunaan kembali embedding), serta mendukung pergantian multi-backend (KoalaBear, BabyBear, M31), secara signifikan meningkatkan efisiensi throughput.
Strategi perangkat keras: Dengan konfigurasi 64×RTX 5090 GPU (sekitar $128K), Pico Prism mencapai waktu pembuktian rata-rata 6,0–6,9 detik, dengan cakupan RTP 96,8%, rasio kinerja/biaya meningkat sekitar 3,4 kali, lebih baik dibandingkan SP1 Hypercube (160×4090 GPU, 10,3 detik).
Evolusi Sistem: Sebagai zkVM pertama yang memenuhi metrik RTP Ethereum Foundation (>96% di bawah 10 tahun, <) biaya), Pico Prism menandai transformasi sistem bukti zk dari prototipe penelitian ke infrastruktur produksi tingkat mainnet, memberikan solusi komputasi zero-knowledge yang lebih ekonomis untuk skenario seperti rollup, DeFi, AI, dan verifikasi lintas rantai.

3.3 ZK Data Coprocessor: Lapisan Ko-prosesor Nol Pengetahuan Data Blockchain Pintar

Desain asli kontrak pintar “kurang ingatan” - tidak dapat mengakses data historis, mengenali perilaku jangka panjang, atau analisis lintas rantai. ZK Coprocessor berkinerja tinggi yang disediakan oleh Brevis, memberikan akses data historis lintas rantai dan kemampuan komputasi tepercaya untuk kontrak pintar, memverifikasi dan menghitung semua status historis blockchain, transaksi, dan peristiwa, diterapkan dalam skenario DeFi berbasis data, manajemen likuiditas aktif, insentif pengguna, dan identifikasi lintas rantai.

Alur kerja Brevis terdiri dari tiga langkah:

Akses data: Kontrak pintar membaca data historis secara tanpa kepercayaan melalui API;
Perhitungan Eksekusi: Pengembang menggunakan SDK untuk mendefinisikan logika bisnis, dihitung di luar rantai oleh Brevis dan menghasilkan bukti ZK;

Verifikasi hasil: Hasil dibuktikan dan dikembalikan ke rantai, diverifikasi oleh kontrak dan memanggil logika selanjutnya.

![]$100K https://img-cdn.gateio.im/webp-social/moments-34c4b4cdde3635acaed075831947e4ae.webp###

Brevis mendukung model Pure-ZK dan CoChain (OP) secara bersamaan: yang pertama mencapai pengurangan kepercayaan sepenuhnya, tetapi biayanya lebih tinggi; yang kedua memungkinkan komputasi yang dapat diverifikasi dengan biaya lebih rendah melalui verifikasi PoS dan mekanisme tantangan ZK. Validator melakukan staking di Ethereum, dan jika hasilnya berhasil ditantang oleh pembuktian ZK, mereka akan didenda, sehingga mencapai keseimbangan antara keamanan dan efisiensi. Melalui integrasi arsitektur ZK + PoS + SDK, Brevis mencapai keseimbangan antara keamanan dan efisiensi, membangun lapisan komputasi data terpercaya yang dapat diskalakan. Saat ini, Brevis telah melayani protokol seperti PancakeSwap, Euler, Usual, Linea, dan semua kolaborasi zkCoprocessor didasarkan pada **Pure-ZK model, ** memberikan dukungan data terpercaya untuk DeFi, distribusi hadiah, dan sistem identitas on-chain, sehingga kontrak pintar benar-benar memiliki 'memori dan kecerdasan'.

( 3.4 Incentra: Lapisan Distribusi Insentif yang Dapat Diverifikasi Berbasis ZK

Incentra adalah platform distribusi insentif terpercaya yang didorong oleh Brevis zkCoprocessor, yang menawarkan mekanisme perhitungan dan distribusi hadiah yang aman, transparan, dan dapat diverifikasi untuk protokol DeFi. Ini memverifikasi hasil insentif secara langsung di blockchain melalui bukti nol-pengetahuan, mewujudkan pelaksanaan insentif yang tanpa kepercayaan, biaya rendah, dan lintas rantai. Sistem menyelesaikan perhitungan dan verifikasi hadiah dalam sirkuit ZK, memastikan bahwa setiap pengguna dapat memverifikasi hasil secara independen; sekaligus mendukung operasi lintas rantai dan kontrol akses, mewujudkan distribusi insentif otomatis yang patuh dan aman.

Incentra terutama mendukung tiga jenis model insentif:

Token Holding: Hadiah untuk memegang jangka panjang dihitung berdasarkan saldo tertimbang waktu (TWA) berbasis ERC-20;
Likuiditas Terpusat: Mengalokasikan imbalan likuiditas berdasarkan proporsi biaya transaksi AMM DEX, kompatibel dengan protokol ALM seperti Gamma, Beefy, dan lainnya;
Pinjam & Pinjamkan: Menghitung hadiah pinjaman berdasarkan rata-rata saldo dan utang.

Sistem ini telah diterapkan pada proyek-proyek seperti PancakeSwap, Euler, Usual, Linea, dan lainnya, mewujudkan siklus tertutup yang dapat dipercaya dari perhitungan insentif hingga distribusi, serta menyediakan infrastruktur insentif yang dapat diverifikasi tingkat ZK untuk protokol DeFi.

) 3.5 Brevis ringkasan teknologi produk

![]###https://img-cdn.gateio.im/webp-social/moments-52317d5796169cb68f9a65b545ce3b4c.webp###

Empat, Indikator Teknologi dan Terobosan Kinerja Brevis zkVM

Standar pembuktian waktu nyata (Realtime Proving, RTP) L1 zkEVM yang diusulkan oleh Ethereum Foundation (EF) telah menjadi konsensus industri dan ambang masuk mengenai apakah zkVM dapat memasuki jalur verifikasi di jaringan utama Ethereum, dengan indikator evaluasi inti yang mencakup:

Permintaan keterlambatan: P99 ≤ 10 detik (sesuai dengan siklus blok Ethereum 12 detik);
Pembatasan perangkat keras: CAPEX ≤ $100K, konsumsi daya ≤ 10kW (cocok untuk rumah tangga/ruang server kecil);
Tingkat keamanan: ≥128-bit (masa transisi ≥100-bit);
Ukuran bukti: ≤300 KiB;

Persyaratan sistem: Tidak boleh bergantung pada pengaturan yang dapat dipercaya, kode inti harus sepenuhnya open source.

Pada bulan Oktober 2025, Brevis menerbitkan laporan “Pico Prism — 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware”, mengumumkan bahwa Pico Prism menjadi zkVM pertama yang sepenuhnya memenuhi standar pembuktian blok waktu nyata (RTP) dari Ethereum Foundation (EF).

Dalam konfigurasi 64×RTX 5090 GPU (sekitar $128K), Pico Prism mencapai kinerja dengan latensi rata-rata 6,9 detik, 96,8% <10s, dan 99,6% <12s dalam blok gas 45M, jauh lebih baik dibandingkan Succinct SP1 Hypercube (36M gas, rata-rata 10,3s, 40,9% <10s). Dengan penurunan latensi 71% dan biaya perangkat keras yang setengah, efisiensi kinerja/biaya keseluruhan meningkat sekitar 3,4×. Prestasi ini telah diakui secara publik oleh Ethereum Foundation, Vitalik Buterin, dan Justin Drake.

Lima, Ekspansi Ekosistem Brevis dan Implementasi Aplikasi

ZK coprocessor Brevis ( zkCoprocessor ), bertanggung jawab untuk memproses perhitungan kompleks yang tidak dapat dilakukan secara efisien oleh dApp (seperti perilaku historis, data lintas rantai, analisis agregat), dan menghasilkan bukti nol-pengetahuan (ZKP) yang dapat diverifikasi. Hanya perlu memverifikasi bukti kecil ini di blockchain untuk dengan aman memanggil hasil, secara signifikan mengurangi biaya Gas, keterlambatan, dan biaya kepercayaan. Dibandingkan dengan oracle tradisional, Brevis tidak hanya memberikan “hasil”, tetapi juga “jaminan matematis bahwa hasil tersebut benar”, dengan skenario aplikasi utamanya dapat dibagi menjadi beberapa kategori berikut.

DeFi Cerdas (Intelligent DeFi): Berdasarkan perilaku historis dan kondisi pasar, mewujudkan insentif cerdas dan pengalaman yang berbeda (PancakeSwap, Uniswap, MetaMask, dll.)
Pertumbuhan RWA dan Stablecoin (Pertumbuhan RWA & Token Stabil): Otomatisasi distribusi hasil stablecoin dan RWA melalui verifikasi ZK (OpenEden, Usual Money, MetaMask USD)
Pertukaran terdesentralisasi dengan privasi (DEX dengan Dark Pools): Mengadopsi model perdagangan privasi dengan pencocokan off-chain dan verifikasi on-chain, akan segera diluncurkan.
Interoperabilitas lintas rantai (Cross-chain Interoperability): mendukung staking ulang lintas rantai dan interoperabilitas Rollup–L1, membangun lapisan keamanan bersama (Kernel, Celer, 0G)
Peluncuran Dingin Rantai Publik (Blockchain Bootstrap): Mendukung peluncuran dan pertumbuhan ekosistem rantai publik baru dengan mekanisme insentif ZK (Linea, TAC)
Rantai publik berkinerja tinggi (L1s 100× lebih cepat): Meningkatkan kinerja rantai publik seperti Ethereum dan BNB Chain melalui teknologi Pembuktian Waktu Nyata (RTP)

AI yang Dapat Diverifikasi (Verifiable AI): Menggabungkan perlindungan privasi dan penalaran yang dapat diverifikasi, menyediakan kekuatan komputasi yang dapat dipercaya untuk AgentFi dan ekonomi data (Kaito, Trusta)

Menurut data Brevis Explorer, hingga Oktober 2025, jaringan Brevis telah menghasilkan lebih dari 125 juta bukti ZK, mencakup hampir 95 ribu alamat dan 96 ribu permintaan aplikasi, secara luas melayani skenario seperti distribusi hadiah, verifikasi transaksi, dan bukti staking. Dari sisi ekosistem, platform telah mendistribusikan insentif sekitar 223 juta USD, dengan TVL yang didukung melebihi 2,8 miliar USD, dan volume transaksi terkait telah menembus 1 miliar USD.

Saat ini, bisnis ekosistem Brevis terutama berfokus pada dua arah utama yaitu distribusi insentif DeFi dan optimasi likuiditas, dengan konsumsi inti daya dihitung oleh empat proyek yaitu Usual Money, PancakeSwap, Linea Ignition, dan Incentra, yang secara total menyumbang lebih dari 85%. Di antaranya

Usual Money（46.6M proofs）：Menunjukkan stabilitas jangka panjangnya dalam distribusi insentif skala besar；
PancakeSwap (20.6M): Mencerminkan kinerja tinggi Brevis dalam perhitungan tarif real-time dan diskon;
Linea Ignition (20.4M): Verifikasi kemampuan pemrosesan paralel yang tinggi dalam kegiatan ekosistem L2;
Incentra (15.2%): Menandakan evolusi Brevis dari alat SDK menjadi platform insentif yang distandarisasi.

Di bidang insentif DeFi, Brevis didukung oleh platform Incentra untuk menyokong beberapa protokol dalam mewujudkan distribusi hadiah yang transparan dan berkelanjutan:

Skala insentif Usual Money tahun ini melebihi $300M, memberikan imbal hasil yang berkelanjutan bagi pengguna stablecoin dan LP;
OpenEden dan Bedrock mewujudkan distribusi pendapatan obligasi AS dan Restaking berdasarkan model CPI;
Protokol seperti Euler, Aave, BeraBorrow menggunakan verifikasi ZK untuk menghitung posisi pinjaman dan imbalan.

Dalam hal optimasi likuiditas, PancakeSwap, QuickSwap, THENA, Beefy, dan lain-lain menggunakan tarif dinamis Brevis dan plugin insentif ALM untuk mewujudkan diskon transaksi dan penggabungan pendapatan lintas rantai; Jojo Exchange dan Uniswap Foundation memanfaatkan mekanisme verifikasi ZK untuk membangun sistem insentif transaksi yang lebih aman.

Di lapisan infrastruktur dan lintas rantai, Brevis telah berkembang dari Ethereum ke BNB Chain, Linea, Kernel DAO, TAC, dan 0G, menyediakan kemampuan komputasi tepercaya dan verifikasi lintas rantai untuk ekosistem multi-rantai. Sementara itu, proyek-proyek seperti Trusta AI, Kaito AI, dan MetaMask sedang memanfaatkan ZK Data Coprocessor untuk membangun sistem poin, penilaian pengaruh, dan hadiah yang melindungi privasi, mendorong perkembangan kecerdasan data Web3. Di lapisan dasar sistem, Brevis bergantung pada jaringan EigenLayer AVS untuk memberikan jaminan keamanan re-staking, dan menggabungkan teknologi bukti agregasi NEBRA (UPA) untuk mengompresi beberapa bukti ZK menjadi satu pengajuan, secara signifikan mengurangi biaya dan latensi verifikasi di rantai.

Secara keseluruhan, Brevis telah mencakup seluruh siklus skenario aplikasi mulai dari insentif jangka panjang, penghargaan kegiatan, verifikasi transaksi hingga layanan platform. Tugas verifikasi yang sering dan template sirkuit yang dapat digunakan kembali memberikan tekanan kinerja yang nyata dan umpan balik optimasi untuk Pico/Prism, diharapkan dapat memberikan manfaat kembali ke sistem pembuktian waktu nyata L1 zkVM di tingkat rekayasa dan ekosistem, membentuk roda gigi dua arah antara teknologi dan aplikasi.

Enam, Latar Belakang Tim dan Pembiayaan Proyek

Mo Dong｜Co-founder (Brevis Network)

Dr Mo Dong adalah salah satu pendiri Brevis Network, memiliki gelar Ph.D. dalam ilmu komputer dari University of Illinois di Urbana-Champaign (UIUC). Karya penelitiannya telah dipublikasikan di konferensi akademik terkemuka internasional, diadopsi oleh perusahaan teknologi seperti Google, dan telah mendapatkan ribuan kutipan akademik. Ia adalah seorang ahli dalam teori permainan algoritmik dan desain mekanisme protokol, fokus pada mendorong kombinasi komputasi zero-knowledge (ZK) dan mekanisme insentif terdesentralisasi, berkomitmen untuk membangun Verifiable Compute Economy yang dapat dipercaya. Sebagai mitra ventura di IOSG Ventures, ia juga telah lama memperhatikan investasi awal dalam infrastruktur Web3.

Tim Brevis didirikan oleh doktor kriptografi dan ilmu komputer dari UIUC, MIT, dan UC Berkeley, dengan anggota inti yang memiliki pengalaman penelitian bertahun-tahun di bidang sistem bukti nol (ZKP) dan sistem terdistribusi, serta telah menerbitkan banyak makalah yang telah melalui proses peninjauan sejawat. Brevis pernah mendapatkan pengakuan teknis dari Yayasan Ethereum (Ethereum Foundation), dan modul intinya dianggap sebagai infrastruktur dasar skalabilitas on-chain yang penting.

Brevis menyelesaikan pendanaan putaran benih sebesar 7,5 juta dolar AS pada November 2024, dipimpin bersama oleh Polychain Capital dan Binance Labs, dengan peserta termasuk IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures, dan investor malaikat strategis dari Kyber, Babylon, Uniswap, Arbitrum, AltLayer.

Tujuh, Analisis Kompetitif Pasar ZKVM dan ZK Coprocessor

Saat ini, ETHProofs.org yang didukung oleh Yayasan Ethereum telah menjadi platform pelacakan inti untuk rute pembuktian waktu nyata (Realtime Proving, RTP) L1 zkEVM, yang digunakan untuk menunjukkan secara publik kinerja, keamanan, dan kemajuan adaptasi ke mainnet dari berbagai zkVM.

Secara keseluruhan, kompetisi di jalur RTP berfokus pada empat dimensi inti:

Tingkat kedewasaan: SP1 adalah yang paling matang dalam penerapan produksi; Pico memiliki kinerja terdepan dan mendekati standar mainnet; RISC Zero stabil tetapi data RTP belum dipublikasikan.
Performa: Ukuran bukti Pico sekitar 990 kB, lebih kecil sekitar 33% dibandingkan SP1 (1,48 MB), dengan biaya yang lebih rendah;
Keamanan dan Audit: RISC Zero dan SP1 telah melalui audit keamanan independen; Pico sedang dalam proses audit;
Mengembangkan ekosistem: zkVM utama semuanya menggunakan set instruksi RISC-V, SP1 bergantung pada SDK Succinct Rollup untuk membentuk ekosistem integrasi yang luas; Pico mendukung Rust untuk menghasilkan bukti secara otomatis, dan tingkat penyempurnaan SDK meningkat dengan cepat.

Dari data terbaru, saat ini jalur RTP telah membentuk “dua kekuatan”.

Tim pertama Brevis Pico (termasuk Prism) dan Succinct SP1 Hypercube keduanya langsung mengarah pada standar P99 ≤ 10s yang ditetapkan oleh EF. Yang pertama mencapai terobosan kinerja dan biaya dengan arsitektur multi-GPU terdistribusi; yang kedua mempertahankan kedewasaan teknik dan ketahanan ekosistem dengan sistem terintegrasi. Pico mewakili inovasi kinerja dan arsitektur, sementara SP1 mewakili praktikalitas dan keunggulan ekosistem.
Tim kedua RISC Zero, ZisK, ZKM terus menjelajahi kompatibilitas ekosistem dan ringan, tetapi belum mengungkapkan metrik RTP lengkap (latensi, konsumsi daya, CAPEX, keamanan, ukuran bukti, reproduktifitas). Scroll (Ceno) dan Matter Labs (Airbender) mencoba memperluas teknologi Rollup ke lapisan verifikasi L1, mencerminkan tren evolusi dari skalabilitas L2 menuju komputasi terverifikasi L1.

Pada tahun 2025, jalur zkVM telah membentuk pola teknologi dengan evolusi yang seragam dan modular RISC-V, standarisasi rekursif, serta percepatan perangkat keras paralel. Lapisan komputasi yang dapat diverifikasi (Verifiable Compute Layer) dari zkVM dapat dibagi menjadi tiga kategori:

Berorientasi kinerja: Brevis Pico, SP1, Jolt, ZisK berfokus pada latensi rendah dan bukti waktu nyata, meningkatkan throughput komputasi melalui STARK rekursif dan akselerasi GPU.
Modular dan dapat diperluas: OpenVM, Pico, SP1 menekankan modularitas yang dapat dipasang, mendukung akses co-processor.
Ekosistem dan pengembangan umum: RISC Zero, SP1, ZisK fokus pada SDK dan kompatibilitas bahasa, mendorong universalitas.

Perbandingan proyek pesaing zkVM (hingga Oktober 2025)

Saat ini, jalur zk-Coprocessor telah membentuk pola yang diwakili oleh Brevis, Axiom, Herodotus, dan Lagrange. Di antaranya, Brevis memimpin dengan arsitektur “ZK Data Co-Processor + Universal zkVM” yang terintegrasi, menggabungkan kemampuan pembacaan data historis, komputasi terprogram, dan L1 RTP; Axiom fokus pada query yang dapat diverifikasi dan callback sirkuit; Herodotus mengutamakan akses status historis; Lagrange mengoptimalkan kinerja komputasi lintas rantai dengan arsitektur campuran ZK+Optimistic. Secara keseluruhan, zk-Coprocessor sedang menjadi antarmuka komputasi tepercaya yang menghubungkan aplikasi seperti DeFi, RWA, AI, dan identitas dengan cara “lapisan layanan yang dapat diverifikasi”.

Delapan, Kesimpulan: Logika Bisnis, Implementasi Teknik, dan Risiko Potensial

Logika bisnis: Didorong oleh kinerja dan roda ganda Brevis membangun lapisan komputasi tepercaya multi-rantai dengan “zkVM umum (Pico/Prism)” dan “prosesor co-data (zkCoprocessor)”: yang pertama menyelesaikan masalah verifikasi komputasi yang arbitrer, yang kedua mewujudkan implementasi bisnis dari data sejarah dan lintas rantai. Logika pertumbuhannya membentuk siklus positif “kinerja—ekosistem—biaya”: Kinerja RTP Pico Prism menarik integrasi protokol terkemuka, membawa pertumbuhan skala bukti dan penurunan biaya per transaksi, membentuk roda ganda yang terus diperkuat. Keunggulan kompetitif terletak pada tiga poin utama:

Kinerja dapat direproduksi —— Sudah termasuk dalam sistem ETHProofs RTP Yayasan Ethereum;
Penghalang Arsitektur —— Desain modular dan implementasi paralel multi-GPU untuk skalabilitas tinggi;
Verifikasi Bisnis - Telah diterapkan secara skala dalam distribusi insentif, tarif dinamis, dan verifikasi lintas rantai.

Implementasi proyek: dari “eksekusi berat” ke “uji sebagai pengganti eksekusi”

Brevis melalui Pico zkVM dan kerangka paralel Prism, mencapai rata-rata 6,9 detik dalam blok gas 45M, P99 < 10 detik (64×5090 GPU, <(K CAPEX), dengan kinerja dan biaya yang keduanya unggul. Modul zkCoprocessor mendukung pembacaan data historis, pembuatan sirkuit, dan verifikasi rantai balik, dan dapat dengan fleksibel beralih antara mode Pure-ZK dan Hybrid, dengan kinerja keseluruhan yang telah diselaraskan dengan standar keras RTP Ethereum.

Risiko potensial dan poin perhatian

Ambang teknis dan kepatuhan: Brevis masih perlu menyelesaikan pengungkapan dan verifikasi pihak ketiga untuk indikator keras seperti konsumsi daya, posisi keamanan, ukuran bukti, dan ketergantungan pengaturan yang dapat dipercaya. Optimasi kinerja ekor panjang masih menjadi kunci, penyesuaian EIP dapat mengubah hambatan kinerja.
Risiko persaingan dan penggantian: Succinct (SP1/Hypercube) masih memimpin dalam integrasi alat dan ekosistem, tim seperti Risc Zero, Axiom, OpenVM, Scroll, dan zkSync tetap memiliki daya saing yang tidak bisa diabaikan.
Konsentrasi Pendapatan dan Struktur Bisnis: Saat ini, bukti volume sangat terkonsentrasi (empat aplikasi teratas menyumbang sekitar 80%), perlu memperluas melalui berbagai industri, multi-blockchain, dan berbagai kasus penggunaan untuk mengurangi ketergantungan. Biaya GPU mungkin akan mempengaruhi margin kotor per unit.

Secara keseluruhan, Brevis telah membangun parit awal di kedua sisi “reproduksi kinerja” dan “implementasi bisnis”: Pico/Prism telah menetap di jajaran pertama L1 RTP, sementara zkCoprocessor membuka skenario komersialisasi yang sering dan dapat digunakan kembali. Ke depan, disarankan untuk mencapai indikator keras lengkap RTP dari yayasan Ethereum sebagai tujuan tahap, terus memperkuat standar produk koprosesor dan pengembangan ekosistem, sekaligus mendorong replikasi pihak ketiga, audit keamanan, dan transparansi biaya. Dengan mencapai keseimbangan struktural antara infrastruktur dan pendapatan SaaS, membentuk lingkaran pertumbuhan bisnis yang berkelanjutan.

Lihat Asli

Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.