Description
Abstract
=======
Zero-knowledge protocols allow a prover to prove to a verifier that a given statement is true without disclosing any further information. Applications of zero-knowledge protocols include ensuring the privacy of attribute-based credentials in Identity and Access Management and transaction privacy in blockchains.
In this thesis, we collect and discuss state of the art zero-knowledge protocols and variants.
Further, we deep-dive into the "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge" (zkSNARK) approach. The main innovation of zkSNARKs are that they can be used non-interactively and are particularly useful whenever prover and verifier cannot interact directly with each other.
|
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching