[PDF][PDF] On the design and implementation of efficient zero-knowledge proofs of knowledge
E Bangerter, S Krenn, AR Sadeghi… - … for Encryption and …, 2009 - encrypto.de
Zero-knowledge proofs of knowledge (ZK-PoK) play an important role in many cryptographic
applications. Direct anonymous attestation (DAA) and the identity mixer anonymous …
applications. Direct anonymous attestation (DAA) and the identity mixer anonymous …
Bringing zero-knowledge proofs of knowledge to practice
E Bangerter, S Barzan, S Krenn, AR Sadeghi… - Security Protocols XVII …, 2013 - Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many
practical cryptographic applications such as identification schemes, group signatures, and …
practical cryptographic applications such as identification schemes, group signatures, and …
Automatic generation of sound zero-knowledge protocols
E Bangerter, J Camenisch, S Krenn… - Cryptology ePrint …, 2008 - eprint.iacr.org
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many
practical cryptographic applications such as identification schemes, group signatures, and …
practical cryptographic applications such as identification schemes, group signatures, and …
A certifying compiler for zero-knowledge proofs of knowledge based on σ-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 …
cryptographic applications. Although ZK-PoK have a high potential impact, their real world …
Automatic generation of sigma-protocols
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many
cryptographic applications such as identification schemes, group signatures, and secure …
cryptographic applications such as identification schemes, group signatures, and secure …
[PDF][PDF] {ZKPDL}: A {Language-Based} system for efficient {Zero-Knowledge} proofs and electronic cash
In recent years, many advances have been made in cryptography, as well as in the
performance of communication networks and processors. As a result, many advanced …
performance of communication networks and processors. As a result, many advanced …
Do You Need a Zero Knowledge Proof?
Abstract Zero-Knowledge Proofs (ZKPs), a cryptographic tool known for decades, have
gained significant attention in recent years due to advancements that have made them …
gained significant attention in recent years due to advancements that have made them …
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols
J Bacelar Almeida, M Barbosa, E Bangerter… - Proceedings of the …, 2012 - dl.acm.org
Developers building cryptography into security-sensitive applications face a daunting task.
Not only must they understand the security guarantees delivered by the constructions they …
Not only must they understand the security guarantees delivered by the constructions they …
Efficient zero-knowledge proofs and their applications
A Cerulli - 2019 - discovery.ucl.ac.uk
A zero-knowledge proof is a fundamental cryptographic primitive that enables the
verification of statements without revealing unnecessary information. Zero-knowledge proofs …
verification of statements without revealing unnecessary information. Zero-knowledge proofs …
Compressing Proofs of k-Out-Of-n Partial Knowledge
In a proof of partial knowledge, introduced by Cramer, Damgård and Schoenmakers
(CRYPTO 1994), a prover knowing witnesses for some k-subset of n given public statements …
(CRYPTO 1994), a prover knowing witnesses for some k-subset of n given public statements …