Cek Market Crypto Hari Ini:
Bittime - Konsep Zero-knowledge Proof pertama kali diperkenalkan oleh Shafi Goldwasser, Silvio Micali, dan Charles Rackoff pada awal 1980-an.
Apa Itu Zero-Knowledge Proof?
Zero-Knowledge Proof/ZK-proof adalah protokol kriptografi yang memungkinkan seseorang (pembukti) meyakinkan pihak lain (pemberi verifikasi) bahwa suatu pernyataan benar tanpa mengungkapkan detail apapun tentang pernyataan itu sendiri.
Kriteria dan Jenis-Jenis Zero-Knowledge Proof
Tujuan utama ZK-proof adalah meyakinkan pemberi verifikasi bahwa suatu pernyataan benar tanpa mengungkapkan informasi apapun selain kebenaran pernyataan itu sendiri.
ZK-proof yang baik harus memenuhi tiga kriteria:
Kelengkapan
Pemberi verifikasi akan menerima bukti dengan probabilitas tinggi jika proposisi benar, dan baik pembukti maupun pemberi verifikasi mengikuti protokol.
Kebenaran
Jika klaim salah, tidak ada pembukti yang dapat meyakinkan pemberi verifikasi sebaliknya, kecuali dalam keadaan yang sangat tidak mungkin.
Baca Juga: Apa Itu Zero-Knowledge Rollups (ZK Rollups)?
Tanpa pengetahuan
Bahkan setelah berinteraksi dengan pembukti, pemberi verifikasi hanya memahami kebenaran pernyataan dan tidak ada hal lain tentang rahasia tersebut.
Terdapat berbagai jenis ZK-proof, antara lain sebagai berikut.
- Zero-Knowledge Proof Interaktif: Memerlukan komunikasi bolak-balik antara pembukti dan pemberi verifikasi.
- Zero-Knowledge Proof Non-Interaktif: Menyediakan bukti ringkas yang dapat diverifikasi dalam satu langkah.
- Zero-Knowledge Proof Statistik: Menawarkan kebenaran komputasi dengan probabilitas kesalahan kecil.
- Bukti Kepemilikan Pengetahuan (PoK): Subkategori ZK-proof yang menunjukkan bahwa pembukti memiliki pengetahuan khusus terkait pernyataan.
- Bukti Pengocokan dan Rentang: Digunakan dalam pemilihan elektronik dan transaksi yang menjaga privasi.
- Protokol Sigma: Terdiri dari tiga langkah: komitmen, tantangan, dan respons.
- Bulletproofs: Dirancang untuk menyediakan bukti rentang yang efisien untuk kumpulan nilai yang besar.
Baca Juga Cara Beli Crypto:
Cara Kerja ZK-proof
ZK-proof memungkinkan pembukti meyakinkan pemberi verifikasi tentang kebenaran suatu pernyataan tanpa mengungkapkan informasi apapun tentang pernyataan itu sendiri.
Pembukti dan pemberi verifikasi berinteraksi dalam beberapa putaran protokol, dan pada akhirnya, pemberi verifikasi menjadi yakin akan kebenaran pernyataan tanpa mempelajari informasi tambahan tentang rahasia tersebut.
Mari kita gunakan "Masalah Tiga Warna" sebagai ilustrasi. Bayangkan kamu memiliki peta dengan beberapa wilayah (simpul) yang dihubungkan oleh garis (tepi).
Tujuannya adalah menggunakan salah satu dari tiga warna untuk mewarnai setiap wilayah sehingga tidak ada dua wilayah yang berdekatan memiliki warna yang sama.
Bisakah kamu meyakinkan seseorang bahwa kamu mengetahui pewarnaan yang benar tanpa mengungkapkan warna sebenarnya yang diberikan ke setiap wilayah?
Baca Juga: Apa Itu Zero Confirmation Transaction atau Unconfirmed Transaction?
Protokol ZK-proof
Persiapan: Pembukti dan pemberi verifikasi menyetujui wilayah dan tautan grafik (peta).
Pernyataan: Pembukti menyatakan memiliki pewarnaan tiga warna yang valid untuk grafik yang disediakan.
Putaran 1: Komitmen: Pembukti memilih warna secara acak untuk setiap lokasi secara rahasia tanpa mengungkapkannya. Sebagai gantinya, pembukti memberikan pemberi verifikasi satu "janji" terenkripsi untuk setiap wilayah. Pemberi verifikasi tidak dapat melihat warna apa yang ada di dalam komitmen karena mereka terkunci seperti kotak.
Putaran 2: Tantangan: Pemberi verifikasi memilih wilayah acak dan meminta pembukti membuka komitmen untuk wilayah tersebut. Pembukti harus mengungkapkan warna komitmen wilayah itu.
Putaran 3: Respons: Setelah berkomitmen pada warna, pembukti sekarang harus membuktikan bahwa pewarnaan yang diungkapkan akurat. Ini melibatkan menampilkan perbedaan warna antara bagian yang berdekatan. Pemberi verifikasi memeriksa respons untuk memastikan bahwa pembukti mengikuti aturan dengan benar.
Iterasi: Putaran 2 dan 3 diulang berkali-kali menggunakan berbagai wilayah yang dipilih secara acak. Prosedur ini diulang sebanyak yang diperlukan untuk membangun tingkat kepercayaan yang tinggi pada kebenaran pernyataan pembukti.
Kesimpulan: Pemberi verifikasi menjadi yakin bahwa pembukti benar-benar memiliki pewarnaan tiga warna yang valid tanpa mengetahui warna sebenarnya yang digunakan jika pembukti secara konsisten menghasilkan respons yang valid untuk setiap putaran.
Kesimpulan
Dengan mengulangi prosedur untuk berbagai wilayah, pemberi verifikasi secara bertahap meningkatkan kemampuan pembukti untuk mengenali pewarnaan tiga warna yang valid dari grafik.
Namun, properti tanpa pengetahuan tetap terjaga karena pemberi verifikasi tidak pernah mengetahui warna nyata yang ditetapkan ke setiap wilayah selama prosedur berlangsung.
Ilustrasi di atas menunjukkan bagaimana ZK-proof dapat digunakan untuk meyakinkan seseorang bahwa solusi ada, sambil menjaga kerahasiaan identitas solusi itu sendiri.
Cara Beli Crypto di Bittime
Kamu bisa beli dan jual aset crypto dengan cara yang mudah dan aman melalui Bittime. Bittime adalah satu aplikasi kripto terbaik di Indonesia yang sudah resmi terdaftar Bappbeti.
Untuk bisa beli aset crypto di Bittime, pastikan kamu telah melakukan registrasi dan menyelesaikan verifikasi identitas. Selain itu, pastikan juga kalau kamu punya saldo yang cukup dengan melakukan deposit sejumlah dana ke wallet. Sekadar informasi, minimal pembelian aset di Bittime adalah Rp10.000. Setelah itu, barulah kamu bisa melakukan pembelian aset crypto di aplikasi.
Pantau pergerakan grafik harga Bitcoin (BTC), Ethereum (ETH), Solana (SOL) dan kripto lainnya untuk mengetahui tren crypto market hari ini secara real-time di Bittime.
Baca Juga:
Proof-of-Authority (PoA) dan Proof-of-Stake (PoS), Apa Perbedaannya?
Apa Itu Proof of Attendance Protocol?
DISCLAIMER: Artikel ini bersifat informasi dan bukan merupakan tawaran atau ajakan untuk menjual dan membeli aset kripto apapun. Perdagangan aset kripto merupakan aktivitas beresiko tinggi. Harga aset kripto bersifat fluktuatif, di mana harga dapat berubah secara signifikan dari waktu ke waktu dan Bittime tidak bertanggung jawab atas perubahan fluktuasi dari nilai tukar aset kripto.
Komentar
0 komentar
Harap masuk untuk memberikan komentar.