Zero-Knowledge Proofs
Interactive and zero-knowledge proofs
... Interactive and zero-knowledge proofs Molli Noland Follow this and additional works at: http://scholarworks.rit.edu/theses This Thesis is brought to you for free and open access by the ...
117
Zero-Knowledge Proofs for Puzzles
... most zero-knowledge proofs this is done by having the prover send to the verifier data encrypted using a chosen plain-text attack (CPA) secure encryption ...the zero-knowledge proof ...
26
Efficient Zero-Knowledge Proofs and Applications
... Abstract Zero-knowledge proofs provide a means for a prover to convince a verifier that some claim is true and nothing ...conveying zero information beyond their veracity has profound ...
203
Efficient Zero-Knowledge Proofs and their Applications
... and zero-knowledge follow from robustness and privacy properties of the MPC protocol, ...efficient zero-knowledge ...obtain zero-knowledge proofs for the satisfiability of ...
258
Round-Optimal Zero-Knowledge Proofs of Knowledge for NP
... black-box zero-knowledge proofs of knowledge for NP are non- ...black-box zero-knowledge proofs of knowledge for all NP languages under certain standard assumptions ...
12
A Note on Constant-Round Zero-Knowledge Proofs of Knowledge
... constant-round zero- knowledge proofs of knowledge works by having the prover and verifier jointly choose the verifier- query q via a type of coin tossing ...
16
A Survey of Zero-Knowledge Proofs with Applications to Cryptography
... Conclusion Zero-knowledge proofs are of considerable theoretical and practical inter- est to mathematicians and cryptographers ...The zero-knowledge proofs presented for Graph ...
12
Computational soundness of symbolic zero-knowledge proofs
... We first give a proof sketch of the theorem that covers the main ideas. The full proof is then given in Section 6. Proof sketch. To establish the theorem, it is sufficient to find an injective mapping ¯ c that maps ...
64
Composition of Zero-Knowledge Proofs with Efficient Provers
... of zero-knowledge ...input zero knowledge still seems to be the appropriate one for most ...plain zero knowledge is closed under a super-constant number of ...input zero ...
19
Improved Zero-knowledge Proofs of Knowledge for the ISIS Problem, and Applications
... log n)). We now shortly review a class of proof systems related to our work: zero-knowledge proofs of plaintext knowledge (ZKPoPK) for Regev’s LWE-based cryptosystem ([Reg05, Reg09]). All ...
14
Efficient Generic Zero-Knowledge Proofs from Commitments
... In a bit more detail, we take a similar approached to the one used in [2,6]. They use Xor operations over individually committed bits to prove statements. We employ strings in our construction, using a novel way of ...
33
Non-Interactive Zero-Knowledge Proofs of Non-Membership
... for Zero-Knowledge Proofs with Witness Elimination This issue comes from the fact that the validity of the projection key hp is nowhere verified in the generic descrip- ...
18
Efficient Delegation of Zero-Knowledge Proofs of Knowledge in a Pairing-Friendly Setting
... Shamir, zero-knowledge proofs have played a significant role in modern cryptography: they allow a party to convince another party of the validity of a statement (proof of membership) or of its ...
13
Efficient Designated-Verifier Non-Interactive Zero-Knowledge Proofs of Knowledge
... of Knowledge Pyrros Chaidos ? and Geoffroy Couteau ?? ...non-interactive zero-knowledge proofs (DVNIZK) for a wide class of algebraic languages over abelian groups, under standard ...The ...
34
Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems
... We will use the technique from [IKOS07] where it was shown how to construct zero-knowledge proofs from multiparty computation protocols. We briefly sketch the idea: Assume we have a multiparty ...
19
Adaptive Zero-Knowledge Proofs and Adaptively Secure Oblivious Transfer
... adaptive zero-knowledge proofs for all languages in N ...adaptive zero-knowledge protocols known until now used equivocal commitments (which would enable an all-powerful prover to ...
37
Which Languages Have 4-Round Zero-Knowledge Proofs?
... statistical zero-knowledge (SZK) proofs [23] where, informally, even an all- powerful cheating verifier learns nothing from its interaction with the prover; we denote the class of languages admitting ...
15
Relaxed Lattice-Based Signatures with Short Zero-Knowledge Proofs
... with zero-knowledge ...Fiat-Shamir proofs with abort, currently the most efficient zero-knowledge proofs for ...these proofs, we define corresponding notions of relaxed ...
50
A Privacy Framework for Decentralized Applications using Blockchains and Zero Knowledge Proofs
... and the EV would be the client looking to schedule charging times with the EVSP meanwhile preserving his location privacy and anonymity. First, both the EV and the EVSP will register each obtaining a private/ public key ...
75
Commitments and Efficient Zero-Knowledge Proofs from Learning Parity with Noise
... and zero-knowledge proofs are fundamental cryptographic ...efficient zero-knowledge proofs for any relation amongst committed ...
22