ZK-SNARK

ZK-SNARK, kependekan dari Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, adalah teknik kriptografi yang digunakan untuk membuktikan kepemilikan informasi tertentu tanpa mengungkapkan informasi itu sendiri. Dalam konteks mata uang kripto seperti Ethereum, ZK-SNARK digunakan untuk keperluan privasi dan skalabilitas.

Berikut ini penjelasan tentang arti setiap bagian dari istilah tersebut.

Zero-Knowledge: Artinya, salah satu pihak (prover) dapat membuktikan kepada pihak lainnya (verifikator) bahwa ia mengetahui informasi tertentu tanpa mengungkapkan informasi yang sebenarnya. Dengan kata lain, prover (pemberi bukti) dapat meyakinkan pemverifikasi (verifikator) bahwa suatu pernyataan benar adanya tanpa mengungkapkan informasi tambahan apa pun selain fakta bahwa pernyataan tersebut memang benar.

Succinct: Artinya, bukti yang ringkas dan mudah diverifikasi. Meskipun melibatkan penghitungan yang rumit, bukti dapat diverifikasi dengan cepat tanpa perlu mengulang penghitungan tersebut.

Non-Interactive: Dalam bukti noninteraktif, prover membuat bukti satu kali dan verifikator dapat memeriksanya tanpa perlu berinteraksi lebih lanjut dengan prover. Hal ini penting untuk efisiensi dan skalabilitas dalam sistem blockchain.

Argument of Knowledge: Ini berarti bukti tidak hanya menunjukkan bahwa suatu pernyataan benar adanya, tetapi prover juga mengetahui mengapa pernyataan tersebut benar (misalnya ia memiliki informasi atau rahasia yang diperlukan).

ZK-SNARK sangat bermanfaat dalam teknologi blockchain karena memungkinkan transaksi atau kontrak pintar diverifikasi tanpa mengungkapkan detailnya. Ukuran bukti yang kecil dan verifikasi waktu yang konstan memastikan kecepatan autentikasi yang konsisten, terlepas dari rumitnya pernyataan yang dibuktikan. ZK-SNARK meningkatkan privasi pada blockchain dengan tetap menjaga integritas dan keamanan.