scientific article; zbMATH DE number 177820

MaRDI QIDQ4038698zbMATH OpenFDO

Authors Oded Goldreich, Hugo Krawczyk

Publication date 18 May 1993

zbMATH Keywords

sequential compositionparallel compositionblack-box simulation zero- knowledgeconstant-round Arthur-Merlin proofs

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Analysis of algorithms and problem complexity (68Q25) Cryptography (94A60)

Recommendations

• On the Composition of Zero-Knowledge Proof Systems
• scientific article; zbMATH DE number 176551
• Composition of zero-knowledge proofs with efficient provers
• scientific article; zbMATH DE number 1304087
• The knowledge tightness of parallel zero-knowledge

Cited in

(27)

• A language-dependent cryptographic primitive
• From private simultaneous messages to zero-information Arthur-Merlin protocols and back
• Continuous verifiable delay functions
• On separating proofs of knowledge from proofs of membership of languages and its application to secure identification schemes
• Non-interactive zero-knowledge proofs for composite statements
• On Monotone Formula Composition of Perfect Zero-Knowledge Languages
• An almost-constant round interactive zero-knowledge proof
• Zero knowledge in the random oracle model, revisited
• Random walks and concurrent zero-knowledge
• The knowledge tightness of parallel zero-knowledge
• On the communication complexity of zero-knowledge proofs
• On the Composition of Public-Coin Zero-Knowledge Protocols
• Composition of zero-knowledge proofs with efficient provers
• Zero Knowledge and Soundness Are Symmetric
• Constant-round perfect zero-knowledge computationally convincing protocols
• Practical proofs of knowledge without relying on theoretical proofs of membership on languages
• Mathematical problems in cryptology
• Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs
• Hybrid commitments and their applications to zero-knowledge proof systems
• From weak to strong zero-knowledge and applications
• Zero-knowledge systems from MPC-in-the-head and oblivious transfer
• Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance
• On the Composition of Zero-Knowledge Proof Systems
• Which languages have 4-round zero-knowledge proofs?
• Definitions and properties of zero-knowledge proof systems
• A uniform-complexity treatment of encryption and zero-knowledge
• Composable long-term security with rewinding

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038698)