Perkembangan, aplikasi, dan prinsip dasar zk-SNARKs
Satu, Sejarah Perkembangan zk-SNARKs
Konsep modern dari sistem zero-knowledge proof dapat ditelusuri kembali ke tahun 1985. Saat itu, Goldwasser, Micali, dan Rackoff bekerja sama untuk mengajukan sebuah konsep inovatif, yaitu untuk membuktikan kebenaran suatu pernyataan dalam sistem interaktif melalui pertukaran informasi yang minimal. Pemikiran ini secara resmi diterbitkan pada tahun 1989, yang menjadi dasar teori dari zero-knowledge proof.
Sistem zk-SNARKs awal memiliki keterbatasan dalam hal kegunaan, terutama masih berada di tingkat teori. Hingga sepuluh tahun terakhir, seiring dengan munculnya kriptografi di bidang cryptocurrency, zk-SNARKs benar-benar muncul ke permukaan dan menjadi arah penelitian yang penting. Di antara itu, mengembangkan protokol zk-SNARKs yang umum, non-interaktif, dan dengan ukuran bukti yang terbatas adalah tujuan inti.
Terobosan besar dalam zk-SNARKs terjadi pada tahun 2010, Groth menerbitkan