On the Composition of Zero-Knowledge Proof Systems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 177820
- Composition of zero-knowledge proofs with efficient provers
- scientific article; zbMATH DE number 1304087
- On the Composition of Public-Coin Zero-Knowledge Protocols
- On the composition of public-coin zero-knowledge protocols
- Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs
- A framework for practical universally composable zero-knowledge protocols
- scientific article; zbMATH DE number 4191124
- Zero-knowledge proofs from secure multiparty computation
- On sequential composition of precise zero-knowledge
Cited in
(only showing first 100 items - show all)- Hybrid commitments and their applications to zero-knowledge proof systems
- An almost-constant round interactive zero-knowledge proof
- A uniform-complexity treatment of encryption and zero-knowledge
- Round-optimal fully black-box zero-knowledge arguments from one-way permutations
- Round optimal black-box ``commit-and-prove
- Random oracles and non-uniformity
- The hunting of the SNARK
- A one-round, two-prover, zero-knowledge protocol for NP
- Public-coin parallel zero-knowledge for NP
- What security can we achieve within 4 rounds?
- Which languages have 4-round fully black-box zero-knowledge arguments from one-way functions?
- Statistical Zaps and new oblivious transfer protocols
- Round-optimal black-box commit-and-prove with succinct communication
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- On the round complexity of black-box secure MPC
- Round-optimal multi-party computation with identifiable abort
- Non-black-box simulation in the fully concurrent setting, revisited
- Existence of 3-round zero-knowledge proof systems for NP
- Lower bounds for non-black-box zero knowledge
- GNUC: a new universal composability framework
- Reduction zero-knowledge
- Individual simulations
- Post-quantum resettably-sound zero knowledge
- Concurrent composition of differential privacy
- Concurrent knowledge extraction in public-key models
- An efficient statistical zero-knowledge authentication protocol for smart cards
- On the implausibility of constant-round public-coin zero-knowledge proofs
- What Security Can We Achieve Within 4 Rounds?
- On the existence of extractable one-way functions
- Two-message, oblivious evaluation of cryptographic functionalities
- The knowledge tightness of parallel zero-knowledge
- On zero-knowledge with strict polynomial-time simulation and extraction from differing-input obfuscation for circuits
- 3-message zero knowledge against human ignorance
- Unprovable security of perfect NIZK and non-interactive non-malleable commitments
- On Monotone Formula Composition of Perfect Zero-Knowledge Languages
- Composition of zero-knowledge proofs with efficient provers
- Private coins versus public coins in zero-knowledge proof systems
- On non-black-box simulation and the impossibility of approximate obfuscation
- Magic functions
- Impossibility of black-box simulation against leakage attacks
- Parallel and Concurrent Security of the HB and HB + Protocols
- Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs
- Round-optimal zero-knowledge proofs of knowledge for NP
- Possibility and Impossibility Results for Encryption and Commitment Secure under Selective Opening
- A note on constant-round zero-knowledge proofs of knowledge
- The Knowledge Complexity of Interactive Proof Systems
- scientific article; zbMATH DE number 176551 (Why is no real title available?)
- scientific article; zbMATH DE number 177820 (Why is no real title available?)
- Parallel repetition of computationally sound protocols revisited
- Which languages have 4-round zero-knowledge proofs?
- scientific article; zbMATH DE number 1304087 (Why is no real title available?)
- Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
- scientific article; zbMATH DE number 708809 (Why is no real title available?)
- scientific article; zbMATH DE number 1136088 (Why is no real title available?)
- scientific article; zbMATH DE number 1952908 (Why is no real title available?)
- Possibility and impossibility results for selective decommitments
- How to simulate it -- a tutorial on the simulation proof technique
- Weak Zero-Knowledge beyond the Black-Box Barrier
- Cryptography and cryptographic protocols
- Finding collisions in interactive protocols -- tight lower bounds on the round and communication complexities of statistically hiding commitments
- Mathematical Foundations of Computer Science 2004
- An Equivalence Between Zero Knowledge and Commitments
- The Round-Complexity of Black-Box Zero-Knowledge: A Combinatorial Characterization
- The Complexity of Zero Knowledge
- On the Composition of Public-Coin Zero-Knowledge Protocols
- On the composition of public-coin zero-knowledge protocols
- Injective trapdoor functions via derandomization: how strong is Rudich's black-box barrier?
- Injective trapdoor functions via derandomization: how strong is Rudich's black-box barrier?
- On the enumeration of minimal non-pairwise compatibility graphs
- Constructing tree decompositions of graphs with bounded gonality
- Parallel and concurrent security of the HB and \(HB^{+}\) protocols
- Long-term security and universal composability
- Optimal security for keyed hash functions: avoiding time-space tradeoffs for finding collisions
- scientific article; zbMATH DE number 7758312 (Why is no real title available?)
- Is it possible to improve Yao's XOR lemma using reductions that exploit the efficiency of their oracle?
- Round-optimal honest-majority MPC in Minicrypt and with everlasting security (extended abstract)
- Knowledge encryption and its applications to simulatable protocols with low round-complexity
- On sequential composition of precise zero-knowledge
- Public-coin 3-round zero-knowledge from learning with errors and keyless multi-collision-resistant hash
- Post-quantum insecurity from LWE
- Round-optimal black-box MPC in the plain model
- Threshold secret sharing with geometric algebras
- The round complexity of statistical MPC with optimal resiliency
- Broadcast-optimal four-round MPC in the plain model
- Universality of graph homomorphism games and the quantum coloring problem
- Strong batching for non-interactive statistical zero-knowledge
- CDS composition of multi-round protocols
- Post-quantum zero-knowledge with space-bounded simulation
- Public-coin three-round zero-knowledge from learning with errors and keyless multi-collision-resistant hash
- On the adaptive security of Free-XOR-based garbling schemes in the plain model
- Sherlock Holmes zero-knowledge protocols secure against active attackers
- Instance-hiding interactive proofs (extended abstract)
- Instance-hiding interactive proofs
- Scalable zkSNARKs for matrix computations. A generic framework for verifiable deep learning
- Four-round statistical non-malleable zero-knowledge
- The black-box simulation barrier persists in a fully quantum world
- The round complexity of proofs in the bounded quantum storage model
- Goldreich-Krawczyk revisited: a note on the zero knowledge of proofs of knowledge
- Non-interactive zero-knowledge proofs for composite statements
- Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP
This page was built for publication: On the Composition of Zero-Knowledge Proof Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4875450)
