A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols

Zero-knowledge proofs of knowledge (ZK-PoK) are important building blocks for numerous cryptographic applications. Although ZK-PoK have a high potential impact, their real world deployment is typically hindered by their significant complexity compared to other (non-interactive) crypto primitives. Mo...

Full description

Bibliographic Details
Main Author: Almeida, José Bacelar (author)
Other Authors: Bangerter, Endre (author), Barbosa, Manuel (author), Krenn, Stephan (author), Sadeghi, Ahmad-Reza (author), Schneider, Thomas (author)
Format: conferencePaper
Language:eng
Published: 2010
Subjects:
Zero-knowledge
Protocol compiler
Formal verification
Science & Technology
Online Access:http://hdl.handle.net/1822/19403
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/19403

Internet

http://hdl.handle.net/1822/19403

Similar Items