A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols

José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider

15th European Symposium on Research in Computer Security (ESORICS'10), September 20-22, Athens, Greece.

[pdf]

Tags: Compiler, Language, zero-knowledge