IMPLEMENTING AUDITABILITY WITH NON-INTERACTIVE ZERO KNOWLEDGE PROOFS

Auditability or verifiability is an important requirement of every transaction processing information system. Implementing auditability while preserving privacy is of particular interest for information systems such as identity management, electronic voting, or cloud computing. This could be achieved by using zero knowledge proofs. Zero knowledge proofs are cryptographic methods used to verify correct participation in a distributed protocol without revealing any additional information. This paper gives an overview of zero knowledge proofs focusing on the most recent development and the implementation of the non-interactive type.