2026-09-19T05:35:18Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/355312022-01-13T07:54:29Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Silvio Micali.
Shelat, Abhi
Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
2007-01-10T16:33:48Z
2007-01-10T16:33:48Z
2005
2006
http://hdl.handle.net/1721.1/35531
72692991
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2006.
Includes bibliographical references (p. 72-76).
N a ZERO-KNOWLEDGE PROOF [GMR85], Prover interactively convinces Verifier that theorem 7r is true in such a way that (a) a corrupt Prover cannot convince Verifier of a false theorem and (b) a corrupt Verifier cannot "learn" anything other than the fact that r is true. In a NON-INTERACTIVE ZERO-KNOWLEDGE PROOF [BFM88], the Prover must do the above by sending only a single message to Verifier! To make this possible, Prover and Verifier are not tabula rasa, but rather born with some setup information. Much in the fashion of a musical TUDE, in this thesis, we explore several variations on the setup assumptions for non-interactive zero-knowledge in order to enjoy a richer understanding. Our labor brings forth * various unconditional characterizations of computational and statistical NIZK proofs, * new constructions that have practical applications to non-malleable encryption and CCAz encryption, * new constructions which form the building blocks of "fair" versions of interactive zero-knowledge and collusion-free multi-party computation protocols, * and conceptual contributions which underlie the recent works on how cryptography can be used to achieve equilibrium in game theory.
by Abhi Shelat.
Ph.D.
77 p.
3801962 bytes
3805072 bytes
application/pdf
application/pdf
eng
Massachusetts Institute of Technology
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
http://dspace.mit.edu/handle/1721.1/7582
Electrical Engineering and Computer Science.
Études in non-interactive zero-knowledge
Thesis
application/pdf
false
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="5e62b0fb-f497-4990-b3c4-e3675412c068">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>Études in non-interactive zero-knowledge</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2006</PublicationDate>
<Authors>
<Author>
<DisplayName>Shelat, Abhi</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Electrical Engineering and Computer Science.</Keyword>
<Abstract>N a ZERO-KNOWLEDGE PROOF [GMR85], Prover interactively convinces Verifier that theorem 7r is true in such a way that (a) a corrupt Prover cannot convince Verifier of a false theorem and (b) a corrupt Verifier cannot "learn" anything other than the fact that r is true. In a NON-INTERACTIVE ZERO-KNOWLEDGE PROOF [BFM88], the Prover must do the above by sending only a single message to Verifier! To make this possible, Prover and Verifier are not tabula rasa, but rather born with some setup information. Much in the fashion of a musical TUDE, in this thesis, we explore several variations on the setup assumptions for non-interactive zero-knowledge in order to enjoy a richer understanding. Our labor brings forth * various unconditional characterizations of computational and statistical NIZK proofs, * new constructions that have practical applications to non-malleable encryption and CCAz encryption, * new constructions which form the building blocks of "fair" versions of interactive zero-knowledge and collusion-free multi-party computation protocols, * and conceptual contributions which underlie the recent works on how cryptography can be used to achieve equilibrium in game theory.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>