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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Almeida, José Bacelar (author)
Outros Autores: Bangerter, Endre (author), Barbosa, Manuel (author), Krenn, Stephan (author), Sadeghi, Ahmad-Reza (author), Schneider, Thomas (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2010
Assuntos:
Zero-knowledge
Protocol compiler
Formal verification
Science & Technology
Texto completo:http://hdl.handle.net/1822/19403
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/19403

Texto Completo

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

Registos relacionados