#Zk-SNARK
Zk-SNARKs (Zero Knowledge Succinct Non-Interactive Argument of Knowledge) adalah teknologi kriptografi yang dikembangkan oleh kriptografer Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer dan Madars Virza di Massachusetts Institute of Technology (MIT). Ini digunakan untuk membuat transaksi yang aman dan pribadi di jaringan blockchain. Zk-SNARK adalah jenis bukti tanpa pengetahuan yang memungkinkan dua pihak membuktikan bahwa mereka memiliki informasi spesifik tanpa mengungkapkan rincian apa pun tentangnya. Hal ini menjadikannya ideal untuk digunakan dalam sistem terdistribusi di mana kepercayaan antar peserta tidak mungkin atau tidak diinginkan.
Pada intinya, Zk-SNARKs bekerja dengan menggunakan algoritma untuk menghasilkan tanda tangan digital yang disebut “bukti” dari masukan data tertentu seperti catatan transaksi dan informasi lainnya tanpa benar-benar mengungkapkan masukan tersebut. Buktinya kemudian dapat diverifikasi oleh siapa saja yang memiliki akses terhadap input data namun tanpa dapat melihat isinya. Misalnya, satu pihak dapat membuktikan bahwa mereka memiliki koin tertentu di jaringan Bitcoin tanpa harus mengungkapkan alamat mana yang berisi koin tersebut atau berapa banyak uang yang disimpan di sana. Dengan demikian, ZK Snarks menawarkan manfaat privasi yang tak tertandingi oleh metode tradisional sambil tetap memungkinkan pengguna untuk memverifikasi identitas dan keaslian satu sama lain melalui bukti mereka sendiri.
Selain fitur privasinya, ZK Snarks juga memberikan peningkatan skalabilitas dibandingkan dengan teknologi blockchain tradisional karena overhead komputasi yang rendah saat memverifikasi transaksi; hal ini memungkinkan lebih banyak transaksi per detik dibandingkan yang mungkin dilakukan pada blockchain yang hanya mengandalkan skema enkripsi kunci publik seperti RSA atau ECC. Selain itu, karena pernyataan pembuktian tidak memerlukan interaksi antara verifikator dan pembuktian selain menyediakan input data yang diperlukan – bahkan dalam jarak jauh – teknologi ini menawarkan keunggulan signifikan dibandingkan protokol interaktif seperti tanda tangan Schnorr ketika beberapa entitas memerlukan verifikasi secara bersamaan untuk mengambil keputusan konsensus mengenai blok baru di sistem buku besar seperti Hyperledger Fabric atau peningkatan protokol Casper Ethereum 2.0.
Terakhir, karena semua komponen yang diperlukan untuk menghasilkan bukti menggunakan zk SNARKS dihasilkan dari dalam sistem itu sendiri dan bukan memerlukan sumber eksternal, protokol ini dijuluki “tidak dapat dipercaya” karena pihak ketiga tidak perlu dilibatkan atau dipercaya untuk proses validasi yang melibatkan mereka. terjadi .
Secara keseluruhan, zk SNARKS mewakili kemajuan penting menuju penciptaan jaringan terdesentralisasi yang benar-benar otonom yang mampu berbagi informasi rahasia secara aman dengan tingkat efisiensi tinggi.
