“Perhitungan di luar rantai + Verifikasi di dalam rantai” adalah paradigma komputasi yang dapat dipercaya (Verifiable Computing), yang telah menjadi model komputasi umum untuk sistem blockchain. Ini memungkinkan aplikasi blockchain untuk mendapatkan kebebasan komputasi hampir tak terbatas (computational freedom) sambil mempertahankan desentralisasi dan keamanan minimal kepercayaan (trustlessness). Pembuktian nol pengetahuan (ZKP) adalah pilar inti dari paradigma ini, dengan aplikasi yang terutama terfokus pada tiga arah dasar: Skalabilitas (Scalability), Privasi (Privacy), serta Interoperabilitas & Integritas Data (Interoperability & Data Integrity). Di antara ketiganya, skalabilitas adalah skenario di mana teknologi ZK pertama kali diterapkan, dengan memindahkan eksekusi transaksi ke luar rantai dan menggunakan bukti singkat untuk memverifikasi hasil di dalam rantai, sehingga mencapai TPS tinggi dan biaya rendah untuk skalabilitas yang dapat dipercaya.
Evolusi komputasi terpercaya ZK dapat dirangkum sebagai L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup awal memindahkan eksekusi ke lapisan kedua dan mengajukan bukti validitas (Validity Proof) di lapisan pertama, mewujudkan throughput tinggi dan biaya rendah dengan perubahan minimal. zkVM kemudian berkembang menjadi lapisan komputasi yang dapat diverifikasi umum, mendukung verifikasi lintas rantai, inferensi AI, dan komputasi kriptografi (proyek perwakilan: Risc Zero, Succinct, Brevis Pico). zkCoprocessor berkembang paralel, sebagai modul verifikasi yang dapat diterapkan, menyediakan layanan komputasi dan pembuktian 'plug and play' untuk DeFi, RWA, risiko, dan lain-lain (proyek perwakilan: Brevis, Axiom). Pada tahun 2025, konsep zkEVM meluas ke bukti waktu nyata L1 (Realtime Proving, RTP), membangun sirkuit yang dapat diverifikasi di tingkat instruksi EVM, sehingga pembuktian nol pengetahuan langsung terintegrasi ke dalam eksekusi dan proses verifikasi mainnet Ethereum, menjadi mekanisme eksekusi yang dapat diverifikasi secara asli. Garis keturunan ini mencerminkan lompatan teknologi blockchain dari 'dapat diskalakan' menuju 'dapat diverifikasi', membuka tahap baru dalam komputasi terpercaya.
Satu, jalur ekspansi zkEVM Ethereum: Dari L2 Rollup ke bukti waktu nyata
Jalur ekspansi zkEVM Ethereum melalui dua tahap:
Tahap satu (2022–2024): L2 zkRollup akan memindahkan eksekusi ke lapisan kedua, mengajukan bukti validitas di lapisan pertama; 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–): Bukti waktu nyata (Realtime Proving, RTP) menggantikan eksekusi ulang dengan '1-of-N bukti + verifikasi ringan seluruh jaringan', meningkatkan throughput tanpa mengorbankan desentralisasi, masih dalam pengembangan.
Tahap L2 zkRollup: Keseimbangan antara kompatibilitas dan kinerja skalabilitas
Pada tahun 2022, di fase beragam ekosistem Layer2, pendiri Ethereum Vitalik Buterin mengajukan empat klasifikasi ZK-EVM (Tipe 1–4), secara sistematis mengungkap trade-off struktural antara kompatibilitas (compatibility) dan kinerja (performance). Kerangka ini menetapkan koordinat yang jelas untuk jalur teknologi zkRollup yang akan datang:
Tipe 1 sepenuhnya setara: Konsisten dengan bytecode Ethereum, biaya migrasi terendah, pembuktian paling lambat. Taiko.
Tipe 2 sepenuhnya kompatibel: Sangat sedikit optimasi dasar, kompatibilitas tertinggi. Scroll, Linea.
Tipe 2.5 semi-kompatibel: Perubahan kecil (gas/prapemrograman, dll.) untuk pertukaran kinerja. Polygon zkEVM, Kakarot.
Tipe 3 sebagian kompatibel: Perubahan lebih besar, mampu 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 paling optimal tetapi memerlukan rekonstruksi ekosistem (perwakilan: Starknet / Cairo).
Saat ini, model L2 zkRollup telah matang: dengan memindahkan eksekusi ke lapisan kedua, dan mengirimkan bukti validitas (Validity Proof) di lapisan pertama, dengan perubahan minimal melanjutkan ekosistem dan rangkaian alat Ethereum, menjadi solusi utama untuk skala dan pengurangan biaya. Objek buktinya adalah blok L2 dan transfer status, sementara penyelesaian dan keamanan tetap terikat pada L1. Arsitektur ini secara signifikan meningkatkan throughput dan efisiensi, serta menjaga kompatibilitas tinggi terhadap pengembang, tetapi juga membawa likuiditas dan fragmentasi status, dan L1 masih dibatasi oleh kendala eksekusi ulang N-of-N.
L1 zkEVM: Bukti waktu nyata mengubah logika verifikasi ringan Ethereum
Pada bulan Juli 2025, Yayasan Ethereum menerbitkan artikel (Shipping an L1 zkEVM #1: Realtime Proving) yang secara resmi mengusulkan jalur L1 zkEVM. L1 zkEVM mengupgrade Ethereum dari eksekusi ulang N-of-N menjadi bukti 1-of-N + verifikasi cepat seluruh jaringan: oleh sejumlah kecil prover yang menghasilkan bukti pendek untuk seluruh transfer status EVM, semua validator hanya melakukan verifikasi waktu konstan. Solusi ini mencapai bukti waktu nyata (Realtime Proving) tingkat L1 tanpa mengorbankan desentralisasi, meningkatkan batas gas mainnet dan throughput, serta secara signifikan mengurangi ambang perangkat keras node. Rencana implementasinya adalah mengganti klien eksekusi tradisional dengan klien zk untuk berjalan paralel, dan setelah kinerja, keamanan, dan mekanisme insentif matang, secara bertahap menjadi norma baru di lapisan protokol.
N of N paradigma lama: Semua validator melakukan eksekusi ulang seluruh blok transaksi untuk memverifikasi, aman tetapi throughput terbatas dan biaya puncak tinggi.
1 of N paradigma baru: Oleh sejumlah kecil prover yang mengeksekusi seluruh blok dan menghasilkan bukti pendek; seluruh jaringan hanya melakukan verifikasi waktu konstan. Biaya verifikasi jauh lebih rendah dibandingkan dengan eksekusi ulang, dapat meningkatkan batas gas L1 dengan aman, dan mengurangi persyaratan perangkat keras.
Peta jalan L1 zkEVM memiliki tiga garis besar utama
Bukti waktu nyata (Realtime Proving): Menyelesaikan seluruh bukti dalam waktu slot 12 detik, melalui paralelisasi dan akselerasi perangkat keras mengurangi latensi;
Integrasi klien dan protokol: Antarmuka verifikasi bukti standar, awalnya opsional, kemudian default;
Insentif dan keamanan: Membangun pasar Prover dan model biaya, memperkuat ketahanan terhadap sensor dan keaktifan jaringan.
Bukti waktu nyata (RTP) L1 Ethereum menggunakan zkVM untuk melakukan eksekusi ulang seluruh transaksi off-chain dan menghasilkan bukti kriptografi, sehingga validator tidak perlu menghitung ulang, hanya perlu memverifikasi bukti kecil dalam waktu 10 detik, untuk mencapai 'verifikasi sebagai pengganti eksekusi', secara signifikan meningkatkan skalabilitas Ethereum dan efisiensi verifikasi tanpa kepercayaan. Menurut halaman pelacak resmi zkEVM Yayasan Ethereum, tim utama yang terlibat dalam jalur bukti waktu nyata L1 zkEVM mencakup 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) telah meluas ke bidang komputasi yang dapat diverifikasi umum (Verifiable Computing) yang lebih luas, membentuk dua sistem teknologi inti dengan zkVM dan zkCoprocessor.
zkVM: Lapisan komputasi dapat diverifikasi umum
Mesin eksekusi yang dapat diverifikasi untuk program apa pun, dengan arsitektur set instruksi umum yang umum termasuk RISC-V, MIPS, dan WASM. Pengembang dapat mengompilasi logika bisnis ke zkVM, dengan prover yang menjalankan di off-chain dan menghasilkan bukti nol pengetahuan (ZKP) yang dapat diverifikasi di on-chain, yang digunakan tidak hanya untuk bukti blok L1 Ethereum tetapi juga untuk verifikasi lintas rantai, inferensi AI, komputasi kriptografi, dan algoritma kompleks. Keuntungannya adalah universalitas dan jangkauan adaptasi yang luas, tetapi sirkuit yang kompleks dan biaya bukti yang tinggi, memerlukan ketergantungan pada paralelisme multi-GPU dan optimasi teknik yang kuat. Proyek perwakilan termasuk Risc Zero, Succinct SP1, Brevis Pico / Prism.
zkCoprocessor: Modul verifikasi yang dapat diterapkan
Menyediakan layanan komputasi dan pembuktian 'plug and play' untuk skenario bisnis tertentu. Platform ini sudah dilengkapi dengan akses data dan logika sirkuit (seperti pembacaan data historis on-chain, TVL, penyelesaian imbalan, verifikasi identitas, dll.), pihak aplikasi dapat memperoleh hasil komputasi dan membuktikan konsumsi on-chain melalui pemanggilan SDK / API. Model ini cepat dikuasai, berkinerja baik, biaya rendah, tetapi dengan universalitas terbatas. Proyek tipikal termasuk Brevis zkCoprocessor, Axiom, dan lain-lain.
Secara keseluruhan, baik zkVM maupun zkCoprocessor mengikuti paradigma komputasi terpercaya 'perhitungan off-chain + verifikasi on-chain', dengan verifikasi hasil off-chain di on-chain melalui pembuktian nol-pengetahuan. Logika ekonominya dibangun di atas premis bahwa biaya eksekusi langsung di on-chain jauh lebih tinggi daripada biaya kumulatif dari pembuatan bukti off-chain dan verifikasi on-chain.
Dalam hal universalitas dan kompleksitas teknik, perbedaan kunci antara keduanya adalah:
zkVM adalah infrastruktur komputasi umum, cocok untuk skenario kompleks, lintas domain, atau AI, dengan fleksibilitas tertinggi;
zkCoprocessor adalah layanan verifikasi modular, menyediakan antarmuka verifikasi yang dapat langsung dipanggil dengan biaya rendah untuk skenario frekuensi tinggi yang dapat digunakan kembali (DeFi, RWA, risiko, dll.).
Dalam jalur bisnis, perbedaan antara zkVM dan zkCoprocessor adalah:
zkVM mengadopsi model Proving-as-a-Service, dengan biaya berdasarkan setiap pembuktian (ZKP), terutama ditujukan untuk pelanggan infrastruktur seperti L2 Rollup, dengan ciri-ciri kontrak berskala besar, periode panjang, dan margin kotor yang stabil;
zkCoprocessor lebih berfokus pada Proof API-as-a-Service, dengan biaya berdasarkan pemanggilan API atau integrasi SDK, lebih mendekati model SaaS, ditujukan untuk protokol lapisan aplikasi seperti DeFi, dengan integrasi cepat dan skalabilitas yang kuat.
Secara keseluruhan, zkVM adalah mesin dasar untuk komputasi yang dapat diverifikasi, zkCoprocessor adalah modul verifikasi tingkat aplikasi: yang pertama membangun parit teknologi, yang kedua mendorong implementasi komersial, bersama-sama membentuk jaringan komputasi terpercaya yang umum.
Tiga, peta produk dan jalur teknologi Brevis
Bermula dari bukti waktu nyata (Realtime Proving) L1 Ethereum, teknologi ZK secara bertahap memasuki era komputasi yang dapat diverifikasi dengan arsitektur zkVM umum dan zkCoprocessor sebagai inti. Brevis Network adalah perpaduan zkVM dan zkCoprocessor, membangun infrastruktur komputasi yang dapat diverifikasi dengan nol pengetahuan sebagai inti, dengan kinerja tinggi dan kemampuan pemrograman — menuju lapisan komputasi tanpa batas untuk segala sesuatu.
3.1 Pico zkVM: Arsitektur pembuktian modular untuk komputasi yang dapat diverifikasi
Pada tahun 2024, Vitalik mengajukan arsitektur 'lapisan eksekusi umum + lapisan akselerasi coprocessor' (glue & coprocessor) dalam (Glue and Coprocessor Architectures). Perhitungan kompleks dapat dibagi menjadi logika bisnis umum dan perhitungan intensif terstruktur — yang pertama mengejar fleksibilitas (seperti EVM, Python, RISC-V), yang kedua mengejar efisiensi (seperti GPU, ASIC, modul hash). Arsitektur ini menjadi tren bersama di blockchain, AI, dan komputasi kriptografi: EVM mempercepat melalui precompile, AI memanfaatkan GPU secara paralel, dan pembuktian ZK menggabungkan VM umum dan sirkuit khusus. Kunci di masa depan adalah membuat 'lapisan pengikat' mengoptimalkan keamanan dan pengalaman pengembang, sementara 'lapisan coprocessor' fokus pada eksekusi efisien, mencapai keseimbangan antara kinerja, keamanan, dan keterbukaan.
Pico zkVM dikembangkan oleh Brevis, merupakan implementasi representatif dari ide ini. Melalui arsitektur 'zkVM umum + akselerasi coprocessor', menggabungkan fleksibilitas pemrograman dengan komputasi berkinerja tinggi dari sirkuit khusus. Desain modularnya mendukung berbagai backend pembuktian (KoalaBear, BabyBear, Mersenne31), dan dapat dengan bebas mengombinasikan komponen eksekusi, rekursi, dan kompresi untuk membentuk ProverChain.
Sistem modular Pico tidak hanya dapat menyusun kembali komponen inti dengan bebas, tetapi juga dapat memperkenalkan backend pembuktian baru dan coprocessor tingkat aplikasi (seperti data on-chain, zkML, verifikasi lintas rantai), mewujudkan skalabilitas yang terus berkembang. Pengembang dapat langsung menggunakan rangkaian alat Rust untuk menulis logika bisnis, tanpa latar belakang nol pengetahuan, dan dapat secara otomatis menghasilkan bukti kriptografi, secara signifikan mengurangi ambang pengembangan.
Dibandingkan dengan arsitektur RISC-V zkVM yang relatif monolitik dari Succinct SP1 dan model eksekusi RISC-V umum dari RISC Zero R0VM, Pico mencapai desentang dan perluasan dari fase eksekusi, rekursi, dan kompresi melalui Sistem Modular zkVM + Coprocessor, mendukung perpindahan multi-backend dan integrasi coprocessor, membentuk keunggulan diferensiasi dalam kinerja dan skalabilitas.
3.2 Pico Prism: Terobosan kinerja cluster multi-GPU
Pico Prism adalah terobosan penting Brevis di arsitektur GPU multi-server, dan mencetak rekor baru di bawah kerangka 'bukti waktu nyata (Real-Time Proving, RTP)' dari Yayasan Ethereum. Di cluster 64×5090 GPU, mencapai waktu rata-rata bukti 6.9 detik dan cakupan RTP 96.8%, peringkat kinerja tertinggi di antara zkVM sejenis. Sistem ini mengimplementasikan optimasi di tingkat arsitektur, teknik, perangkat keras, dan sistem, menandai transisi zkVM dari prototipe penelitian menuju infrastruktur tingkat produksi.
Desain arsitektur: zkVM tradisional (seperti SP1, R0VM) terutama bergantung pada optimasi GPU tunggal. Pico Prism pertama kali mewujudkan pembuktian paralel multi-server dan multi-GPU cluster (Cluster-Level zkProving), memperluas pembuktian zk menjadi sistem komputasi terdistribusi melalui penjadwalan multithreading dan sharding, secara signifikan meningkatkan paralelisme dan skalabilitas.
Implementasi teknik: Membangun pipeline asinkron multi-tahap (Eksekusi / Rekursi / Kompresi) dan mekanisme pemanfaatan data lintas lapisan (cache chunk bukti dan reuse embedding), serta mendukung perpindahan 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 rata-rata bukti 6.0–6.9 detik, dengan tingkat 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 indikator RTP dari Yayasan Ethereum (>96% sub-10s, <$100K biaya), Pico Prism menandai transisi sistem pembuktian zk dari prototipe penelitian menuju infrastruktur produksi tingkat mainnet, menyediakan solusi komputasi nol-pengetahuan yang lebih ekonomis untuk skenario seperti Rollup, DeFi, AI, dan verifikasi lintas rantai.
3.3 ZK Data Coprocessor: Lapisan nol pengetahuan cerdas untuk data blockchain
Dalam desain asli kontrak pintar 'kekurangan memori' — tidak dapat mengakses data historis, mengenali perilaku jangka panjang, atau analisis lintas rantai. Coprocessor nol pengetahuan (ZK Coprocessor) berkinerja tinggi yang disediakan oleh Brevis memberikan akses data historis lintas rantai dan kemampuan komputasi terpercaya untuk kontrak pintar, memverifikasi dan menghitung seluruh status, transaksi, dan peristiwa sejarah blockchain, diterapkan dalam skenario berbasis data DeFi, manajemen likuiditas aktif, insentif pengguna, dan identifikasi identitas lintas rantai.
Proses kerja Brevis terdiri dari tiga langkah:
Akses data: Kontrak pintar membaca data historis tanpa kepercayaan melalui API;
Eksekusi komputasi: Pengembang menggunakan SDK untuk mendefinisikan logika bisnis, dihitung secara off-chain oleh Brevis dan menghasilkan bukti ZK;
Verifikasi hasil: Hasil bukti dikembalikan ke on-chain, diverifikasi oleh kontrak dan memanggil logika selanjutnya.
Brevis mendukung model Pure-ZK dan CoChain (OP) secara bersamaan: yang pertama mewujudkan pengurangan kepercayaan sepenuhnya, tetapi dengan biaya yang lebih tinggi; yang terakhir memungkinkan komputasi yang dapat diverifikasi dengan biaya lebih rendah melalui mekanisme verifikasi PoS dan tantangan ZK. Validator melakukan staking di Ethereum, jika hasilnya berhasil ditantang oleh bukti ZK, mereka akan didenda, sehingga mencapai keseimbangan antara keamanan dan efisiensi. Melalui penggabungan 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 PancakeSwap, Euler, Usual, Linea, dan semua kolaborasi zkCoprocessor didasarkan pada model Pure-ZK, menyediakan dukungan data terpercaya untuk DeFi, distribusi imbalan, 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, menyediakan perhitungan dan pengeluaran imbalan yang aman, transparan, dan dapat diverifikasi untuk protokol DeFi. Ini secara langsung memverifikasi hasil insentif di on-chain melalui pembuktian nol pengetahuan, mewujudkan eksekusi insentif yang tanpa kepercayaan, biaya rendah, dan lintas rantai. Sistem menyelesaikan perhitungan dan verifikasi imbalan dalam sirkuit ZK, memastikan bahwa semua pengguna dapat memverifikasi hasil secara independen; serta mendukung operasi lintas rantai dan kontrol akses, mewujudkan distribusi insentif otomatis yang sesuai, aman.
Incentra terutama mendukung tiga jenis model insentif:
Token Holding: Menghitung imbalan jangka panjang berdasarkan saldo waktu yang tertimbang (TWA) ERC-20;
Likuiditas Terpusat: Mengalokasikan imbalan likuiditas berdasarkan rasio biaya AMM DEX, kompatibel dengan protokol ALM seperti Gamma dan Beefy;
Pinjam & Meminjam: Menghitung imbalan pinjaman berdasarkan rata-rata saldo dan utang.
Sistem ini telah diterapkan dalam proyek PancakeSwap, Euler, Usual, Linea, mewujudkan siklus tertutup terpercaya di seluruh rantai dari perhitungan insentif hingga distribusi, menyediakan infrastruktur insentif yang dapat diverifikasi tingkat ZK untuk protokol DeFi.
3.5 Ikhtisar tumpukan teknologi produk Brevis
Empat, indikator teknis zkVM Brevis dan terobosan kinerja
Standar bukti waktu nyata (Realtime Proving, RTP) L1 yang diajukan oleh Yayasan Ethereum (EF) telah menjadi konsensus industri dan ambang masuk untuk apakah zkVM dapat memasuki jalur verifikasi mainnet Ethereum, dengan indikator penilaian inti termasuk:
Persyaratan latensi: P99 ≤ 10 detik (sesuai dengan siklus blok 12 detik Ethereum);
Kendala perangkat keras: CAPEX ≤ $100K, konsumsi daya ≤ 10kW (cocok untuk penggunaan rumah tangga/kamar mesin kecil);
Tingkat keamanan: ≥128-bit (masa transisi ≥100-bit);
Ukuran bukti: ≤300 KiB;
Persyaratan sistem: Tidak boleh bergantung pada pengaturan yang tepercaya, 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 bukti blok waktu nyata (RTP) dari Yayasan Ethereum (EF).
Dengan konfigurasi 64×RTX 5090 GPU (sekitar $128K), Pico Prism mencapai latensi rata-rata 6.9 detik dalam blok 45M gas, dengan 96.8% <10s dan 99.6% <12s, secara signifikan lebih baik dibandingkan dengan Succinct SP1 Hypercube (36M gas, waktu rata-rata 10.3s, 40.9% <10s). Dengan pengurangan latensi 71% dan biaya perangkat keras setengah, efisiensi kinerja/biaya keseluruhan meningkat sekitar 3.4×. Hasil ini telah mendapatkan pengakuan publik dari Yayasan Ethereum, Vitalik Buterin, dan Justin Drake.
Lima, ekspansi ekosistem Brevis dan penerapan di lapangan
ZK data coprocessor (zkCoprocessor) Brevis bertanggung jawab untuk menangani perhitungan kompleks yang tidak dapat diselesaikan dengan 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 on-chain untuk memanggil hasil dengan aman, secara signifikan mengurangi biaya Gas, latensi, dan biaya kepercayaan. Skenario aplikasi utamanya dapat dibagi menjadi beberapa kategori:
DeFi cerdas (Intelligent DeFi): Menghadirkan insentif cerdas dan pengalaman berbeda berdasarkan perilaku historis dan status pasar (PancakeSwap, Uniswap, MetaMask, dll.)
Pertumbuhan RWA dan stablecoin (RWA & Stable Token Growth): Mengotomatiskan distribusi imbalan stablecoin dan RWA melalui verifikasi ZK (OpenEden, Usual Money, MetaMask USD)
Transaksi desentralisasi yang menjaga privasi (DEX with Dark Pools): Mengadopsi model transaksi privat dengan pencocokan off-chain dan verifikasi on-chain, segera diluncurkan
Interoperabilitas lintas rantai (Cross-chain Interoperability): Mendukung staking ulang lintas rantai dan interoperabilitas Rollup–L1, membangun lapisan keamanan bersama (Kernel, Celer, 0G)
Bootstrapping rantai publik (Blockchain Bootstrap): Membantu pengembangan dan pertumbuhan ekosistem rantai publik baru dengan mekanisme insentif ZK (Linea, TAC)
Rantai publik berkinerja tinggi (100× L1 lebih cepat): Mendorong peningkatan kinerja rantai publik seperti Ethereum melalui teknologi bukti waktu nyata (RTP) (Ethereum, BNB Chain)
AI yang dapat diverifikasi (Verifiable AI): Menggabungkan perlindungan privasi dan penalaran yang dapat diverifikasi, menyediakan daya komputasi terpercaya untuk AgentFi dan ekonomi data (Kaito, Trusta)
Berdasarkan data Brevis Explorer, hingga Oktober 2025, jaringan Brevis telah menghasilkan lebih dari 125 juta bukti ZK, mencakup hampir 95.000 alamat dan 96.000 permintaan aplikasi, melayani secara luas dalam distribusi imbalan, verifikasi transaksi, dan bukti staking. Di tingkat ekosistem, platform telah mendistribusikan insentif sekitar $223 juta, mendukung TVL lebih dari $2,8 miliar, dan total volume transaksi melebihi $1 miliar.
Saat ini, bisnis ekosistem Brevis fokus pada dua arah utama yaitu distribusi insentif DeFi dan optimasi likuiditas, dengan konsumsi daya komputasi inti disumbangkan oleh empat proyek Usual Money, PancakeSwap, Linea Ignition, dan Incentra, dengan total kontribusi lebih dari 85%. Di antaranya
Usual Money (46.6M bukti): Menunjukkan stabilitas jangka panjangnya dalam distribusi insentif berskala besar;
PancakeSwap (20.6M): Mencerminkan kinerja tinggi Brevis dalam perhitungan tarif waktu nyata dan diskon;
Linea Ignition (20.4M): Memverifikasi kapasitas pengolahan paralel tinggi dalam aktivitas ekosistem L2;
Incentra (15.2%): Menandai evolusi Brevis dari alat SDK menjadi platform insentif terstandarisasi.
Di bidang insentif DeFi, Brevis bergantung pada platform Incentra untuk mendukung berbagai protokol dalam melakukan distribusi imbalan yang transparan dan berkelanjutan:
Usual Money memiliki skala insentif tahunan lebih dari $300M, menyediakan pendapatan berkelanjutan untuk pengguna stablecoin dan LP;
OpenEden dan Bedrock mewujudkan distribusi imbalan utang AS dan Restaking berdasarkan model CPI;
Protokol seperti Euler, Aave, BeraBorrow memverifikasi posisi pinjaman dan perhitungan imbalan melalui ZK.
Dalam hal optimasi likuiditas, PancakeSwap, QuickSwap, THENA, Beefy, dan lain-lain mengadopsi plugin tarif dinamis dan insentif ALM Brevis, mewujudkan diskon transaksi dan agregasi pendapatan lintas rantai; Jojo Exchange dan Uniswap Foundation memanfaatkan mekanisme verifikasi ZK untuk membangun sistem insentif transaksi yang lebih aman.
Di lapisan lintas rantai dan infrastruktur, Brevis telah memperluas dari Ethereum ke BNB Chain, Linea, Kernel DAO, TAC, dan 0G, menyediakan kemampuan komputasi terpercaya dan verifikasi lintas rantai untuk ekosistem multi-rantai. Sementara itu, proyek seperti Trusta AI, Kaito AI, MetaMask menggunakan ZK Data Coprocessor untuk membangun sistem penilaian, pengaruh, dan insentif yang melindungi privasi, mendorong perkembangan kecerdasan data Web3. Di lapisan dasar sistem, Brevis bergantung pada jaringan EigenLayer AVS untuk memberikan jaminan keamanan staking ulang, dan menggabungkan teknologi penggabungan bukti NEBRA (UPA) untuk mengompres beberapa bukti ZK menjadi satu pengiriman, secara signifikan mengurangi biaya dan latensi verifikasi on-chain.
Secara keseluruhan, Brevis telah mencakup dari insentif jangka panjang, imbalan kegiatan, verifikasi transaksi hingga layanan berbasis platform dalam seluruh siklus aplikasi. Tugas verifikasi frekuensi tinggi dan template sirkuit yang dapat digunakan kembali memberikan tekanan kinerja nyata dan umpan balik optimasi bagi Pico/Prism, yang diharapkan dapat memberikan manfaat kembali ke sistem bukti waktu nyata zkVM L1, membentuk roda gigi dua arah antara teknologi dan aplikasi.
Enam, latar belakang tim dan pendanaan proyek
Mo Dong｜Co-founder (Co-founder, Brevis Network)
Dr. Mo Dong adalah salah satu pendiri Brevis Network, memiliki gelar doktor dalam ilmu komputer dari University of Illinois Urbana-Champaign (UIUC), hasil penelitiannya telah diterbitkan di konferensi akademik terkemuka internasional, diadopsi oleh perusahaan teknologi seperti Google, dan mendapatkan ribuan kutipan akademik. Dia adalah ahli dalam teori permainan algoritmik dan desain mekanisme protokol, berfokus pada penggabungan komputasi nol pengetahuan (ZK) dan mekanisme insentif terdesentralisasi, berkomitmen untuk membangun Ekonomi Komputasi yang Dapat Diverifikasi yang tepercaya. Sebagai mitra risiko di IOSG Ventures, dia juga secara aktif memperhatikan investasi awal di infrastruktur Web3.
Tim Brevis didirikan oleh doktor dari UIUC, MIT, dan UC Berkeley dalam bidang kriptografi dan ilmu komputer, anggota inti memiliki pengalaman penelitian bertahun-tahun dalam sistem bukti nol pengetahuan (ZKP) dan sistem terdistribusi, serta menerbitkan banyak makalah yang telah direview oleh rekan sejawat. Brevis telah mendapatkan pengakuan teknis dari Yayasan Ethereum (Ethereum Foundation), modul intinya dianggap sebagai infrastruktur dasar penting untuk skalabilitas on-chain.
Brevis menyelesaikan putaran pendanaan benih sebesar $7,5 juta pada bulan November 2024, dipimpin oleh Polychain Capital dan Binance Labs, dengan partisipasi dari IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures, dan investor malaikat strategis dari Kyber, Babylon, Uniswap, Arbitrum, dan AltLayer.
Tujuh, analisis produk pesaing ZKVM dan ZK Coprocessor
Saat ini, ETHProofs.org yang didukung oleh Yayasan Ethereum telah menjadi platform pelacakan inti untuk jalur bukti waktu nyata (Realtime Proving, RTP) L1 zkEVM, digunakan untuk memamerkan kinerja, keamanan, dan kemajuan penyesuaian zkVM.
Secara keseluruhan, persaingan di jalur RTP fokus pada empat dimensi inti:
Kematangan: SP1 memiliki penyebaran produksi paling matang; Pico unggul dalam kinerja dan mendekati standar mainnet; RISC Zero stabil tetapi data RTP belum dipublikasikan.
Kinerja: Volume 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;
Ekosistem pengembangan: zkVM utama semuanya mengadopsi set instruksi RISC-V, SP1 bergantung pada SDK Succinct Rollup untuk membentuk ekosistem integrasi yang luas; Pico mendukung pembangkitan bukti otomatis Rust, tingkat penyempurnaan SDK meningkat dengan cepat.
Berdasarkan data terbaru, jalur RTP telah membentuk 'pola dua kekuatan'
Tim utama Brevis Pico (termasuk Prism) dan Succinct SP1 Hypercube secara langsung mengarah ke standar P99 ≤ 10s yang ditetapkan oleh EF. Yang pertama mewujudkan terobosan kinerja dan biaya melalui arsitektur multi-GPU terdistribusi; yang terakhir menjaga kematangan teknik dan ketahanan ekosistem. Pico mewakili inovasi dalam kinerja dan arsitektur, SP1 mewakili pragmatisme dan keunggulan ekosistem.
Tim kedua RISC Zero, ZisK, ZKM terus mengeksplorasi kompatibilitas ekosistem dan pengurangan ukuran, namun belum mengungkapkan indikator RTP lengkap (latensi, konsumsi daya, CAPEX, posisi keamanan, ukuran bukti, dapat direproduksi). Scroll (Ceno) dan Matter Labs (Airbender) berusaha memperluas teknologi Rollup ke lapisan verifikasi L1, mencerminkan tren evolusi dari perluasan L2 menuju komputasi yang dapat diverifikasi L1.
Pada tahun 2025, jalur zkVM telah membentuk pola teknis yang bersatu dengan RISC-V, evolusi modular, standardisasi rekursif, dan paralelisme akselerasi perangkat keras. Lapisan komputasi yang dapat diverifikasi (Verifiable Compute Layer) zkVM dapat dibagi menjadi tiga kategori:
Bertipe 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 skalabel: OpenVM, Pico, SP1 menekankan modularitas yang dapat dipasang dan mendukung akses coprocessor.
Ekosistem dan pengembangan umum: RISC Zero, SP1, ZisK berfokus pada kompatibilitas SDK dan bahasa, mendorong universalitas.
Saat ini, jalur zk-Coprocessor telah membentuk pola yang diwakili oleh Brevis, Axiom, Herodotus, dan Lagrange. Di antaranya, Brevis memimpin dengan arsitektur 'ZK data coprocessor + zkVM umum', menggabungkan kemampuan membaca data historis, komputasi yang dapat diprogram, dan kemampuan RTP L1; Axiom berfokus pada kueri yang dapat diverifikasi dan panggilan kembali sirkuit; Herodotus fokus pada akses status historis; Lagrange mengoptimalkan kinerja komputasi lintas rantai dengan arsitektur campuran ZK+Optimistic. Secara keseluruhan, zk-Coprocessor menjadi antarmuka komputasi terpercaya yang menghubungkan aplikasi DeFi, RWA, AI, dan identitas.
Delapan, kesimpulan: logika bisnis, implementasi teknik, dan risiko potensial
Logika bisnis: Didorong oleh kinerja dan roda gigi ganda
Brevis membangun lapisan komputasi terpercaya multi-rantai dengan 'zkVM umum (Pico/Prism)' dan 'data coprocessor (zkCoprocessor)': yang pertama menyelesaikan masalah komputasi yang dapat diverifikasi, yang terakhir mewujudkan penerapan data historis dan lintas rantai.
Logika pertumbuhannya membentuk siklus positif 'kinerja-eko-biaya': Kinerja RTP Pico Prism menarik integrasi protokol terkemuka, membawa pertumbuhan skala bukti dan penurunan biaya per kejadian, membentuk roda gigi ganda yang terus diperkuat. Keunggulan kompetitif terutama terletak pada tiga poin:
Kinerja yang dapat direproduksi — sudah termasuk dalam sistem RTP ETHProofs Yayasan Ethereum;
Hambatan arsitektur — desain modular dan implementasi paralel multi-GPU untuk skalabilitas tinggi;
Verifikasi komersial — telah terjun ke skala di distribusi insentif, tarif dinamis, dan verifikasi lintas rantai.
Implementasi teknik: Dari 'eksekusi ulang' ke 'verifikasi sebagai pengganti eksekusi'
Brevis melalui kerangka paralel Pico zkVM dan Prism, mencapai rata-rata 6.9 detik, P99 < 10 detik (64×5090 GPU, <$130 K CAPEX), dengan kinerja dan biaya yang unggul. Modul zkCoprocessor mendukung pembacaan data historis, pembuatan sirkuit, dan verifikasi kembali, dan dapat beralih fleksibel antara mode Pure-ZK dan Hybrid, dengan kinerja keseluruhan yang telah disesuaikan secara dasar dengan standar keras RTP Ethereum.
Risiko dan poin perhatian potensial
Ambang teknis dan kepatuhan: Brevis masih perlu menyelesaikan publikasi dan verifikasi pihak ketiga untuk indikator keras seperti konsumsi daya, posisi keamanan, ukuran bukti, dan ketergantungan pengaturan yang tepercaya. Optimasi kinerja ekor panjang tetap menjadi kunci, penyesuaian EIP dapat mengubah hambatan kinerja.
Risiko kompetisi dan penggantian: Succinct (SP1/Hypercube) masih memimpin dalam integrasi alat dan ekosistem, tim Risc Zero, Axiom, OpenVM, Scroll, zkSync tetap memiliki daya saing yang signifikan.
Konsentrasi pendapatan dan struktur bisnis: Volume bukti saat ini sangat terkonsentrasi (empat aplikasi teratas menyumbang sekitar 80%), perlu memperluas ketergantungan melalui lebih banyak industri, lebih banyak rantai publik, dan lebih banyak kasus penggunaan. Biaya GPU dapat mempengaruhi margin keuntungan per unit.
Secara keseluruhan, Brevis telah membangun parit awal di kedua ujung 'reproduksi kinerja' dan 'perwujudan bisnis': Pico/Prism telah stabil di peringkat teratas jalur RTP L1, zkCoprocessor membuka skenario komersialisasi yang frekuensi tinggi dan dapat digunakan kembali. Ke depan, disarankan untuk menetapkan pencapaian indikator keras RTP lengkap dari Yayasan Ethereum sebagai tujuan jangka pendek, terus memperkuat standardisasi produk coprocessor dan perluasan ekosistem, sekaligus memajukan reproduksi pihak ketiga, audit keamanan, dan transparansi biaya. Dengan mewujudkan keseimbangan struktural antara infrastruktur dan pendapatan SaaS, membentuk siklus pertumbuhan bisnis yang berkelanjutan.
Penyangkalan: Artikel ini dibantu oleh alat AI ChatGPT-5 dalam proses penulisannya, penulis telah berusaha memeriksa dan memastikan informasi yang akurat dan benar, tetapi tetap ada kemungkinan ada kekurangan, mohon pengertian. Perlu dicatat bahwa pasar aset kripto sering kali mengalami perbedaan antara fundamental proyek dan kinerja harga pasar sekunder. Isi artikel ini hanya untuk pengumpulan informasi dan pertukaran akademis/penelitian, tidak membentuk saran investasi apa pun, dan tidak boleh dianggap sebagai rekomendasi pembelian atau penjualan token apa pun.
#ZK #brevis #zkEVM #ZKVM #ZKCoprocessor