Zero-Knowledge Proofs (ZKPs) are cryptographic primitives allowing a party to prove to
another party that the former knows some information while keeping it secret. Such a …

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 …

Developers building cryptography into security-sensitive applications face a daunting task.
Not only must they understand the security guarantees delivered by the constructions they …

Zero-knowledge proofs, introduced by Goldwasser, Micali, and Rackoff, are a fundamental
building block in theoretical cryptography with numerous applications. Still, the impact of …

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 …

A zero-knowledge proof (ZKP) is a powerful cryptographic primitive used in many
decentralized or privacy-focused applications. However, the high overhead of ZKPs can …

Commit-and-Prove Zero-Knowledge Proof systems (CP-ZKPs)[Kil89, CLOS02] generalize
zero-knowledge proofs where we prove statements about values that are committed. In this …

Zero-Knowledge (ZK) proofs were introduced in the seminal work of Goldwasser, Micali, and
Rackoff (STOC 1985) and remain one of the cornerstones of modern cryptography. With the …

Dubhe: Succinct Zero-Knowledge Proofs for Standard AES and related Applications Page 1
This paper is included in the Proceedings of the 32nd USENIX Security Symposium. August …

Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many
practical cryptographic applications such as identification schemes, group signatures, and …