Intisari Utama

  • Bukti tanpa pengetahuan memungkinkan satu pihak membuktikan bahwa suatu pernyataan itu benar kepada pihak lain tanpa mengungkap data yang mendasarinya.

  • zk-SNARK adalah jenis protokol bukti tanpa pengetahuan (zero-knowledge proof) yang digunakan dalam kripto untuk memverifikasi informasi, seperti saldo akun, tanpa mengungkap detail pribadi.

  • Binance menggunakan zk-SNARK yang digabungkan dengan Merkle trees agar pengguna dapat memverifikasi bahwa saldo mereka dimasukkan dalam total Proof of Reserves tanpa membocorkan data akun individual.

  • Di luar cadangan bursa, bukti ZK semakin sering digunakan dalam ZK-rollups, verifikasi identitas, dan sistem pemungutan suara di seluruh ekosistem blockchain.

Pengantar

Pengguna blockchain menghargai transparansi dan privasi. Dalam banyak situasi, dua tujuan ini tampak saling bertentangan: membuktikan bahwa sesuatu itu benar sering kali membutuhkan pengungkapan detail di baliknya. Bukti tanpa pengetahuan menawarkan cara untuk menyelesaikan ketegangan ini.

Dengan menggunakan protokol bukti tanpa pengetahuan seperti zk-SNARKs bersama dengan struktur data kriptografis seperti Merkle trees, Anda dapat membuktikan validitas informasi tanpa mengungkap informasi itu sendiri. Artikel ini menjelaskan cara kerja alat-alat tersebut dan bagaimana Binance menerapkannya untuk Proof of Reserves.

Apa Itu Bukti Tanpa Pengetahuan?

Bukti tanpa pengetahuan memungkinkan satu pihak (pembukt i/prover) untuk meyakinkan pihak lain (verifier) bahwa suatu pernyataan itu benar, tanpa membagikan informasi apa pun tentang isi pernyataan tersebut. Konsep ini pertama kali muncul dalam makalah akademik tahun 1985 dan sejak itu menjadi elemen mendasar dalam kriptografi terapan.

Analogi sederhana: bayangkan Anda mengetahui kombinasi kode brankas yang terkunci. Anda bisa membuktikannya kepada teman dengan membuka brankas dan membacakan catatan yang mereka taruh di dalamnya, lalu menutupnya lagi. Kini, teman Anda yakin bahwa Anda mengetahui kombinasi tersebut tanpa Anda pernah menyebutkan apa kombinasi itu.

Untuk penjelasan teknis yang lebih mendalam, lihat artikel Academy tentang Apa itu Bukti Tanpa Pengetahuan dan Bagaimana Dampaknya pada Blockchain.

Mengapa Bukti Tanpa Pengetahuan Berguna?

Bukti ZK berguna dalam situasi apa pun ketika Anda perlu membuktikan suatu klaim tanpa mengekspos data sensitif. Dalam sistem tradisional, membuktikan bahwa Anda memiliki suatu aset atau memiliki kredensial tertentu sering kali mengharuskan Anda membagikan informasi yang mendasarinya, yang menimbulkan risiko privasi dan keamanan.

Dalam kripto, kasus penggunaan yang umum mencakup:

  • Membuktikan kepemilikan kunci privat tanpa mengungkapkannya.

  • Memungkinkan sebuah bursa memverifikasi total cadangan penggunanya tanpa membocorkan saldo masing-masing akun.

  • Memungkinkan transaksi blockchain yang dapat diskalakan melalui ZK-rollups tanpa memublikasikan setiap transaksi di-chain.

Bukti-bukti ini menggunakan algoritma yang mengambil data sebagai input dan mengembalikan benar atau salah, tanpa membocorkan detail apa pun tentang input itu sendiri.

Sifat Teknis Bukti Tanpa Pengetahuan

Bukti tanpa pengetahuan yang valid harus memenuhi tiga sifat:

  • Kelengkapan (Completeness). Jika pernyataannya benar, seorang verifier yang jujur akan diyakinkan oleh bukti tersebut.

  • Keberhakekan (Soundness). Jika pernyataannya salah, tidak ada pembukt i yang dapat meyakinkan verifier bahwa itu benar.

  • Tanpa pengetahuan (Zero-knowledge). Jika pernyataannya benar, verifier tidak memperoleh apa pun selain fakta bahwa pernyataan itu benar.

Apa Itu zk-SNARK?

zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) adalah jenis protokol bukti tanpa pengetahuan. Protokol ini dirancang agar ringkas (ukuran bukti kecil), non-interaktif (tidak ada tanya jawab antara pembukt i dan verifier), dan memiliki dasar keamanannya secara kriptografis.

Dengan zk-SNARK, seorang pembukt i dapat menunjukkan pengetahuan tentang suatu nilai rahasia, atau bahwa suatu komputasi telah dilakukan dengan benar, tanpa mengungkap apa pun tentang input. Dalam konteks bursa kripto, ini berarti membuktikan bahwa jumlah seluruh saldo pengguna sesuai dengan cadangan yang diklaim, tanpa menampilkan saldo individual mana pun.

Langkah verifikasi sangat cepat dibandingkan dengan waktu yang dibutuhkan untuk menghasilkan bukti itu sendiri. Hal ini membuat zk-SNARK praktis untuk aplikasi skala besar seperti audit bursa atau peningkatan skalabilitas blockchain.

Apa Itu Merkle Tree?

Merkle tree adalah struktur data kriptografis yang mengatur sejumlah besar data dengan efisien. Setiap potongan data diubah menjadi hash, lalu hash-hash tersebut digabung berpasangan sampai dihasilkan satu root hash. Perubahan apa pun pada nilai input mana pun akan mengubah root hash, sehingga manipulasi mudah dideteksi.

Fungsi hash

Merkle trees bergantung pada fungsi hash agar dapat bekerja. Hashing mengambil input dengan panjang apa pun dan menghasilkan output dengan panjang tetap. Input yang sama selalu menghasilkan output yang sama. Bahkan perubahan kecil pada input menghasilkan output yang benar-benar berbeda.

Sebagai contoh, menjalankan 100 buku melalui fungsi hash SHA-256 menghasilkan string unik sepanjang 64 karakter. Ubah satu karakter saja dalam buku-buku tersebut, dan output berubah sepenuhnya. Properti ini membuat verifikasi integritas data menjadi mudah tanpa harus membandingkan seluruh konten aslinya.

Merkle trees dalam kripto

Di blockchain, setiap transaksi di-hash untuk menghasilkan node leaf yang unik. Pasangan node leaf digabung lalu di-hash lagi untuk membentuk node branch. Proses ini berlanjut sampai dihasilkan satu Merkle root. Root tersebut secara kriptografis merangkum semua transaksi dalam sebuah blok.

Untuk bursa, Merkle trees menyediakan cara untuk mengatur saldo pelanggan agar dapat diaudit tanpa mengekspos setiap akun individu.

Keterbatasan Menggunakan Merkle Tree Saja

Sebuah bursa kripto dapat membangun Merkle tree dari seluruh saldo akun pelanggan untuk mendukung Proof of Reserves (PoR). Namun, tanpa perlindungan tambahan, pendekatan ini memiliki kelemahan.

Tanpa lapisan ZK, sebuah bursa berpotensi mengecualikan beberapa akun dari tree atau memasukkan akun palsu dengan saldo negatif untuk mengurangi total kewajiban yang tampak. Pengguna yang hanya meninjau leaf node miliknya tidak akan bisa mendeteksi hal ini tanpa melihat semua akun lainnya.

Menggunakan auditor pihak ketiga yang tepercaya adalah salah satu solusi yang mungkin, tetapi itu mengharuskan Anda mempercayai baik auditor maupun data yang diberikan akses oleh auditor tersebut.

Cara zk-SNARK dan Merkle Trees Bekerja Sama

Menggabungkan zk-SNARK dengan Merkle trees menghilangkan kebutuhan untuk percaya pihak ketiga. Bursa membangun Merkle tree dari seluruh saldo pengguna lalu menghasilkan bukti zk-SNARK yang secara matematis menjamin:

  • Setiap saldo pengguna dimasukkan ke dalam Merkle tree (tidak ada akun yang dihilangkan).

  • Tidak ada pengguna yang memiliki saldo bersih negatif (tidak ada data yang dipalsukan).

  • Merkle root valid dan tidak berubah.

Pengguna dapat memverifikasi bahwa saldo mereka sendiri berkontribusi pada Merkle root. Mereka juga dapat memverifikasi bukti zk-SNARK untuk memastikan pohon dibangun dengan benar, tanpa melihat saldo orang lain.

Bagaimana Binance Menerapkan Sistem Ini

Binance mendefinisikan batasan dari apa yang ingin dibuktikan sebagai sebuah rangkaian (circuit) yang dapat diprogram. Untuk setiap leaf node saldo pengguna di Merkle tree, rangkaian tersebut memeriksa tiga kondisi:

  • Aset pengguna dimasukkan dalam perhitungan total saldo bersih.

  • Total saldo bersih pengguna lebih besar atau sama dengan nol.

  • Merkle root valid setelah memasukkan data pengguna tersebut.

Binance kemudian menghasilkan bukti zk-SNARK untuk seluruh Merkle tree. Pada setiap rilis Proof of Reserves, Binance memublikasikan bukti Merkle untuk setiap pengguna dan bukti zk-SNARK beserta input publiknya. Siapa pun dapat memverifikasi keduanya secara independen menggunakan kode sumber terbuka yang tersedia secara publik.

Pendekatan ini memberikan kepastian matematis, bukan semata-mata mengandalkan kepercayaan kepada auditor.

Aplikasi Lebih Luas di Luar Proof of Reserves

Teknologi bukti ZK telah berkembang jauh melampaui audit bursa. ZK-rollups kini menjadi salah satu pendekatan penskalaan Layer 2 terdepan di Ethereum, memproses transaksi di luar rantai (off-chain) dan mengirimkan bukti ZK ke main chain untuk mengonfirmasi validitas. Ini dapat meningkatkan throughput sambil tetap menjaga keamanan.

Di luar skalabilitas, bukti ZK juga sedang dieksplorasi untuk verifikasi identitas (membuktikan bahwa Anda memenuhi persyaratan usia atau yurisdiksi tanpa mengungkap identitas lengkap Anda), sistem pemungutan suara privat, dan eksekusi smart contract yang dirahasiakan. Teknologinya masih terus matang, tetapi potensi penerapannya di seluruh bidang keuangan, tata kelola, dan identitas digital cukup besar.

FAQ

Apa itu bukti tanpa pengetahuan (zero-knowledge proof) dalam istilah sederhana?

Bukti tanpa pengetahuan memungkinkan Anda membuktikan bahwa Anda mengetahui sesuatu, atau bahwa suatu pernyataan itu benar, tanpa mengungkap informasi yang mendasarinya. Ini seperti membuktikan bahwa Anda tahu kombinasi kode brankas dengan membukanya dan menampilkan catatan yang diletakkan di dalamnya, lalu menutupnya lagi—tanpa pernah menyebutkan apa kombinasi tersebut.

Mengapa Binance menggunakan zk-SNARK untuk Proof of Reserves?

Binance menggunakan zk-SNARK untuk membuktikan bahwa saldo pelanggan sepenuhnya didukung tanpa mengekspos detail akun individual. Bukti ZK memberikan verifikasi matematis bahwa semua akun disertakan dan tidak ada saldo negatif, tanpa mengharuskan pengguna untuk mempercayai seorang auditor.

Apa perbedaan antara zk-SNARK dan ZK-rollups?

zk-SNARK adalah jenis protokol bukti tanpa pengetahuan. ZK-rollups adalah solusi penskalaan Layer 2 yang menggunakan zk-SNARK (atau bukti serupa) untuk menggabungkan banyak transaksi sekaligus dan mengirimkan satu bukti validitas ke blockchain utama. zk-SNARK adalah alat kriptografis yang menjadi dasarnya; ZK-rollups adalah salah satu penerapan dari alat tersebut.

Bisakah pengguna memverifikasi secara independen Proof of Reserves dari Binance?

Ya. Binance memublikasikan bukti Merkle untuk setiap pengguna dan bukti zk-SNARK bersama dengan input publiknya. Pengguna dapat memverifikasi bahwa saldo mereka dimasukkan ke dalam Merkle tree dan bahwa bukti zk-SNARK mengonfirmasi pohon dibangun dengan benar, menggunakan kode sumber terbuka yang dirilis publik oleh Binance.

Apakah bukti tanpa pengetahuan hanya digunakan untuk cadangan bursa?

Tidak. Bukti ZK memiliki beragam aplikasi. Di blockchain, bukti ini digunakan dalam ZK-rollups untuk penskalaan transaksi, sistem identitas, dan eksekusi kontrak yang dirahasiakan. Di luar kripto, teknologi ini diteliti untuk pemungutan suara yang menjaga privasi, verifikasi usia, dan validasi kredensial tanpa pembukaan data.

Penutup

Dengan menggabungkan zk-SNARK dan Merkle trees, bursa dapat memberikan bukti kriptografis tentang cadangan tanpa mengorbankan data pengguna. Di luar audit cadangan, teknologi ZK menemukan tempatnya dalam skalabilitas blockchain, sistem identitas, dan tata kelola terdesentralisasi.

Bacaan Lanjutan

  • Apa itu Bukti Tanpa Pengetahuan dan Bagaimana Dampaknya pada Blockchain?

  • zk-SNARKs dan zk-STARKs Dijelaskan

  • Apa Itu ZK-Rollups?

  • Apa itu Proof of Reserves dan Bagaimana Cara Kerjanya di Binance

  • Merkle Trees dan Merkle Roots Dijelaskan

Catatan: Konten ini disajikan kepada Anda dengan dasar "apa adanya" (as is) untuk informasi umum dan tujuan edukasi saja, tanpa representasi atau jaminan dalam bentuk apa pun. Konten ini tidak boleh ditafsirkan sebagai nasihat keuangan, hukum, atau nasihat profesional lainnya, dan tidak dimaksudkan untuk merekomendasikan pembelian produk atau layanan tertentu. Anda sebaiknya mencari nasihat Anda sendiri dari penasihat profesional yang sesuai. Jika konten disumbangkan oleh pihak ketiga, harap dicatat bahwa pandangan yang diungkapkan adalah milik penyumbang pihak ketiga tersebut, dan tidak selalu mencerminkan pandangan Binance Academy. Harga aset digital dapat berfluktuasi. Nilai investasi Anda dapat naik atau turun, dan Anda mungkin tidak bisa mendapatkan kembali jumlah yang Anda investasikan. Anda sepenuhnya bertanggung jawab atas keputusan investasi Anda, dan Binance Academy tidak bertanggung jawab atas kerugian apa pun yang mungkin Anda alami. Untuk informasi lebih lanjut, lihat Ketentuan Penggunaan, Peringatan Risiko, dan Ketentuan Binance Academy kami.