Bukti tanpa informasi biasanya merupakan salah satu prinsip yang paling abstrak dan menarik dalam kriptografi terapan saat ini. Dari potensi untuk digunakan dalam pelucutan senjata nuklir sampai dengan menyediakan transaksi yang anonim dan aman untuk sistem blockchain publik, bukti tanpa pengetahuan tentu saja merupakan sebuah contoh yang sangat baik dari inovasi kriptografi.
Latar Belakang dan Program
Charles Rackoff, mereka merancang ide kompleksitas informasi, sebuah metrik untuk jumlah pengetahuan yang harus ditransfer dari pembuktian ke pemeriksa agar dapat dianggap valid. Pada akhirnya, mereka berada dalam posisi untuk menunjukkan bahwa, masalah utama mereka berpusat pada kebocoran detail, yang berarti seberapa banyak detail yang akan dipelajari oleh seorang verifikator selama periode memverifikasi sebuah klaim valid.
Matematika dibalik ide ini sangatlah canggih (penafian - saya tidak tahu bagaimana matematika bekerja. Kemajuan lebih lanjut melihat pengembangan teknik pembuktian tanpa pengetahuan untuk masalah pewarnaan graf dan bahwa apa pun yang dapat dibuktikan dengan sistem pembuktian interaktif dapat dibuktikan dengan tanpa pengetahuan. Saat ini, integrasi mereka ke dalam sistem terdesentralisasi mendorong program mereka lebih jauh lagi.
Informasi Nol
Bukti tanpa informasi non-interaktif pada akhirnya ditemukan dan begitu juga dengan interaksi antara prover dan verifier Anda. Sebagai gantinya, sebuah string referensi standar yang digunakan bersama antara pembukti dan pemeriksa adalah semua yang dibutuhkan untuk mencapai komputasi tanpa informasi. Asumsi matematis dan komputasi seperti ini biasanya menjadi alasan mengapa pembuktian tanpa pengetahuan secara umum dikenal sebagai "sihir kripto", yang sangat sulit untuk dipahami bahkan dari sudut pandang abstrak.
Mengenai mata uang kripto, hal ini merilis ide zk-SNARKs, Terakhir, zk-STARKs dibuat sebelumnya pada musim ini dan juga menghilangkan kebutuhan akan pengaturan yang dapat diandalkan.
Aplikasi
Bukti tidak diketahui memiliki banyak pilihan aplikasi karena sifatnya yang unik. Mereka sangat efektif dalam percakapan yang aman, otentikasi, dan privasi. Aplikasi yang sangat relevan dengan mata uang digital adalah anonimitas dalam transaksi. Platform yang menggunakan beberapa jenis bukti informasi nol terdiri dari ZCash, Monero, PIVX, Secara signifikan, mata uang digital ini menggunakan bukti informasi nol untuk mengaburkan fakta-fakta transaksi di jaringan blockchain publik yang terbuka. Rincian ini adalah pengirim, penerima, dan jumlah total yang ditransfer.
Penggunaan bukti tanpa informasi di seluruh jaringan komunitas yang terdesentralisasi di mana nilai ditransfer benar-benar merupakan kemajuan yang luar biasa. Kesempatan untuk sepenuhnya menganonimkan transaksi jaringan melalui jaringan publik dapat menjadi prestasi luar biasa yang tidak boleh diabaikan.
Teknik Autentifikasi
Program lain yang menonjol dari teknologi ini adalah dalam teknik otentikasi. Sebuah pengetahuan bukti tanpa pengetahuan dapat digunakan untuk membuktikan informasi rumus ajaib seperti kata sandi tanpa harus mengungkapkan kata sandi tersebut. Bukti tanpa informasi biasanya tidak praktis untuk digunakan hanya dengan kata sandi, tetapi pada akhirnya, hal ini dapat sangat membantu untuk melindungi kata sandi pengguna melalui Internet.
Bukti tanpa pengetahuan juga dapat diterapkan dalam verifikasi identifikasi. Untuk lebih mudahnya, untuk mendapatkan akses ke fasilitas dengan keamanan tinggi, Anda akan membutuhkan jumlah PIN atau kartu identitas yang diautentikasi untuk mendapatkan akses melalui pintu. Elemen otentikasi pintu masuk merupakan celah keamanan karena bisa saja dimanipulasi untuk memahami PIN akses. Memanfaatkan bukti tanpa pengetahuan,
Pengguna yang berwenang akan diberikan solusi untuk contoh masalah tertentu, ditambah lagi mereka dapat membujuk komponen autentikasi bahwa mereka mengetahui jawabannya tanpa benar-benar memasukkan sesuatu yang khusus untuk solusi ke dalam komponen autentikasi. Akibatnya, memanipulasi elemen otentikasi untuk menemukan PIN tidak akan berhasil karena ia tidak akan menyimpan PIN (alternatif).
Fungsi
Sebuah bukti tanpa pengetahuan adalah dimana seorang pembukti (Alice) dapat mengkonfirmasi bahwa dia mengetahui detail x kepada seorang verifier (Bob) tanpa mengkomunikasikan informasi apapun kepada Bob selain dari fakta bahwa dia mengerti x. Secara deskripsi, sebuah bukti tanpa pengetahuan harus memenuhi tiga atribut berikut ini:
- Kelengkapan
- Soundnes
- Pengetahuan nol
Kelengkapan mungkin merupakan peluang probabilistik yang tinggi ketika Alice mengatakan kenyataan. Soundness adalah fakta yang telah terbukti bahwa Alice hanya bisa meyakinkan Bob jika dia benar-benar mengatakan yang sebenarnya. Ketidaktahuan adalah bahwa Bob tidak mengetahui apa pun tentang pengetahuan rahasia (solusi) Alice.
Kompleksitas
Kompleksitas dari hasil pembuktian tanpa pengetahuan di dalamnya biasanya dijelaskan dengan contoh-contoh abstrak. Beberapa dapat ditemukan seperti Gua Ali Baba, Dua Bola dan Teman yang Buta Warna, dan Raksasa Telekomunikasi. Semuanya melakukan pekerjaan yang solid dalam menjelaskan ide dari bukti tanpa pengetahuan, tetapi mari kita berkonsentrasi pada yang pertama, Gua Ali Baba.
Cerita ini berasal dari sebuah makalah berjudul "Bagaimana tepatnya untuk Menjelaskan Bukti Pengetahuan Nol kepada Anak-Anak Anda" oleh Jean-Jacques Quisquater dan secara umum adalah sebagai berikut:
Alice menemukan kalimat jebakan untuk membuka pintu rahasia di sebuah gua yang aneh. Gua itu berbentuk seperti cincin dengan pintu trik yang menghalangi jalan agar tidak terhubung di ujungnya. Bob ingin mengetahui kata jebakan tersebut, namun Alice tidak mau memberitahukannya.
Untuk mengatasi masalah tersebut, karena Alice mendapatkan frasa rahasia menuju pintu masuk, dia juga tidak perlu mengungkapkan frasa trik untuk melaksanakannya, jika Alice tidak mengetahui kata rahasianya, dia akan memiliki potensi 50 persen untuk kembali ke jalur yang diperlukan. Namun, kemungkinan dia memiliki kemampuan untuk mengantisipasi permintaan Bob akan lalai.
Karena dia memiliki frasa trik, kemampuannya untuk kembali ke jalur yang diperlukan secara konsisten menunjukkan kepada Bob (dengan probabilitas yang sangat besar) bahwa dia mengetahui frasa trik tersebut. mereka tidak dapat melihat Alice di dalam gua karena bentuknya sehingga mereka hanya akan melihat Alice kembali ke jalur Anda.
Teknologi Underlaying
Bukti tanpa pengetahuan akan tetap diterapkan di mana pun mereka berguna karena mereka terus berkembang. Teknologi yang mendasarinya bisa jadi sangat kompleks, tetapi prospek privasi, keaslian, dan keamanannya tidak dapat dilebih-lebihkan. Penggunaan bukti tanpa pengetahuan dalam mata uang kripto semakin mendorong inovasi teknologi ini. Jika Anda ingin mengetahui lebih banyak rincian teknis atau contoh dunia nyata dari perspektif teknis, Matthew Green memiliki analisis yang sangat baik tentang teknologi ini dengan beberapa eksperimen pemikiran yang keren.
Bukti tanpa pengetahuan dengan tepat mengambil tempat di antara teknologi paling rumit dan unik yang ditemukan dalam jaringan blockchain. Implikasinya berpikiran maju dan juga telah menarik kekaguman dari salah satu pendiri Google, Sergey Brin.