zk-SNARK

Apa itu zk-SNARK?

Zk-SNARK adalah akronim yang merupakan singkatan dari “Argumen Pengetahuan Non-Interaktif Ringkas Tanpa Pengetahuan.” Zk-SNARK adalah bukti kriptografi yang memungkinkan satu pihak untuk membuktikan bahwa ia memiliki informasi tertentu tanpa mengungkapkan informasi tersebut. Bukti ini dimungkinkan dengan menggunakan kunci rahasia yang dibuat sebelum transaksi terjadi. Ini digunakan sebagai bagian dari protokol untuk cryptocurrency, uang tunai.

Takeaways Kunci

• Zk-SNARK adalah protokol bukti tanpa pengetahuan yang digunakan dalam enkripsi, dan merupakan akronim yang merupakan singkatan dari "Argumen Pengetahuan Non-Interaktif Ringkas Tanpa Pengetahuan".
• Bukti ini pertama kali dikembangkan dan diperkenalkan pada akhir 1980-an, dan sekarang digunakan oleh cryptocurrency Zcash untuk memecahkan masalah anonimitas yang dirasakan dengan blockchain tipe Bitcoin.
• Bukti Zk-SNARK bergantung pada pengaturan "sistem kepercayaan" awal yang telah dikritik sebagai kelemahan keamanan yang melekat.

Memahami zk-SNARK

Bagi banyak anggota asli komunitas cryptocurrency — terutama komunitas Bitcoin — privasi adalah tujuan dan fitur yang diasumsikan dari cryptocurrency. Namun, privasi selalu menjadi perhatian utama, mengingat kebutuhan cryptocurrency untuk menciptakan sistem "tanpa kepercayaan" yang menjamin integritas mata uang elektronik dan transaksi digital.

Pada awal 2010-an, Pengguna Bitcoin terkadang berasumsi bahwa transaksi mereka anonim karena identitas offline mereka tidak terkait dengan kunci publik pengguna. Namun hingga akhir dekade, upaya terkoordinasi oleh para ilmuwan data, peretas, dan penegakan hukum membuktikan bahwa tidak hanya mungkin tetapi relatif mudah untuk mengidentifikasi kembali orang-orang yang telah memberikan data pseudonim ke berbagai sumber.

Karena kurangnya privasi yang dirasakan dari beberapa cryptocurrency asli seperti Bitcoin, pengembang mulai mengerjakan koin yang berfokus pada privasi. Yang paling menonjol adalah Zcash, didukung oleh teknologi yang dikenal sebagai zk-SNARKs.

Bukti Tanpa Pengetahuan

Sebuah zk-SNARK ("argumen pengetahuan non-interaktif ringkas tanpa pengetahuan") menggunakan konsep yang dikenal sebagai "bukti tanpa pengetahuan". Gagasan di balik bukti-bukti ini pertama kali dikembangkan pada 1980-an. Sederhananya, bukti tanpa pengetahuan adalah situasi di mana masing-masing dari dua pihak dalam suatu transaksi dapat memverifikasi satu sama lain bahwa mereka memiliki serangkaian informasi tertentu, sementara pada saat yang sama tidak mengungkapkan informasi apa itu.

Untuk sebagian besar jenis bukti lainnya, setidaknya salah satu dari dua pihak harus memiliki akses ke semua informasi. Bukti tradisional dapat dibandingkan dengan kata sandi yang digunakan untuk mengakses jaringan online. Pengguna mengirimkan kata sandi, dan jaringan itu sendiri memeriksa isi kata sandi untuk memverifikasi bahwa itu benar. Untuk melakukan ini, jaringan juga harus memiliki akses ke isi kata sandi.

Versi bukti tanpa pengetahuan dari situasi ini akan melibatkan pengguna yang menunjukkan ke jaringan (melalui bukti matematis) bahwa mereka memiliki kata sandi yang benar tanpa benar-benar mengungkapkan kata sandi itu sendiri. Keuntungan privasi dan keamanan dalam situasi ini jelas:Jika jaringan tidak menyimpan kata sandi di suatu tempat untuk tujuan verifikasi, kata sandi tidak dapat dicuri.

Dasar matematika zk-SNARKS adalah kompleks. Namun, bukti jenis ini memungkinkan satu pihak untuk menunjukkan tidak hanya bahwa ada sedikit informasi tertentu, tetapi juga bahwa pihak yang bersangkutan memiliki kesadaran akan informasi tersebut. Dalam kasus Zcash, zk-SNARK dapat diverifikasi hampir seketika, dan protokol tidak memerlukan interaksi apa pun antara pembukti dan pemverifikasi.

Kritik terhadap zk-SNARKs

Ada, tentu saja, kekhawatiran terkait dengan zk-SNARKs. Contohnya, jika seseorang dapat mengakses kunci pribadi yang digunakan untuk membuat parameter protokol bukti, mereka dapat membuat bukti palsu yang tetap terlihat valid bagi pemeriksa. Ini akan memungkinkan orang tersebut untuk membuat token baru Zcash melalui proses pemalsuan. Untuk mencegah hal ini terjadi, Zcash dirancang sedemikian rupa untuk membuat protokol pembuktian rumit dan tersebar di banyak pihak.

Sementara pembangunan proses pembuktian Zcash telah diselesaikan sedemikian rupa untuk meminimalkan kemungkinan pemalsuan token melalui bukti palsu, setidaknya ada satu masalah lain yang terkait dengan cryptocurrency juga. Zcash dibuat dengan "pajak" 20% yang dikenakan pada semua blok yang dibuat selama beberapa tahun pertama token. Pajak ini dikenal sebagai "pajak pendiri, " dan digunakan untuk mengkompensasi pengembang cryptocurrency.

Para kritikus telah menyarankan bahwa para pendiri berpotensi menggunakan aspek sistem ini untuk membuat token Zcash dalam jumlah tak terbatas tanpa ada orang lain yang mengetahui keberadaan token tersebut. Untuk alasan itu, tidak sepenuhnya mungkin untuk mengetahui jumlah pasti token Zcash yang ada saat ini.

Sejak 2019, beberapa pengembang telah bekerja untuk meningkatkan zk-SNARK dengan menghapus pengaturan tepercaya. Sebuah tim bernama Suterusu telah mengembangkan sistem yang disebut zK-ConSNARK yang mengklaim dapat dioperasikan tanpa pengaturan tepercaya, dapat memberikan perlindungan privasi untuk blockchain utama seperti Bitcoin, dan memiliki inflasi terendah untuk semua cryptocurrency yang ada.