Crypto Gloss

ZK-SNARK

ZK-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) adalah protokol kriptografis yang memungkinkan prover meyakinkan verifier bahwa suatu pernyataan benar tanpa mengungkapkan informasi apa pun selain kebenaran pernyataan itu sendiri — dengan proof yang kecil ukurannya dan cepat diverifikasi, tanpa memerlukan komunikasi bolak-balik antara prover dan verifier; ZK-SNARK adalah primitif kriptografis yang mendasari transaksi privat Zcash, sebagian besar ZK rollup (termasuk zkSync, Polygon zkEVM, dan Scroll), dan semakin banyak aplikasi preservasi privasi.

Mengurai Namanya

  • Zero-Knowledge (ZK): Prover tidak mengungkapkan apa pun selain “pernyataan ini benar”
  • Succinct: Proof sangat kecil (biasanya ratusan byte), terlepas dari seberapa kompleks komputasi yang dibuktikan; verifikasi cepat (milidetik)
  • Non-Interactive: Tidak memerlukan komunikasi bolak-balik; prover menghasilkan proof, verifier memeriksanya secara independen
  • Argument of Knowledge: Prover harus benar-benar “mengetahui” witness — tidak dapat memalsukan proof tanpa memiliki informasi privat

Perbandingan Sistem SNARK

Sistem Trusted Setup Ukuran Proof Pengguna Utama
Groth16 Per-circuit ~200 byte Zcash, Filecoin
PLONK Universal ~1,2 KB Banyak ZK rollup
Halo2 Tidak diperlukan ~1–2 KB zkSync (sebelumnya)

Trusted Setup: Batasan Kritis

Sebagian besar sistem ZK-SNARK populer (Groth16, PLONK) memerlukan upacara trusted setup — komputasi multi-pihak satu kali yang menghasilkan parameter publik. Jika semua peserta berkolusi, sistem dapat dikompromikan (proof palsu dapat dihasilkan).

Upacara MPC mengatasi ini: ratusan peserta masing-masing berkontribusi keacakan; “limbah beracun” hanya ada jika SETIAP peserta korup.

Sejarah

  • 2013 — SNARK praktis pertama dikembangkan; digunakan oleh Zcash pada 2016.**
  • 2016 — Zcash diluncurkan menggunakan Groth16 SNARK untuk transaksi private (shielded).**
  • 2019 — PLONK memperkenalkan universal setup, jauh lebih praktis untuk deployment.**
  • 2021–2024 — ZK rollup proliferasi: zkSync, Polygon zkEVM, Scroll — semua menggunakan varian SNARK.**

Kesalahpahaman Umum

“ZK dalam ZK-SNARK berarti transaksi privat.”

ZK berarti prover tidak mengungkapkan input privat ke verifier. Dalam konteks ZK rollup, ini digunakan untuk efisiensi (membuktikan eksekusi transaksi yang benar tanpa mengirim semua data ke L1) — bukan privasi. Data transaksi ZK rollup biasanya masih publik. Hanya aplikasi ZK yang dirancang khusus untuk privasi (Zcash, Tornado Cash) yang memberikan privasi pengguna aktual.

Kritik

  • Trusted setup adalah kelemahan fundamental zk-SNARK: SNARK berbasis Groth16 membutuhkan “trusted setup” ceremony di mana parameter kriptografi dihasilkan. Jika semua peserta ceremony berkolusi atau terkompromi, mereka bisa menciptakan bukti palsu yang tidak bisa dideteksi — secara teoritis memungkinkan pencetakan token tak terbatas.
  • Ukuran proof yang kecil datang dengan biaya komputasi generate yang besar: zk-SNARK menghasilkan proof yang sangat kecil (< 1 KB) — ideal untuk verifikasi on-chain. Tapi generating proof tersebut membutuhkan komputasi intensif yang saat ini sulit dilakukan di perangkat dengan resource terbatas.
  • Ketergantungan pada asumsi kriptografi yang belum sepenuhnya dibuktikan: Keamanan zk-SNARK bergantung pada asumsi seperti “knowledge of exponent” yang belum dibuktikan secara formal sepenuhnya — berbeda dari zk-STARK yang bergantung pada asumsi hash function yang lebih well-established.

Sentimen Media Sosial

  • r/ethereum / r/zcash / r/zkproofs: zk-SNARK adalah topik kriptografi yang mendapat diskusi serius di komunitas teknikal. Kontroversi tentang trusted setup dalam Zcash mendapat analisis panjang; pengembangan “universal” trusted setup (PLONK, Marlin) sebagai alternatif mendapat sorotan positif.
  • X/Twitter: Peneliti ZK aktif mendiskusikan kemajuan dalam proof system termasuk perbandingan SNARK vs. STARK. Setiap milestone zkEVM yang menggunakan SNARK mendapat pengumuman besar.
  • Telegram (komunitas developer Indonesia): zk-SNARK dikenal di kalangan developer blockchain Indonesia yang mengerjakan proyek ZK — relevan untuk memahami trade-off antara berbagai sistem proof.

Terakhir diperbarui: 2026-04

Istilah Terkait

Lihat Juga

Sumber