An epistemic characterization of zero knowledge

Joseph Y. Halpern, Rafael Pass, Vasumathi Raman

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula that completely characterizes zero knowledge; that is, a formula that holds iff a proof is zero knowledge. We present such a formula, and show that it does characterize zero knowledge. Moreover, we show that variants of the formula characterize variants of zero knowledge such as concurrent zero knowledge [Dwork, Naor, and Sahai 2004] and proofs of knowledge [Feige, Fiat, and Shamir 1987; Tompa and Woll 1987].

Original languageEnglish
Title of host publicationProceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09
Pages156-165
Number of pages10
DOIs
StatePublished - 2009
Externally publishedYes
Event12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09 - Pacific Grove, CA, United States
Duration: 6 Jul 20098 Jul 2009

Publication series

NameProceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09

Conference

Conference12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09
Country/TerritoryUnited States
CityPacific Grove, CA
Period6/07/098/07/09

Fingerprint

Dive into the research topics of 'An epistemic characterization of zero knowledge'. Together they form a unique fingerprint.

Cite this