Dua jenis bukti tanpa pengetahuan 1⃣ Bukti tanpa pengetahuan interaktif ▰ Pertanyaan Validator (Tantangan) ▰ Pembuktikan kembali sesuai dengan tantangan ▰ Beberapa putaran bolak-balik, konfirmasi validator validator 2⃣ Bukti pengetahuan nol non-interaktif ▰ Pembuktian hanya perlu menghasilkan file (bukti) ▰ Validator dapat memverifikasi secara independen ketika mereka mendapatkannya, dan tidak perlu interaksi bolak-balik Tiga sifat bukti ZK ▰ Kelengkapan Jika proposisi itu benar, buktinya pasti akan lolos verifikasi ▰ Keandalan - Kesehatan Jika proposisi salah, tidak ada yang dapat membuat bukti palsu untuk lulus verifikasi ▰ Pengetahuan Nol - Pengetahuan Nol Verifikator tidak dapat memperoleh input rahasia dari bukti Karena sifat-sifat blockchain, pada dasarnya ini adalah bukti pengetahuan nol non-interaktif dalam aplikasi praktis. Bukti pengetahuan nol non-interaktif adalah tantangan acak sendiri dari pembuktian untuk menentukan keaslian suatu bukti. @brevis_zk Catatan Pelajaran ~