Crypto Gloss

Zero-Knowledge Proofs Lanjutan

Zero-knowledge proof adalah primitif matematis yang memungkinkan ZK rollup, zkEVM, dan aplikasi privasi membuktikan kebenaran komputasi tanpa mengungkapkan input; tetapi “ZK proof” mencakup keluarga sistem proof yang beragam dengan tradeoff yang sangat berbeda — proof Groth16 berukuran 192 byte dan diverifikasi dalam milidetik tetapi memerlukan trusted setup per-circuit; proof STARK berukuran ratusan kilobyte dan lebih lambat untuk diverifikasi tetapi tidak memerlukan trusted setup dan aman secara post-quantum; pilihan sistem proof adalah salah satu keputusan engineering paling penting untuk aplikasi ZK apa pun.

SNARK vs. STARK: Perbandingan

Fitur SNARK (Groth16/PLONK) STARK
Ukuran proof ~200 byte (kecil) ~100 KB (besar)
Kecepatan verifikasi Sangat cepat Lebih lambat
Trusted setup Diperlukan (Groth16) Tidak diperlukan
Keamanan post-quantum ❌ ✅
Transparansi Setup terpercaya Sepenuhnya transparan
Kasus penggunaan Zcash, Polygon zkEVM StarkEx, zkSync Era

Trusted Setup dan Upacara MPC

Banyak konstruksi SNARK memerlukan “trusted setup” — suatu rahasia “limbah beracun” harus dihasilkan lalu dihancurkan. Jika tidak dihancurkan, musuh yang mengetahuinya dapat memalsukan proof palsu.

Upacara multi-party computation (MPC) mengatasi ini: ratusan peserta masing-masing berkontribusi keacakan; limbah beracun hanya ada jika SETIAP peserta korup. Contoh: upacara Zcash “Powers of Tau” memiliki 90+ peserta; upacara Hermez memiliki 600+ peserta.

Sistem Proof yang Digunakan dalam Produksi

  • Groth16: Paling banyak digunakan untuk smart contract tetap; proof terkecil; satu trusted setup per circuit
  • PLONK: Universal trusted setup (satu untuk semua circuit); lebih fleksibel dari Groth16
  • STARKs: FRI-based; tidak ada trusted setup; digunakan oleh StarkWare (StarkEx, Starknet)
  • Recursive proofs: Membuktikan kebenaran proof lain; digunakan untuk menskalakan throughput prover

Sejarah

  • 1985–1989 — Zero-knowledge proof pertama kali diformalisasi oleh Goldwasser, Micali, dan Rackoff (1985) dan Blum, Feldman, Shaffer (1988).**
  • 2013 — SNARK praktis dikembangkan; digunakan oleh Zcash pada 2016.**
  • 2018 — STARKs diperkenalkan oleh StarkWare.
  • 2021–2024 — Produksi masif ZK rollup: zkSync, StarkNet, Polygon zkEVM, Scroll, Taiko — semua menggunakan sistem proof yang berbeda.**

Kesalahpahaman Umum

“ZK dalam ZK rollup berarti privasi.”

ZK singkatan dari “zero-knowledge” — ini adalah sifat kriptografis dari sistem proof, bukan fitur privasi. ZK rollup menggunakan ZK proof untuk efisiensi (membuktikan eksekusi transaksi yang benar) tetapi data transaksi biasanya publik on-chain. ZK rollup untuk skalabilitas berbeda dari ZK untuk privasi (Zcash, Tornado Cash).

Kritik

  • Kompleksitas kriptografi menciptakan barrier yang sangat tinggi untuk audit: ZK proof system membutuhkan keahlian matematika dan kriptografi yang sangat specialized untuk diaudit dengan benar. Kebanyakan auditor smart contract biasa tidak mampu mengaudit implementasi ZK — menciptakan risiko keamanan yang sulit dinilai.
  • Trusted setup dalam beberapa sistem ZK adalah risiko yang sering diabaikan: Sistem ZK berbasis zk-SNARKs (seperti implementasi awal Zcash dan Groth16) membutuhkan “trusted setup” ceremony — di mana jika semua peserta berkolusi, mereka bisa menciptakan bukti palsu tanpa terdeteksi. Ini adalah asumsi kepercayaan yang serius.
  • Proof generation yang mahal membatasi penggunaan di device resource-terbatas: Menghasilkan ZK proof masih membutuhkan komputasi intensif — terutama untuk aplikasi yang kompleks. Ini membatasi penggunaan di perangkat mobile atau IoT device dan membuat user experience ZK wallet dan aplikasi privasi masih kasar.

Sentimen Media Sosial

  • r/ethereum / r/zcash / r/zkproofs: ZK proofs mendapat diskusi teknikal mendalam di komunitas kriptografi dan blockchain. Kemajuan dalam proof system (PLONK, STARKs, Groth16) mendapat sorotan besar dari peneliti dan developer.
  • X/Twitter: Milestone ZK proof system (Ethereum zkEVM, ZK email, aplikasi privasi on-chain) mendapat perhatian dari komunitas Ethereum. Peneliti seperti Vitalik Buterin dan Oded Goldreich mendapat pengikut besar karena kontribusi mereka pada ZK.
  • Telegram (komunitas kripto Indonesia): ZK proofs lebih dikenal di kalangan developer dan researcher blockchain Indonesia — konsepnya semakin relevan dengan adopsi zkEVM dan rollup ZK di ekosistem Ethereum.

Terakhir diperbarui: 2026-04

Istilah Terkait

Lihat Juga

Sumber