Open AccessImplementasi Zero Knowledge Proof Menggunakan Protokol Feige Fiat Shamir Untuk Verifikasi Tiket Rahasia
Author(s) -
Willy Sudiarto Raharjo,
Dessy Sutanti
Publication year - 2016
Publication title -
ultimatics : jurnal ilmu teknik informatika/ultimatics : jurnal teknik informatika
Language(s) - English
Resource type - Journals
eISSN - 2581-186X
pISSN - 2085-4552
DOI - 10.31937/ti.v7i2.355
Subject(s) - gas meter prover , soundness , zero knowledge proof , computer science , computer security , ticket , cryptography , property (philosophy) , authentication (law) , theoretical computer science , mathematics , programming language , mathematical proof , philosophy , geometry , epistemology
Cryptography is known for it’s ability to protect confidential information, but it can also be used for other purposes. One of them is for identity verification or authentication. One of the biggest disadvantages of traditional authencation method is at the end of the session, the verifier knows about secrets which is supposed to be known only by prover. In this paper, we implemented a ZeroKnowledge Proof-based secret ticket verification system using Feige Fiat Shamir protocol. The goal of this system is to help prover identified themselves to the verifier, but also prevent the verifier to understand anything about the prover’s secret information. The system is also able to prevent ticket duplication or double-use of tickets by using an interactive proof verification method. By combining it with cryptography, not only we can achieve completeness and soundness property of Zero-Knowledge Proof, but we can also achieve information security property.
Index Terms - Feige Flat Shamir, Verification, Zero Knowledge Proof.