Results 241 to 250 of about 9,266,244 (284)
Some of the next articles are maybe not open access.
SIAM Journal on Computing, 1991
This paper investigates the possibility of disposing of interaction between prover and verifier in a zero-knowledge proof if they share beforehand a short random string. Without any assumption, it is proven that noninteractive zero-knowledge proofs exist for some number-theoretic languages for which no efficient algorithm is known.
Giuseppe Persiano +2 more
exaly +4 more sources
This paper investigates the possibility of disposing of interaction between prover and verifier in a zero-knowledge proof if they share beforehand a short random string. Without any assumption, it is proven that noninteractive zero-knowledge proofs exist for some number-theoretic languages for which no efficient algorithm is known.
Giuseppe Persiano +2 more
exaly +4 more sources
Proceedings of the thirtieth annual ACM symposium on Theory of computing - STOC '98, 1998
Concurrent executions of a zero-knowledge protocol by a single prover (with one or more verifiers) may leak information and may not be zero-knowledge in toto . In this article, we study the problem of maintaining zero-knowledge.We introduce the notion of an (α, β) timing constraint : for any ...
Cynthia Dwork, Moni Naor, Amit Sahai
openaire +4 more sources
Concurrent executions of a zero-knowledge protocol by a single prover (with one or more verifiers) may leak information and may not be zero-knowledge in toto . In this article, we study the problem of maintaining zero-knowledge.We introduce the notion of an (α, β) timing constraint : for any ...
Cynthia Dwork, Moni Naor, Amit Sahai
openaire +4 more sources
Fundamenta Informaticae, 1999
We show how a standard deck of playing cards can be used to implement a secure multiparty protocol to compute any boolean function. Our contribution to previous work: no identical copies of cards are needed, and the number of necessary cards is reduced.
Valtteri Niemi, Ari Renvall
openaire +3 more sources
We show how a standard deck of playing cards can be used to implement a secure multiparty protocol to compute any boolean function. Our contribution to previous work: no identical copies of cards are needed, and the number of necessary cards is reduced.
Valtteri Niemi, Ari Renvall
openaire +3 more sources
[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 +3 more sources
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 +3 more sources
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
Subversion-Zero-Knowledge SNARKs
Lecture Notes in Computer Science, 2018Subversion zero knowledge for non-interactive proof systems demands that zero knowledge (ZK) be maintained even when the common reference string (CRS) is chosen maliciously. SNARKs are proof systems with succinct proofs, which are at the core of the cryptocurrency Zcash, whose anonymity relies on ZK-SNARKs; they are also used for ZK contingent payments
exaly +5 more sources