Zero-Knowledge Proof

Brevis merupakan platform komputasi yang dapat diverifikasi, didukung oleh Zero-Knowledge Proofs (ZK), dan dikenal sebagai "Infinite Compute Layer" untuk Web3. Pendekatan utama yang digunakan adalah melakukan komputasi berat secara off-chain, sehingga blockchain hanya perlu memverifikasi proof yang ringkas.

Pico zkVM adalah Zero-Knowledge Virtual Machine (zkVM) modular open-source dari Brevis (BREV). Pico zkVM memungkinkan pengembang menulis logika komputasi apa pun menggunakan Rust dan menghasilkan Zero-Knowledge Proof (ZK) untuk memverifikasi bahwa komputasi telah dilakukan dengan benar.

Koprocessor data ZK mengatasi keterbatasan Smart Contract dalam mengakses data historis dengan memungkinkan pengambilan data historis atau data cross-chain dari node arsip secara off-chain, melakukan komputasi, lalu mengembalikan zero-knowledge proof yang memverifikasi hasil sekaligus keaslian dan kebenaran data. Bukti ini dapat diverifikasi oleh kontrak secara on-chain hanya dalam beberapa milidetik. Alur data terdiri atas empat tahap: permintaan pengajuan, komputasi off-chain, pembuatan ZK proof, serta verifikasi dan penerimaan hasil secara on-chain, sehingga memungkinkan pengambilan kesimpulan yang andal tanpa perlu memutar ulang seluruh data.

Oracles pada dasarnya berfungsi membawa data eksternal dari off-chain ke Blockchain, dengan kredibilitas yang bergantung pada node dan insentif ekonomi. ZK co-processor seperti Brevis berfokus pada komputasi yang dapat diverifikasi atas data historis on-chain yang sudah ada, memanfaatkan zero-knowledge proof untuk memungkinkan validasi hasil secara langsung di on-chain. Kedua teknologi ini berada pada sisi berlawanan dalam alur data Blockchain, memberikan peran yang saling melengkapi terkait arah data, model kepercayaan, dan kemampuan komputasi. Batas di antara keduanya tidak sepenuhnya tegas; dalam praktik nyata, pendekatan hybrid kolaboratif sering digunakan.

BREV merupakan token native jaringan Brevis yang mendukung tiga fungsi utama: pembayaran biaya proof, staking Prover, dan tata kelola protokol. coChain berfungsi sebagai Blockchain proof-of-stake dengan mekanisme staking dan slashing berbasis Ethereum. Validator mengajukan hasil sebagai "proposal" ke request chain, membuka jendela tantangan. Jika proposal yang salah berhasil digugat menggunakan zero-knowledge proof, stake terkait akan di-slash di Ethereum. Jika tidak ada tantangan, hasil diterima secara otomatis sehingga menghemat biaya proof.

Perbedaan utama antara Manta Pacific dan Manta Atlantic terletak pada peran fungsionalnya: Pacific merupakan jaringan Layer 2 modular di Ethereum yang berfokus pada penerapan dan penskalaan aplikasi terdesentralisasi berbasis zero-knowledge (ZK); sementara Atlantic adalah jaringan Layer 1 ZK di Polkadot yang dikhususkan untuk infrastruktur identitas kepatuhan on-chain melalui zkAddress dan zkSBT. Kedua rantai ini adalah bagian dari ekosistem Manta Network dan sama-sama menggunakan token utilitas asli MANTA, namun keduanya memiliki perbedaan struktural dalam ekosistem dasar, stack teknis, dan kelompok pengguna sasaran.

Manta Network (MANTA) adalah ekosistem blockchain modular yang dirancang untuk aplikasi zero-knowledge (ZK), terdiri dari Manta Pacific—jaringan Layer 2 modular dalam ekosistem Ethereum—dan Manta Atlantic, jaringan Layer 1 ZK di Polkadot. Pacific menggunakan lapisan ketersediaan data Celestia bersama lingkungan eksekusi EVM/zkEVM untuk mendukung aplikasi terdesentralisasi, sementara Atlantic mengkhususkan diri pada identitas on-chain yang sesuai regulasi, menyediakan infrastruktur identitas zero-knowledge yang dapat diprogram melalui zkSBT dan zkAddress.

Universal Circuits adalah pustaka sirkuit siap pakai ZK-as-a-Service yang digunakan di Manta Pacific: pengembang Solidity dapat menambahkan fungsi zero-knowledge ke DApps mereka melalui antarmuka kontrak standar, tanpa harus beralih ke bahasa ZK khusus seperti Cairo; contoh aplikasi umum meliputi pembayaran sesuai regulasi, verifikasi identitas, dan permainan on-chain seperti zkShuffle.

zkAddress dan zkSBT merupakan komponen inti identitas privasi yang dikembangkan oleh Manta Network pada rantai Manta Atlantic. zkAddress menyediakan alamat privasi bergaya UTXO yang dapat dipakai ulang, sedangkan zkSBT mengikatkan kredensial kepatuhan pada alamat tersebut dengan memanfaatkan bukti tanpa pengetahuan. Keduanya secara bersama membangun infrastruktur identitas yang sesuai ketentuan di rantai Atlantic, yang memungkinkan aplikasi Web3 memverifikasi identitas tanpa perlu mengungkapkan data pribadi asli pengguna.

Proses bridging aset ke Manta Pacific melibatkan langkah berulang berupa penguncian, minting, dan pemetaan saldo antara Ethereum mainnet dengan Manta Pacific—sebuah jaringan Layer 2 modular—melalui Bridge cross-chain. Sebagai lapisan eksekusi Manta Network dalam ekosistem Ethereum, Manta Pacific mendukung deployment dan interaksi on-chain untuk ETH, ERC-20, serta aset lainnya. Untuk dapat menggunakan aplikasi ekosistem di sisi Pacific, Anda perlu memahami terlebih dahulu bagaimana Bridge dipicu, bagaimana status sistem berubah secara internal, serta cara memastikan bahwa dana telah tiba.

Zcash Orchard merupakan generasi ketiga dari pool transaksi terlindungi di jaringan Zcash, yang dibangun di atas sistem zero-knowledge proof Halo 2 untuk meningkatkan efisiensi, skalabilitas, dan kemampuan peningkatan jangka panjang dari transaksi privat. Dibandingkan dengan pendahulunya, Sprout dan Sapling, Orchard mengurangi ketergantungan pada trusted setup sambil mengoptimalkan alur kerja pembuatan dan verifikasi bukti.

Mekanisme operasi inti Nockchain menggantikan komputasi hash PoW tradisional dengan Zero-Knowledge Proofs. Di Nockchain, penambang tidak lagi bersaing memperebutkan blok melalui operasi hash yang sia-sia; sebaliknya, mereka menghasilkan bukti yang dapat diverifikasi untuk berpartisipasi dalam konsensus jaringan. Arsitektur Nockchain mencakup komponen seperti NockVM, NockApp, Proofpower, dan Global Consensus SNARKs, yang semuanya dirancang untuk menciptakan jaringan pembuktian terdesentralisasi yang mendukung AI, aplikasi privasi, dan komputasi yang dapat diverifikasi.

Nockchain adalah jaringan blockchain yang dibangun di atas Zero-Knowledge Proof-of-Work (ZKPoW), dengan tujuan utama menggantikan komputasi hash yang tidak bermakna dalam PoW tradisional dengan generasi bukti zero-knowledge (ZK proving) yang terverifikasi dan bernilai praktis. Berbeda dengan Bitcoin yang bergantung pada persaingan hashrate, Nockchain mengarahkan daya komputasi para penambang untuk menghasilkan bukti komputasi yang terverifikasi, sehingga menciptakan model 'Useful Proof of Work'.

Baik Railgun maupun Tornado Cash merupakan protokol privasi on-chain, namun keduanya memiliki perbedaan signifikan dalam filosofi desain dan pendekatan operasional. Tornado Cash lebih berperan sebagai mixer anonim yang menggunakan kolam dengan denominasi tetap untuk memutus keterkaitan antar dana. Sementara itu, Railgun adalah protokol Private DeFi berbasis zk-SNARK yang mendukung akun privasi, transaksi rahasia, serta interaksi smart contract anonim.

Railgun adalah protokol DeFi privasi yang berjalan di atas blockchain EVM. Protokol ini menggunakan bukti nol-pengetahuan zk-SNARK untuk menyembunyikan alamat pengguna, saldo aset, jumlah transaksi, dan aktivitas on-chain, sembari tetap menjaga komposabilitas dengan protokol ekosistem seperti Ethereum, Arbitrum, dan BNB Chain. Berbeda dengan koin privasi atau mixer konvensional, Railgun tidak bergantung pada blockchain mandiri; melainkan memungkinkan transaksi privat dan interaksi smart contract anonim langsung di rantai asli.