Results 221 to 230 of about 514,807 (258)
Some of the next articles are maybe not open access.
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, 1995
Summary: We improve on the communication complexity of zero-knowledge proof systems. Let \({\mathcal C}\) be a Boolean circuit of size \(n\). Previous zero-knowledge proof systems for the satisfiability of \({\mathcal C}\) require the use of \(\Omega(kn)\) bit commitments in order to achieve a probability of undetected cheating below \(2^{-k}\). In the
Joan Boyar +2 more
openaire +1 more source
Summary: We improve on the communication complexity of zero-knowledge proof systems. Let \({\mathcal C}\) be a Boolean circuit of size \(n\). Previous zero-knowledge proof systems for the satisfiability of \({\mathcal C}\) require the use of \(\Omega(kn)\) bit commitments in order to achieve a probability of undetected cheating below \(2^{-k}\). In the
Joan Boyar +2 more
openaire +1 more source
44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings., 2004
We show how a polynomial-time prover can commit to an arbitrary finite set S of strings so that, later on, he can, for any string x, reveal with a proof whether x /spl isin/ S or x /spl notin/ S, without revealing any knowledge beyond the verity of these membership assertions. Our method is non interactive.
Silvio Micali +2 more
openaire +1 more source
We show how a polynomial-time prover can commit to an arbitrary finite set S of strings so that, later on, he can, for any string x, reveal with a proof whether x /spl isin/ S or x /spl notin/ S, without revealing any knowledge beyond the verity of these membership assertions. Our method is non interactive.
Silvio Micali +2 more
openaire +1 more source
Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing, 2006
We put forward the notion of Local Zero Knowledge and provide its first implementations in a variety of settings under standard complexity assumptions.Whereas the classical notion of Zero Knowledge guarantees the secrecy only of information that is hard to compute, the new one meaningfully guarantees the secrecy of any information (in case of perfect ...
Silvio Micali, Rafael Pass
openaire +1 more source
We put forward the notion of Local Zero Knowledge and provide its first implementations in a variety of settings under standard complexity assumptions.Whereas the classical notion of Zero Knowledge guarantees the secrecy only of information that is hard to compute, the new one meaningfully guarantees the secrecy of any information (in case of perfect ...
Silvio Micali, Rafael Pass
openaire +1 more source
Mathematische Semesterberichte, 1993
Mit Zero-Knowledge Protokollen kann eine Person A eine andere davon uberzeugen, ein Geheimnis zu haben, ohne das A das Geringste davon verraten mus. Diese Protokolle sind sowohl fur die Praxis auserst wichtig (elektronische Zugangskontrolle), als auch theoretisch sehr interessant, da in ihnen nichttriviale mathematische und komplexitatstheoretische ...
Beutelspacher, Albrecht, Schwenk, Jörg
openaire +2 more sources
Mit Zero-Knowledge Protokollen kann eine Person A eine andere davon uberzeugen, ein Geheimnis zu haben, ohne das A das Geringste davon verraten mus. Diese Protokolle sind sowohl fur die Praxis auserst wichtig (elektronische Zugangskontrolle), als auch theoretisch sehr interessant, da in ihnen nichttriviale mathematische und komplexitatstheoretische ...
Beutelspacher, Albrecht, Schwenk, Jörg
openaire +2 more sources
Zero Knowledge and Circuit Minimization
Information and Computation, 2014We show that every problem in the complexity class SZK (Statistical Zero Knowledge) is efficiently reducible to the Minimum Circuit Size Problem (MCSP). In particular Graph Isomorphism lies in RPMCSP. This is the first theorem relating the computational power of Graph Isomorphism and MCSP, despite the long history these problems share, as candidate NP ...
Eric Allender, Bireswar Das
openaire +2 more sources
Zero-knowledge proofs of identity
Journal of Cryptology, 1987In this paper we extend the notion of interactive proofs of assertions to interactive proofs of knowledge. This leads to the definition of unrestricted input zero-knowledge proofs of knowledge in which the prover demonstrates possession of knowledge without revealing any computational information whatsover (not even the one bit revealed in zero ...
Uriel Feige, Amos Fiat, Adi Shamir
openaire +2 more sources
The Complexity of Perfect Zero-Knowledge
Proceeding Structure in Complexity Theory, 1987A Perfect Zero-Knowledge interactive proof system convinces a verifier that a string is in a language without revealing any additional knowledge in an information-theoretic sense. We show that for any language that has a perfect zero-knowledge proof system, its complement has a short interactive protocol.
openaire +2 more sources
The Complexity of Zero Knowledge
2007We give an informal introduction to zero-knowledge proofs, and survey their role both in the interface between complexity theory and cryptography and as objects of complexity-theoretic study in their own right.
openaire +1 more source
Games with Zero-knowledge Signaling
Studia Logica, 2007zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources