Konsensus Blockchain mewajibkan setiap validator melakukan komputasi yang sama berulang-ulang, sehingga komputasi on-chain menjadi mahal dan terbatas. Akibatnya, smart contract sulit memproses data transaksi historis dalam jumlah besar, menciptakan bottleneck komputasi yang berlangsung lama.
Brevis menghadirkan solusi dengan “membuktikan pekerjaan, bukan mengulangnya.” Hasil komputasi off-chain dapat diverifikasi on-chain dalam milidetik, membangun fondasi komputasi yang skalabel dan tepercaya untuk DeFi, aplikasi berbasis data, dan use case AI.
Brevis adalah platform komputasi yang dapat diverifikasi, memindahkan komputasi kompleks ke off-chain dan menggunakan zero-knowledge proof untuk memastikan integritas hasil. Validator on-chain cukup memverifikasi proof ringkas bahwa “komputasi dilakukan dengan benar,” sehingga biaya jauh lebih rendah dibanding komputasi langsung.

Penamaan “unlimited computation layer” mengatasi batasan komputasi on-chain: jaringan seperti Ethereum membatasi komputasi per transaksi, sehingga analitik kompleks, inferensi model, atau agregasi cross-chain sulit dilakukan on-chain. Eksekusi off-chain dengan verifikasi on-chain memisahkan skala komputasi dari gas limit blok.
| Komponen Inti | Peran | Fungsi Utama |
|---|---|---|
| Pico zkVM | zkVM modular open-source | Menulis logika di Rust dan menghasilkan proof |
| ZK Data Coprocessor | Mesin komputasi data off-chain | Mengakses data historis/cross-chain, melampirkan proof |
| coChain | Lapisan keamanan kripto-ekonomi | Memberikan kepercayaan melalui staking dan slashing |
| Pico Prism | Proof blok real-time | Proof real-time untuk Ethereum |
| Vera | Proof autentikasi konten | Proof ZK untuk autentikasi media |
| ProverNet | Pasar proof terdesentralisasi | Mencocokkan penyuplai dan permintaan proof |
Tabel ini merangkum stack teknis: Pico zkVM dan ZK Data Coprocessor menangani komputasi, coChain menyediakan kepercayaan, dan Pico Prism, Vera, serta ProverNet memungkinkan proof real-time, provenance konten, dan suplai proof.
Smart contract hampir “buta terhadap sejarah”—membaca dan memproses banyak transaksi historis secara langsung on-chain sangat mahal. Agar kontrak dapat mengambil keputusan berdasarkan perilaku on-chain jangka panjang pengguna, diperlukan mekanisme yang tidak mengharuskan replay semua data on-chain.
ZK Data Coprocessor dirancang untuk ini: mengakses data historis atau cross-chain dan melakukan komputasi off-chain, mengembalikan “hasil plus proof kriptografi bahwa data ada dan telah dikomputasi dengan benar.” Smart contract lalu dapat memverifikasi dan mempercayai hasilnya on-chain dalam milidetik.
Alur data komputasi yang dapat diverifikasi terdiri dari empat tahap: aplikasi mengirim permintaan; coprocessor melakukan komputasi off-chain menggunakan data on-chain nyata; proof ZK atas komputasi yang benar dihasilkan; dan smart contract memverifikasi serta menerima hasilnya.

Gambar 1. Alur data komputasi yang dapat diverifikasi Brevis: permintaan aplikasi → komputasi off-chain (Pico zkVM dan ZK Data Coprocessor menggunakan data on-chain nyata) → pembuatan proof ZK → verifier on-chain memvalidasi dan mengembalikan hasil.
Pico zkVM adalah virtual machine zero-knowledge modular open-source milik Brevis. Pengembang dapat menulis logika komputasi apapun di Rust dan menghasilkan proof. Sebagai eksekusi layer serbaguna untuk komputasi yang dapat diverifikasi, Pico zkVM menyatukan “penulisan program” dan “proof eksekusi benar” dalam satu toolchain.
Arsitektur “glue-and-coprocessor” menggunakan core RISC-V serbaguna sebagai “glue” untuk mengeksekusi program Rust, sementara operasi umum seperti hashing Keccak-256, verifikasi tanda tangan, dan inferensi machine learning diarahkan ke “precompile” khusus untuk akselerasi. Desain ini dapat meningkatkan kecepatan proof sekitar 10x hingga 80x.
Brevis menawarkan dua model keamanan: pure-ZK dan OP / coChain. Perbedaan utamanya adalah “apa yang membuat hasilnya tepercaya”—pure-ZK hanya mengandalkan proof kriptografi, sedangkan OP / coChain menambahkan lapisan kripto-ekonomi. Dengan Brevis SDK, Anda dapat menulis logika bisnis sekali dan deploy di kedua model.
coChain adalah blockchain PoS dengan staking dan slashing di Ethereum. Validator menghasilkan hasil menggunakan data node archive dari chain terkait, mencapai konsensus PoS, dan mengirim signature agregat sebagai “proposal” ke chain permintaan, memasuki “application challenge window.”
Jika seseorang berhasil menantang hasil salah selama window dengan proof ZK, stake validator akan di-slash di Ethereum. Jika tidak ada tantangan, hasil dapat digunakan oleh dApp tanpa biaya proof. coChain berencana mengintegrasikan EigenLayer untuk penyesuaian tingkat keamanan yang dinamis.
| Dimensi | pure-ZK | OP / coChain |
|---|---|---|
| Sumber Kepercayaan | Proof kriptografi | Staking & slashing + tantangan opsional |
| Latensi Hasil | Menunggu pembuatan proof | Bisa digunakan setelah challenge window |
| Biaya Komputasi | Proof ZK setiap kali | Tidak ada biaya proof jika tidak ditantang |
| Kekuatan Keamanan | Dijamin oleh ZK | Dapat disesuaikan secara dinamis via EigenLayer |
Tabel ini membandingkan dua model: pure-ZK ideal untuk skenario yang membutuhkan determinisme maksimum, sementara coChain lebih fleksibel dalam biaya dan throughput. Keduanya dapat digunakan secara independen atau bersama.
BREV adalah token utilitas dan tata kelola native dari jaringan Brevis, yang menggerakkan ekonomi suplai proof. Fungsinya terbagi dalam tiga kategori: pembayaran, jaminan, dan tata kelola, terkait langsung dengan insentif Prover dan slashing, seperti dijelaskan di BREV Token dan coChain.
| Fungsi | Deskripsi |
|---|---|
| Membayar biaya proof | Pengguna membayar biaya proof dengan BREV |
| Jaminan Prover | Prover mengunci BREV untuk menerima tugas; di-slash jika gagal |
| Tata kelola protokol | Holder BREV berpartisipasi dalam tata kelola protokol |
Tiga fungsi ini membentuk loop tertutup: pengguna membayar proof, Prover melakukan staking untuk menerima tugas, dan komunitas mengatur parameter—menghubungkan kualitas proof dan keamanan jaringan.
Brevis dan oracle menangani layer berbeda: oracle terutama membawa data off-chain ke on-chain, sedangkan Brevis berfokus pada komputasi dan pembuktian kebenaran data on-chain maupun historis. Memahami perbedaan antara “transport data” dan “komputasi yang dapat diverifikasi” adalah kunci perbedaan Brevis dan oracle.
Oracle biasanya bergantung pada kepercayaan terhadap node atau penyedia data; Brevis menggunakan zero-knowledge proof sehingga aktor on-chain dapat langsung memverifikasi kebenaran. Dibandingkan ZK coprocessor lain, Brevis menonjol dengan Pico zkVM serbaguna, ZK Data Coprocessor, dan model pure-ZK/coChain ganda.
Brevis berfokus pada penerapan komputasi yang dapat diverifikasi dalam bisnis nyata. Menurut blog resmi Brevis (2025), Brevis telah menghasilkan lebih dari 340 juta (340M+) proof, mencakup lebih dari 50 protokol di 8+ blockchain, dengan program insentif dan hadiah terkait mencapai lebih dari $300 juta.
Insentif berbasis data adalah use case utama: protokol dapat mendistribusikan hadiah berdasarkan riwayat on-chain pengguna (misal volume trading, durasi holding), dengan proof ZK memastikan hadiah tidak dapat dimanipulasi. ProverNet adalah pasar proof terdesentralisasi di mainnet, di mana Prover harus melakukan staking BREV untuk berpartisipasi dan di-slash jika gagal.
Pico Prism menyediakan proof blok real-time untuk Ethereum. Menurut Brevis, cakupan real-time sekitar 99,8% di 16 GPU dan memenuhi target hardware $100.000 dari Ethereum Foundation. Inisiatif On-Prem Proving Foundation (Ethproof) memilih Brevis sebagai salah satu dari empat tim pada Maret 2026. Vera menggunakan proof ZK untuk memverifikasi provenance dan autentikasi media, menjawab traceability konten di era deepfake.

Gambar 2. Overview stack teknologi dan ekosistem Brevis: pembagian peran Pico zkVM, ZK Data Coprocessor, Pico Prism, Vera, ProverNet, coChain, dan token BREV.
Brevis unggul dalam skalabilitas dan kepercayaan: eksekusi off-chain dengan verifikasi on-chain memisahkan komputasi dari gas limit blok, dan proof ZK memungkinkan hasil diverifikasi tanpa kepercayaan pihak ketiga. SDK memungkinkan write-once, multi-model deployment untuk fleksibilitas engineering.
Keterbatasan utama berasal dari komputasi ZK sendiri—pembuatan proof membutuhkan hardware khusus dan hashrate, serta pembuktian serbaguna masih lebih mahal daripada eksekusi native. Kompleksitas dan latensi logika canggih tetap menjadi kendala struktural.
Risiko termasuk keamanan coChain yang bergantung pada challenger aktif dan staking yang cukup; kemungkinan flaw implementasi dalam integrasi smart contract dan SDK; serta suplai proof ProverNet yang bergantung pada partisipasi Prover. Ini adalah kendala mekanisme dan bukan nasihat investasi.
Brevis adalah platform komputasi yang dapat diverifikasi untuk Web3 yang mengimplementasikan “membuktikan pekerjaan daripada mengulangnya” dengan memindahkan komputasi mahal ke off-chain dan memungkinkan verifikasi proof ringkas on-chain dalam milidetik. Stack-nya memanfaatkan Pico zkVM dan ZK Data Coprocessor untuk komputasi, menyediakan kepercayaan melalui model pure-ZK dan coChain, serta menghubungkan biaya, staking, dan tata kelola lewat token BREV, dengan deployment nyata termasuk Pico Prism, Vera, dan ProverNet.
Brevis adalah platform komputasi yang dapat diverifikasi yang didukung oleh zero-knowledge proof, dan disebut sebagai unlimited computation layer Web3. Platform ini mengeksekusi komputasi kompleks di off-chain dan memungkinkan verifikasi proof ringkas on-chain, menghilangkan kebutuhan validator untuk mengulang komputasi yang sama.
Oracle terutama membawa data off-chain ke on-chain dan masih membutuhkan kepercayaan terhadap sumber data. ZK Data Coprocessor melakukan komputasi off-chain menggunakan data on-chain atau historis nyata dan melampirkan proof kriptografi, sehingga kebenaran dapat diverifikasi langsung on-chain.
Pico zkVM menggunakan arsitektur “glue-and-coprocessor”: core RISC-V serbaguna menjalankan program Rust, sementara operasi umum diarahkan ke sirkuit precompile khusus untuk akselerasi. Brevis melaporkan ini dapat meningkatkan kecepatan proof sekitar 10x hingga 80x.
pure-ZK hanya mengandalkan proof kriptografi, menawarkan determinisme maksimum tetapi membutuhkan proof untuk setiap komputasi. coChain menyediakan jaminan melalui staking, slashing, dan challenge window berbasis Ethereum, serta dapat menghilangkan biaya proof jika tidak ditantang. Keduanya dapat ditulis sekali dan di-deploy sesuai kebutuhan melalui Brevis SDK.
BREV adalah token utilitas dan tata kelola native jaringan Brevis, terutama digunakan untuk membayar biaya proof, sebagai jaminan Prover (dikunci untuk menerima tugas, di-slash jika gagal), dan untuk tata kelola parameter protokol.





