digilib@itb.ac.id +62 812 2508 8800

ABSTRAK ARYASUTA NAYOTTAMA
PUBLIC Dwi Ary Fuziastuti

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.