By Rafael Pass

ISBN-10: 9172839333

ISBN-13: 9789172839335

Show description

Read or Download Alternative Variants of Zero-Knowledge Proofs PDF

Best nonfiction_5 books

Download PDF by Steven Shapin, Simon Schaffer, Thomas Hobbes: Leviathan and the air-pump: Hobbes, Boyle, and the

. . . Steven Shapin and Simon Schaffer have ventured past usual historical past of technology or historical past of rules to supply a singular workout within the sociology of clinical wisdom. ' . . . a old examine wealthy in new interpretations and extraordinary for using assets of a sort now not hitherto absolutely exploited via scholars".

Interfacial Compatibility in Microelectronics: Moving Away - download pdf or read online

Interfaces among multiple fabrics are met all over the place in microelectronics and microsystems. so one can verify ideal operation of those hugely refined buildings, it's essential to have primary knowing of fabrics and their interactions within the procedure. during this tricky job, the “traditional” approach to trial and mistake isn't possible anymore; it takes an excessive amount of time and repeated efforts.

Extra info for Alternative Variants of Zero-Knowledge Proofs

Example text

This follows from the fact 5 In real-life protocol executions parties that do not respond withing a specified time would be “timed-out”. 2. DEFINITIONS OF THE NEW NOTIONS 45 that T (n)-simulatability only guarantees that the output of the simulator is indistinguishable from the real execution, by an on-line distinguisher (and not by an off-line distinguisher). e. a so called straight-line simulation. Towards the goal of obtaining a definition which is robust also in the concurrent setting we restrict Definition 28 to straight-line simulators: Definition 31 Let T (n) be a class of functions that is closed under composition with any polynomial.

Interactive proofs in the RO model are defined in analogy with interactive proofs in the CRS model: Definition 24 (Interactive proof in the RO model) A pair of interactive machines, (P, V ), is called an interactive proof system in the RO model, for a language L ∈ N P, if the machine V is polynomial-time and the following two conditions hold 4 The methodology of characterizing hashfunctions as random functions had, however, already been used for a long time as a heuristic and can be traced back to the Fiat-Shamir signature scheme from 1986 [31].

Guarantee security in the On-line/Off-line Model In many settings it seems reasonable to assume that parties are given a certain on-line time and a certain, longer, off-line time. Such an on-line/off-line model can be modeled by letting parties run in polynomial time while being on-line, and time T (n) off-line. A certain type of T (n)-simulatable protocols (which we call strongly T (n)simulatable protocols) have the property of being zero-knowledge in the online/off-line model. Roughly speaking, we say that an interactive proof is strongly T (n)- simulatable if it is T (n)-simulatable and the output of the simulator is indistinguishable in time T (n) from the output of the verifier in a real interaction (whereas T (n)-simulatability only requires that these distributions are polynomial-time indistinguishable).

Download PDF sample

Alternative Variants of Zero-Knowledge Proofs by Rafael Pass


by Paul
4.1

Rated 4.70 of 5 – based on 5 votes