Do You Need a Zero Knowledge Proof?

J Ernstberger, S Chaliasos, L Zhou… - Cryptology ePrint …, 2024 - eprint.iacr.org
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 …

ZPiE: Zero-knowledge proofs in embedded systems

X Salleras, V Daza - Mathematics, 2021 - mdpi.com
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 …

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

JB Almeida, E Bangerter, M Barbosa, S Krenn… - … –ESORICS 2010: 15th …, 2010 - Springer
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 …

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 …

[PDF][PDF] {ZKPDL}: A {Language-Based} system for efficient {Zero-Knowledge} proofs and electronic cash

CC Erway, A Küpçü, T Hinkle… - 19th USENIX Security …, 2010 - usenix.org
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 …

zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs

J Ernstberger, S Chaliasos, G Kadianakis… - Cryptology ePrint …, 2023 - eprint.iacr.org
Abstract Zero-Knowledge Proofs (ZKPs), especially Succinct Non-interactive ARguments of
Knowledge (SNARKs), have garnered significant attention in modern cryptographic …

[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 …

Compressing Proofs of k-Out-Of-n Partial Knowledge

T Attema, R Cramer, S Fehr - Annual International Cryptology Conference, 2021 - Springer
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 …

Secure sampling of public parameters for succinct zero knowledge proofs

E Ben-Sasson, A Chiesa, M Green… - … IEEE Symposium on …, 2015 - ieeexplore.ieee.org
Non-interactive zero-knowledge proofs (NIZKs) are a powerful cryptographic tool, with
numerous potential applications. However, succinct NIZKs (eg, zk-SNARK schemes) …

Scalable zero knowledge with no trusted setup

E Ben-Sasson, I Bentov, Y Horesh… - Advances in Cryptology …, 2019 - Springer
One of the approaches to constructing zero knowledge (ZK) arguments relies on “PCP
techniques” that date back to influential works from the early 1990's Babai et al., Arora et al …