Saya telah mengikuti topik bukti tanpa pengetahuan ini akhir-akhir ini, semakin banyak orang mulai menyadari nilainya dalam perlindungan privasi. Singkatnya, bukti tanpa pengetahuan adalah memungkinkan Anda membuktikan kepada orang lain bahwa suatu hal benar-benar terjadi, tetapi sama sekali tidak mengungkapkan detail apapun. Kedengarannya agak rumit, tetapi sebenarnya penggunaannya sangat luas.

Logika inti sangat menarik. Penggugat dapat membuat verifikator yakin bahwa mereka memegang informasi rahasia tertentu, tetapi verifikator tidak mendapatkan petunjuk apapun tentang rahasia tersebut. Mekanisme ini bergantung pada tiga atribut dasar: kelengkapan (pernyataan benar pasti dapat diverifikasi), keandalan (pernyataan palsu sulit untuk menipu), dan nol pengetahuan (verifikator benar-benar tidak mempelajari apapun).

Dalam bidang blockchain, aplikasi bukti tanpa pengetahuan sudah cukup matang. Misalnya transaksi privasi, Anda dapat membuktikan bahwa Anda memiliki saldo yang cukup untuk melakukan transfer, tetapi sama sekali tidak perlu mengungkapkan jumlah atau informasi pihak yang terlibat. Ini adalah pengubah aturan main dalam melindungi privasi keuangan. Ada juga verifikasi identitas, yang dapat membuktikan bahwa Anda berusia minimal 18 tahun tanpa harus mengungkapkan tanggal lahir asli, sehingga risiko kebocoran data pribadi sangat berkurang.

Berbicara tentang solusi teknologi, saat ini ada beberapa yang utama. zk-SNARKs karena ukuran bukti kecil dan verifikasi cepat banyak digunakan, terutama cocok untuk lingkungan blockchain yang sensitif terhadap penyimpanan, tetapi kekurangannya adalah memerlukan pengaturan yang dipercaya. zk-STARKs tidak memerlukan pengaturan yang dipercaya, memiliki ketahanan terhadap serangan kuantum, dan skala bukti akan meningkat secara linier dengan jumlah perhitungan, tetapi tetap efisien dalam verifikasi. Ada juga Bulletproofs, yang menggabungkan keunggulan keduanya, dengan bukti berukuran kecil dan verifikasi yang efisien, sangat cocok untuk skenario yang membutuhkan perlindungan privasi.

Skalabilitas blockchain juga merupakan bidang di mana bukti tanpa pengetahuan menunjukkan kemampuannya. Melalui varian seperti zk-SNARKs atau zk-STARKs, dapat mengemas banyak transaksi di jaringan menjadi satu bukti kecil, langsung meningkatkan throughput blockchain. Dalam beberapa tahun terakhir, semakin banyak solusi Layer 2 yang menggunakan teknologi ini, dan hasilnya memang terlihat jelas. Mengatasi tiga masalah utama: privasi, keamanan, dan efisiensi secara bersamaan, tidak heran jika bukti tanpa pengetahuan menjadi standar infrastruktur dasar blockchain.