Sekarang ini ramai diperbincangkan mengenai cryptocurrency terutama bitcoin.
Cryptocurrency sendiri adalah mata uang digital yang diamankan dengan menggunakan
kriptografi. Bitcoin dan zcash adalah salah satu dari sekian banyak mata
uang digital tersebut. Tetapi transaksi bitcoin tidak menyembunyikan data mengenai
transaksi yang dilakukan. Berbeda dengan zcash, dimana data transaksi dapat
disembunyikan. Zcash melakukan ini dengan menggunakan zero knowledge proof.
Zero knowledge proof adalah metode yang digunakan untuk memverifikasi
apakah seseorang mengetahui suatu informasi tanpa memberitahu informasi tersebut.
Bahasan pertama dalam tugas akhir ini adalah teori dasar yang digunakan dalam
zk-SNARKs. Zk-SNARKs adalah salah satu protokol peningkatan dari zero
knowledge proof, dimana proses verifikasi berlangsung singkat dan hanya terjadi
satu interaksi. Dalam prosesnya, zk-SNARKs menggunakanlapangan hingga,
pemetaan bilinear, dan interpolasi Lagrange.
Bahasan kedua adalah kurva eliptik dan zk-SNARKs sendiri. Selain itu, skema
dan juga algoritma dari zk-SNARKs akan dijelaskan, beserta contohnya. Di tugas
akhir ini juga akan dijelaskan mengenai zero knowledge proof beserta contoh sederhananya.