TUM Logo

Design and Implementation of a High-Level Toolkit for Non-Interactive Zero-Knowledge Proofs

Design and Implementation of a High-Level Toolkit for Non-Interactive Zero-Knowledge Proofs

Supervisor(s): Martin Schanzenbach
Status: finished
Topic: Others
Author: Kilian Thomas
Submission: 2018-07-16
Type of Thesis: Bachelorthesis
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching

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.