Mengapa Zero-Knowledge Proof Bisa Menjadi Teknologi Terpenting di Dunia Kripto

Zcash (ZEC) melonjak lebih dari 13% dalam 24 jam terakhir, mendorong koin privasi ini kembali menjadi sorotan di pasar kripto.

Namun di balik pergerakan harga itu ada cerita yang jauh lebih menarik: sistem kriptografi yang membuat Zcash berfungsi adalah salah satu karya matematika terapan paling elegan yang pernah digunakan di blockchain publik.

Sistem itu disebut zero-knowledge proof. Jika Anda pernah bertanya-tanya bagaimana sebuah cryptocurrency dapat menjamin secara matematis bahwa transaksi valid tanpa mengungkap pengirim, penerima, atau jumlah, inilah penjelasan yang Anda perlukan.

TL;DR

Zero-knowledge proof memungkinkan satu pihak (prover) meyakinkan pihak lain (verifier) bahwa suatu pernyataan benar tanpa mengungkap informasi apa pun selain kebenaran pernyataan itu sendiri.

Zcash menggunakan konstruksi khusus bernama zk-SNARK untuk menyembunyikan data transaksi di blockchain publik sembari tetap memungkinkan jaringan memastikan tidak ada koin yang diciptakan dari nol.

Teknologi yang sama kini menjadi dasar solusi penskalaan Layer 2, protokol DeFi privat, dan sistem identitas, menjadikannya salah satu blok bangunan kriptografi paling penting di Web3.

Apa Sebenarnya Zero-Knowledge Proof Itu

Zero-knowledge proof adalah sebuah metode di mana satu pihak, disebut prover, dapat meyakinkan pihak lain, disebut verifier, bahwa sebuah klaim tertentu benar. Batasan kritisnya adalah bahwa bukti tersebut tidak mengungkap apa pun tentang data dasar yang digunakan untuk membuat klaim itu.

Konsep ini pertama kali dijelaskan dalam makalah akademis tahun 1985 oleh Shafi Goldwasser, Silvio Micali, dan Charles Rackoff, berjudul "The Knowledge Complexity of Interactive Proof Systems."

Para penulis meneliti jumlah informasi teoretis minimum yang harus diungkap prover untuk meyakinkan verifier yang skeptis. Jawaban yang mereka temukan adalah, dalam beberapa kasus, secara efektif nol.

Zero-knowledge proof harus memenuhi tiga sifat: completeness (prover jujur selalu bisa meyakinkan verifier jujur), soundness (prover tidak jujur tidak bisa menipu verifier kecuali dengan probabilitas yang dapat diabaikan), dan zero-knowledge (verifier tidak belajar apa pun selain validitas klaim).

Ilustrasi klasik di buku teks adalah skenario "gua dengan pintu ajaib", sering disebut gua Ali Baba. Bayangkan gua melingkar dengan satu pintu masuk dan pintu terkunci di bagian belakang yang hanya terbuka dengan kata sandi rahasia. Seorang prover ingin meyakinkan verifier bahwa ia mengetahui kata sandi tersebut tanpa mengungkapkannya. Prover masuk ke dalam gua dan mengambil jalur kiri atau kanan. Verifier lalu berteriak jalur mana yang ia ingin prover keluarkan. Jika prover tahu kata sandi, ia selalu bisa muncul dari sisi yang diminta dengan berjalan melewati pintu bila perlu. Mengulangi ini berkali-kali membuatnya secara statistik mustahil bagi seseorang yang tidak tahu kata sandi untuk terus menebak dengan benar.

(Image: Shutterstock)

Proof Interaktif vs Non-Interaktif, dan Mengapa Perbedaannya Penting untuk Blockchain

Analogi gua menggambarkan zero-knowledge proof interaktif. Verifier berpartisipasi aktif dengan memberikan tantangan di setiap putaran. Meski secara matematis rapi, proof interaktif memiliki masalah jelas untuk blockchain: tidak ada verifier hidup yang duduk di sisi lain setiap transaksi dan siap memberikan tantangan.

Jaringan blockchain membutuhkan zero-knowledge proof non-interaktif. Dalam skema non-interaktif, prover menghasilkan satu objek bukti yang berdiri sendiri yang dapat diverifikasi siapa saja secara independen, kapan saja, tanpa komunikasi bolak-balik. Ini adalah masalah matematika yang jauh lebih sulit.

Terobosan datang melalui teknik bernama heuristik Fiat-Shamir, dikembangkan pada 1986. Teknik ini mengubah proof interaktif menjadi non-interaktif dengan mengganti tantangan acak dari verifier dengan fungsi hash kriptografis. Prover menghasilkan "tantangan" sendiri menggunakan hash dari pernyataan, yang tidak dapat dimanipulasi tanpa menghancurkan bukti.

Proof non-interaktif membuka kemampuan untuk membundel validitas kriptografis langsung ke dalam transaksi blockchain. Node yang menerima transaksi terselubung tidak perlu menanyakan apa pun kepada siapa pun. Node cukup menjalankan algoritma verifikasi proof secara lokal dan mendapatkan jawaban ya atau tidak.

Bagaimana zk-SNARK Menggerakkan Transaksi Terselubung Zcash

Zcash memperkenalkan penerapan produksi pertama zk-SNARK di blockchain publik besar ketika diluncurkan pada Oktober 2016. Akronim ini berarti Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. Setiap kata dalam frasa ini memiliki bobot teknis.

"Succinct" berarti bukti berukuran kecil dan cepat diverifikasi, apa pun kompleksitas komputasi yang mendasarinya. "Non-interactive" berarti tidak ada komunikasi bolak-balik antara prover dan verifier, seperti dijelaskan di atas. "Arguments of Knowledge" berarti prover harus benar-benar memiliki saksi rahasia ( private key, key pembelanjaan, detail transaksi) untuk menghasilkan proof yang valid. Menebak dilarang secara matematis.

Ketika pengguna Zcash mengirim transaksi terselubung, perangkat lunak wallet pengirim melakukan komputasi yang membuktikan beberapa hal sekaligus tanpa mengungkap salah satunya. Ia membuktikan pengirim memiliki dana yang dibelanjakan, bahwa jumlah input transaksi sama dengan jumlah output plus biaya (sehingga tidak ada koin yang dibuat), dan bahwa pengirim mengetahui private spending key untuk alamat sumber. Proof yang dihasilkan disematkan ke dalam transaksi dan disiarkan ke jaringan. Setiap full node memverifikasinya secara independen, biasanya dalam hitungan milidetik.

Transaksi terselubung Zcash menggunakan struktur kriptografi bernama sirkuit Sapling (peningkatan dari sirkuit Sprout asli pada 2018) yang menurunkan waktu pembuatan proof dari sekitar 40 detik menjadi di bawah 2 detik dan memangkas kebutuhan memori dari 3 GB menjadi sekitar 40 MB, membuat wallet terselubung di perangkat seluler menjadi praktis untuk pertama kalinya.

Zcash mengoperasikan dua jenis alamat. Alamat transparan (t-address) berperilaku seperti alamat Bitcoin (BTC): semua data terlihat di chain. Alamat terselubung (z-address) menggunakan zk-SNARK untuk mengenkripsi pengirim, penerima, dan jumlah. Pengguna bisa bertransaksi antar kedua jenis alamat, meski pemindahan dari alamat transparan ke terselubung tetap mengungkap jumlah yang terlibat pada titik perbatasan.

Masalah Trusted Setup, Syarat Paling Kontroversial di Zcash

Aspek paling kontroversial secara teknis dari implementasi zk-SNARK awal Zcash adalah upacara trusted setup. zk-SNARK membutuhkan seperangkat parameter publik, kadang disebut "common reference string", yang harus dihasilkan sebelum sistem dapat beroperasi. Parameter ini diturunkan dari nilai acak rahasia. Jika rahasia ini pernah direkonstruksi, aktor jahat bisa memalsukan proof dan menciptakan Zcash dari nol tanpa terdeteksi.

Untuk mengatasi hal ini, tim pendiri Zcash menjalankan upacara komputasi multi-pihak pada 2016 di mana enam peserta masing-masing menghasilkan fragmen rahasia. Parameter aman selama setidaknya satu peserta menghancurkan fragmennya secara jujur. Upacara ini diulang dan ditingkatkan untuk upgrade Sapling pada 2018, melibatkan 90 peserta, sehingga probabilitas kompromi penuh menjadi dapat diabaikan.

Kebutuhan trusted setup tetap menjadi kelemahan teoretis dan titik perdebatan filosofis di komunitas koin privasi. Kritikus berpendapat bahwa bahkan risiko sangat kecil dari serangan inflasi yang tak terdeteksi pun tidak dapat diterima. Pendukung menunjuk pada banyaknya peserta dan desain upacara yang dapat diverifikasi sebagai mitigasi yang cukup.

Kekhawatiran ini memotivasi pengembangan zk-STARK, cabang besar lain dari keluarga zero-knowledge proof, yang dibahas di bagian berikutnya.

zk-SNARK vs zk-STARK, Pertukaran Utama

zk-STARK, singkatan dari Zero-Knowledge Scalable Transparent Arguments of Knowledge, diperkenalkan dalam makalah tahun 2018 oleh Eli Ben-Sasson dan kolega di Technion dan StarkWare. Mereka sepenuhnya menyelesaikan masalah trusted setup dengan hanya mengandalkan keacakan publik yang dapat diverifikasi yang diturunkan dari fungsi hash tahan-tabrakan, bukan parameter rahasia.

Pertukaran antara kedua konstruksi ini nyata dan penting bagi pengembang yang harus memilih di antara keduanya.

zk-SNARK menghasilkan proof yang sangat kecil, biasanya di bawah 300 byte, dan sangat cepat diverifikasi. Mereka memerlukan trusted setup dan bergantung pada kriptografi kurva eliptik, yang secara teoretis rentan terhadap komputer kuantum yang cukup kuat.
zk-STARK tidak memerlukan trusted setup dan tahan terhadap serangan kuantum karena hanya bergantung pada fungsi hash. Proof mereka jauh lebih besar, sering kali dalam kisaran puluhan hingga ratusan kilobyte, meski waktu verifikasinya juga cepat.
PLONK dan universal SNARK lain mewakili generasi tengah konstruksi yang memerlukan trusted setup universal yang dilakukan sekali saja, bukan satu per sirkuit. Proyek seperti Aztec dan Polygon telah menggunakan sistem berbasis PLONK untuk mengurangi beban operasional trusted setup tanpa mengorbankan efisiensi SNARK.

Untuk penggunaan blockchain praktis pada 2026, zk-SNARK mendominasi protokol layer-one berfokus privasi seperti Zcash. zk-STARK mendominasi rollup layer-two berfokus skalabilitas, khususnya yang dibangun oleh StarkWare, di mana ukuran proof kurang kritis dibanding minimisasi trust dan throughput.

Also Read: Vitalik Buterin Wants Ethereum To Stop Reading Over Your Shoulder

Di Mana Zero-Knowledge Proofs Digunakan Selain Koin Privasi

Use case awal untuk zero-knowledge proofs adalah privasi finansial, seperti yang didemonstrasikan Zcash. Namun teknologinya telah berkembang pesat di seluruh ekosistem blockchain, dan aktivitas tren saat ini di sekitar Nexus serta jaringan zero-knowledge-nya adalah salah satu sinyal paling jelas bahwa infrastruktur ZKP sedang menjadi arus utama.

ZK Rollups mungkin merupakan penerapan paling signifikan secara komersial di luar koin privasi. Jaringan Layer 2 seperti zkSync, StarkNet, dan Polygon zkEVM menggunakan zero-knowledge proofs untuk mengelompokkan ratusan atau ribuan transaksi Ethereum (ETH) ke dalam satu proof yang diajukan ke main chain. Ethereum mainnet hanya perlu memverifikasi satu proof ringkas alih-alih mengeksekusi setiap transaksi satu per satu, sehingga secara drastis meningkatkan throughput sambil mewarisi keamanan penuh Ethereum.

Private DeFi adalah kategori yang sedang muncul, di mana protokol menggunakan ZKP untuk memungkinkan pengguna berpartisipasi dalam aktivitas lending, trading, dan strategi yield tanpa mengungkap saldo wallet atau strategi trading mereka di on-chain. Jaringan Venice Token, yang saat ini trending bersamaan dengan Zcash, menerapkan filosofi kriptografi terkait pada inference AI, memungkinkan pengguna melakukan query ke model AI tanpa penyedia melihat input mereka.

Sistem identitas dan kredensial mewakili gelombang ketiga. ZKP memungkinkan pengguna membuktikan bahwa mereka berusia di atas 18 tahun, merupakan penduduk negara tertentu, atau lolos pemeriksaan KYC tanpa mengungkapkan nama, tanggal lahir, atau nomor paspor mereka. Proyek seperti Polygon ID dan Sismo telah membangun kerangka kredensial di sekitar kapabilitas ini.

Pasar zero-knowledge proof diproyeksikan tumbuh dari sekitar $243 juta pada 2023 menjadi lebih dari $12 miliar pada 2030, menurut data dari Grand View Research, mencerminkan adopsi di sektor keuangan, identitas, dan verifikasi rantai pasokan.

Also Read: Exclusive: DeFi Has A Quiet Crisis Nobody's Talking About And It's Killing Yields: Katana CEO

Siapa Sebenarnya yang Perlu Memahami Teknologi Ini

Zero-knowledge proofs relevan bagi beberapa kelompok berbeda di kripto, meskipun sebagian besar pengguna tidak pernah berinteraksi langsung dengan kriptografinya.

Trader dan investor yang mengamati koin privasi seperti Zcash diuntungkan dengan memahami bahwa reli harga bukan semata-mata spekulatif. Teknologi yang mendukung ZEC memiliki utilitas nyata dan terus berkembang di seluruh ZK rollups dan Private DeFi, yang menciptakan basis permintaan struktural melampaui spekulasi sederhana. Ketika tekanan regulasi pada blockchain transparan meningkat, seperti yang terjadi secara berkala, sifat pelindung privasi dari sistem berbasis ZKP menjadi proposisi yang lebih mendesak.

Pengguna dan developer DeFi yang memilih di antara jaringan Layer 2 perlu memahami perbedaan antara optimistic rollups (yang menggunakan sistem fraud-proof dan jendela tantangan 7 hari) dan ZK rollups (yang menggunakan proof matematis dan dapat final dalam hitungan menit). Pilihan ini secara langsung memengaruhi waktu penarikan, asumsi trust, dan efisiensi modal.

Pengguna yang sadar privasi pada level apa pun perlu mengetahui bahwa alamat terlindungi (shielded) Zcash menawarkan model privasi yang benar-benar berbeda dari anonimitas semu (pseudonymity) Bitcoin. Firma analitik blockchain seperti Chainalysis secara terbuka mengakui bahwa transaksi Zcash yang sepenuhnya shielded pada dasarnya buram bagi alat mereka, yang merupakan perbedaan penting bagi pengguna yang membutuhkan kerahasiaan finansial.

Pembuat protokol yang mengeksplorasi sistem kredensial, voting privat, atau proof-of-reserves tanpa pengungkapan saldo perlu memahami model sirkuit dasar ZKP, karena merancang sistem ZKP berarti merancang sirkuit aritmetika yang mengenkode masalah Anda, bukan menulis kode konvensional.

Also Read: SpaceX Reveals 18,712 BTC Stash In Record IPO Filing Surprise, Outed As Top 7 Bitcoin Whale

Kesimpulan

Zero-knowledge proofs dimulai sebagai keanehan teoretis dalam sebuah makalah akademik tahun 1985 dan sejak itu menjadi infrastruktur fundamental di seluruh koin privasi, jaringan skalabilitas, dan identitas terdesentralisasi. Insight intinya, bahwa kebenaran dapat dikomunikasikan tanpa transfer pengetahuan, cukup berlawanan dengan intuisi sehingga banyak insinyur menghabiskan bertahun-tahun di industri tanpa sepenuhnya memahami implikasinya.

Zcash tetap menjadi contoh produksi paling terlihat dari penerapan ZKP pada privasi finansial. Arsitektur zk-SNARK-nya, terlepas dari perdebatan yang sedang berlangsung tentang trusted setup, telah terbukti tangguh dan secara langsung memengaruhi setiap konstruksi ZK rollup besar yang mengikutinya.

Perluasan teknologi ini ke skalabilitas DeFi melalui jaringan seperti zkSync dan StarkNet, serta ke lapisan privasi AI seperti Venice, menandakan bahwa zero-knowledge proofs bukan lagi fitur niche koin privasi melainkan primitif fundamental untuk generasi berikutnya dari sistem kriptografi.

Lain kali ketika koin privasi melonjak harganya atau sebuah ZK rollup baru mengumumkan rekor throughput, Anda kini memiliki kerangka untuk mengevaluasi apa yang sebenarnya dilakukan teknologi dasarnya, bukan hanya apa yang ditampilkan grafik harga.