Witness-indistinguishable proof
- Witness-indistinguishable proof
A witness-indistinguishable proof (WIP) is a variant of a zero-knowledge proof for languages in NP. In a typical zero-knowledge proof of a statement, the prover will use a witness for the statement as input to the protocol, and the verifier will learn nothing other than the truth of the statement. In a WIP, this zero-knowledge condition is weakened, and the only guarantee is that the verifier will not be able to distinguish between provers that use different witnesses. In particular, the protocol may leak information about the set of all witnesses, or even leak the witness that was used when there is only one possible witness.
Witness-indistinguishable proof systems were first introduced by Feige and Shamir [Uriel Feige, Adi Shamir. [http://doi.acm.org/10.1145/100216.100272 Witness Indistinguishable and Witness Hiding Protocols] . In "Proceedings of 22nd STOC", p.416-426. ACM Press, 1990.] . Unlike zero-knowledge proofs, they remain secure when multiple proofs are being performed concurrently.
References
Wikimedia Foundation.
2010.
Look at other dictionaries:
Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… … Wikipedia
biblical literature — Introduction four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha. The Old… … Universalium
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
General Councils — General Councils † Catholic Encyclopedia ► General Councils This subject will be treated under the following heads: ♦ Definition ♦ Classification ♦ Historical Sketch ♦ The Pope and General Councils ♦ Composition of … Catholic encyclopedia
ANTISEMITISM — ANTISEMITISM, a term coined in 1879, from the Greek ἁντί = anti, and Σημ = Semite by the German agitator wilhelm marr to designate the then current anti Jewish campaigns in Europe. Antisemitism soon came into general use as a term denoting all… … Encyclopedia of Judaism
Intelligent design — This article is about intelligent design as promulgated by the Discovery Institute. For other uses, see Intelligent design (disambiguation). For the philosophical argument from design , see Teleological argument … Wikipedia
Jury — A jury a sworn body of persons convened to render a rational, impartial verdict (a finding of fact on a question) officially submitted to them by a court, or to set a penalty or judgment. A trial in which a jury decides the verdict is known as a… … Wikipedia
Agnosticism — Certainty series Agnosticism Belief Certainty Doubt Determinism Epistemology Estimation Fallibilism … Wikipedia
ART — This article is arranged according to the following outline: Antiquity to 1800 INTRODUCTION: JEWISH ATTITUDE TO ART biblical period the sanctuary and first temple period second temple period after the fall of jerusalem relation to early christian … Encyclopedia of Judaism
KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… … Encyclopedia of Judaism
