ZK Waktu cerita: Apa yang saya dengar dari Shafi Goldwasser, salah satu penemu ZK (dan pemenang penghargaan Turing). Itu tidak dimulai sebagai "bukti". Makalah ZK ditolak 4-5 kali dari konferensi peer review. Matematikawan sangat keberatan menyebut hal-hal ini "bukti". Rinciannya: Dia tidak mencoba mendefinisikan model baru untuk pembuktian. Tidak sama sekali. Dia dan rekan penulisnya ingin memecahkan masalah bermain poker menggunakan telepon. (Terjadi pada begitu banyak dari kita) Pada saat itu, sudah diketahui cara *mengocok* sebungkus kartu antara dua orang yang berbicara melalui telepon (tanpa asumsi kepercayaan dan tanpa pihak ketiga yang tepercaya). Masalahnya adalah bahwa dua pemain tanpa asumsi kepercayaan perlu mengikuti *aturan* permainan, tanpa informasi yang terungkap. Inilah yang ingin dia pecahkan. Dan mereka berakhir dengan protokol bagi kedua pemain untuk "membuktikan" satu sama lain bahwa mereka menarik kartu acak berikutnya dengan benar. Mereka tidak segera menyadari itu adalah bentuk bukti. Ini disarankan kepada mereka oleh Michael Sipser ketika mereka menjelaskannya kepadanya. Tapi itu adalah gagasan yang sangat aneh tentang "bukti". Itu harus mengandalkan keacakan. Ini memiliki kemungkinan kesalahan kecil. Jika Anda pernah melihat bukti matematis yang "tepat" (katakanlah, untuk infinitu bilangan prima) maka Anda secara alami akan memberontak terhadap jenis "bukti" yang berantakan dan rawan kesalahan. Itulah sebabnya, untuk waktu yang sangat lama, ketika Shafi dan Silvio dan banyak lainnya mempresentasikan bukti-bukti ZK ajaib ini kepada dunia, orang-orang melawannya. Ini adalah pengetahuan terkenal dalam ilmu komputer teoretis, yang Anda bagikan dengan rekan-rekan Anda setelah pengajuan Anda yang luar biasa ke STOC atau FOCS (konferensi tingkat S) ditolak lagi. Anda akan mengatakan "tahukah Anda bahwa makalah ZK ditolak 5 kali, dan 2 rekan penulis akhirnya mendapatkan penghargaan Turing?" Saya akan mengakhiri dengan mengatakan bahwa makalah STARK ditolak 4 kali, FRI menolak dua kali. Hanya mengatakan ;-)