YACZK: Yet Another Compiler for Zero-Knowledge (Poster Abstract)
Endre Bangerter, Stephan Krenn, Ahmad‐Reza Sadeghi, Thomas H. Schneider · 2010
Abstract. Automatic generation of cryptographic protocols is an emerging field of research which aims to bring complex protocols into practice. In this work we discuss the desired properties of a compiler for automatic generation of zeroknowledge proof of knowledge (ZKPoK) protocols. We evaluate and compare existing approaches with respect to these properties: In particular, it seems to us that the authors of the paper accepted for USENIX Security 2010 (ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash) were not aware of our previous work done within the European project “Computer