Mari kita jelaskan ZK: 📚 ZK adalah singkatan dari Zero Knowledge dan membuka 2 kekuatan super: Privasi dan Skala. ZK dekat dengan hati saya, baik sebagai salah satu penemu ZK-STARK dan sebagai salah satu pendiri 2 proyek ZK: @Zcash (berfokus pada privasi) dan @StarkWareLtd (berfokus pada skala dan sekarang privasi)

@Zcash @StarkWareLtd Bagaimana cara kerja ZK? Ada dua jenis entitas: Pembuktian dan Pemverifikasi Pemprobin melakukan pekerjaan berat: - Mendaftarkan data dari semua txs - Memproses data - Memperbarui status sistem (artinya saldo setelah semua txs) - Menghasilkan pembaruan status dan bukti

@Zcash @StarkWareLtd Pernyataan khas dari Prover mengatakan "Saya, Prover, telah memulai dengan keadaan A, memproses 1.000.000 txs, dan berdasarkan itu, mencapai negara bagian B". Bukti adalah urutan angka dan hash yang dapat diperiksa untuk membuktikan integritas seluruh pernyataan.

@Zcash @StarkWareLtd Verifier (yang biasanya berada di rantai) memeriksa bukti, menggunakan matematika dan kriptografi untuk memeriksa apakah pernyataan tersebut benar sebelum diterima. Teorema yang telah kami buktikan selama bertahun-tahun mengatakan bahwa Verifier selalu menerima pernyataan yang benar dan tidak pernah menerima pernyataan yang salah.

@Zcash @StarkWareLtd Seorang Pemprobin jahat yang mungkin mencoba meyakinkan Verifier untuk menerima pernyataan palsu harus melakukan pekerjaan yang sama dengan menemukan tabrakan dalam fungsi hash kriptografi, yang tidak dapat dilakukan sebelum Matahari kita mendingin.

@Zcash @StarkWareLtd Mengapa ZK bagus untuk Privasi? Verifikator tidak memeriksa kebenaran pernyataan dengan memproses data yang dibuktikannya. Itu sebabnya data dapat diverifikasi sebagai valid sementara disembunyikan dari Verifier.

@Zcash @StarkWareLtd Mengapa ZK bagus untuk skala? Verifier tidak perlu melakukan ulang perhitungan yang dilakukan Prover. Pembuktian dapat memproses 1 juta tx, tetapi Verifier tidak perlu mengulanginya untuk memverifikasi kebenaran semua tx ini. Memeriksa bukti akan cukup untuk memastikan validitasnya.