「Bukti bahwa suatu hal benar, tetapi tanpa harus mengungkapkan detail apapun」— Pembuktian Zero Knowledge

▰ Apa sebenarnya itu Pembuktian Zero Knowledge?
Ini pertama kali diajukan lebih dari 30 tahun yang lalu oleh tiga ahli kriptografi, dan mungkin banyak orang merasa itu tidak nyata, sulit dipercaya. Bagaimanapun, saat kita meyakinkan orang lain, kita harus menyampaikan fakta dan dasar, tidak hanya dengan mengatakan “Saya tidak menipu kamu” saja agar orang percaya.

▰ Tapi matematika memang begitu ajaib
Sebagai contoh, kamu tahu ada easter egg tersembunyi di sebuah film yang sangat jarang diketahui, dan ingin membuktikan bahwa kamu benar-benar sudah menontonnya, tapi tidak ingin membocorkan isi easter egg tersebut.

Kamu bisa bilang ke teman, “Karakter dalam film itu di menit ke 45, memegang sesuatu dengan tanda khusus.”

Teman menonton dan menemukan memang ada, jadi dia tahu kamu benar-benar sudah menonton. Tapi dari awal sampai akhir, kamu tidak pernah mengatakan apa easter egg-nya.

Itulah inti logika dari Pembuktian Zero Knowledge: mengubah “mengatakan dengan mulut” menjadi “memverifikasi melalui detail”, langsung menyelesaikan masalah “harus membuktikan, tapi juga harus menjaga kerahasiaan”.

▰ Tapi teknologi ini juga punya kekurangan besar: pembuatan bukti sangat membebani performa komputer.

Seperti dulu saat belajar, mengerjakan soal matematika selama 10 menit, lalu harus membuat laporan verifikasi yang pasti benar, dengan memecah setiap langkah pemecahan menjadi unit terkecil dan memeriksa satu per satu, sehingga beban kerja meningkat puluhan kali lipat.

▰ Saat itulah saya memperhatikan proyek @cysic_xyz, dan merasa mereka menemukan arah yang sangat tepat.

Saat semua orang menggunakan GPU untuk menghasilkan Pembuktian Zero Knowledge, karena GPU memang unggul dalam melakukan banyak operasi berulang secara paralel.

Tapi masalahnya, GPU sebenarnya dirancang untuk rendering game dan video, bukan untuk tugas ini.

Sedangkan @cysic_xyz ingin membuat chip khusus untuk Pembuktian Zero Knowledge, semua desainnya berfokus pada “efisiensi dalam menghasilkan bukti”.

Saya rasa ini sangat visioner. Jika berhasil, biaya Pembuktian Zero Knowledge bisa turun secara signifikan, dan akan lebih mudah untuk dipopulerkan.

Sebenarnya, Pembuktian Zero Knowledge tidak jauh dari kita. Di masa depan, saat membayar tagihan listrik dan air online, takut data bocor, menandatangani dokumen penting yang takut diubah, bahkan memverifikasi akun game tanpa cheat, semuanya mungkin akan menggunakan teknologi ini.

Dan terobosan @cysic_xyz di bidang hardware mungkin adalah langkah kunci agar teknologi ini bisa masuk ke kehidupan sehari-hari.
#cysic