Advanced Topics in Cryptography January 27 , 2004 Lecture 1 Lecturer : Jonathan Katz Scribe ( s ) : Jonathan Katz 1 Introduction to These Notes
نویسنده
چکیده
We give two definitions of trapdoor permutations. The first is completely formal, and maps well onto the (conjectured) trapdoor permutations that are used in practice. The second is slightly less formal, but is simpler to use and somewhat easier to understand. Generally speaking, however, proofs of security using the second of the two definitions can be easily modified to work for the first definition as well. (Stronger definitions of trapdoor permutations are sometimes also considered; see [1, 2] for some examples.) We begin with a syntactic definition, and then give a concrete example. Before giving the definition we introduce two pieces of notation. First is the abbreviation ppt which stands for “probabilistic, polynomial-time”. This, of course, refers to algorithms which may make random choices during their execution but which always terminate in a polynomial number of steps. This begs the following question: polynomial in what? To deal with this, we introduce the notion of a security parameter k which will be provided as input to all algorithms. For technical reasons, the security parameter is given in unary and is thus represented as 1. In some sense, as we will see, a larger value of the security parameter results in a “more secure” scheme. (Hopefully, the concrete example that follows will give some more motivation for the purpose of the security parameters.)
منابع مشابه
Advanced Topics in Cryptography April 22 , 2004 Lecture 23 Lecturer : Jonathan Katz Scribe ( s ) : Nicholas Sze
We showed previously a zero-knowledge proof system for 3-colorability. Unfortunately, to achieve negligible soundness error while maintaining zero knowledge it was required to repeat the basic, 3-round protocol sequentially polynomially-many times (giving a protocol with polynomial round complexity). Here, we show a constant-round zero-knowledge proof system for NP . We will also discuss the no...
متن کاملLecture 16 Lecturer: Jonathan Katz Scribe(s): 1 Digital Signature Schemes
• Vrfy takes as input a public key, a message, and a (purported) signature; it outputs a single bit b with b = 1 indicating acceptance and b = 0 indicating rejection. (We assume for simplicity that Vrfy is deterministic.) We write this as b = Vrfypk(m,σ). For correctness, we require that for all (pk, sk) output by Gen(1k), for all messages m, and for all σ output by Signsk(m) we have Vrfypk(m,σ...
متن کاملLecturer : Jonathan Katz Scribe ( s ) : Nikolai Yakovenko Jeffrey
In a previous lecture, we showed a zero-knowledge (ZK) proof system for the language of graph isomorphism. Our goal here is to show a ZK proof system for any language inNP . To do so, it suffices to show a ZK proof system Π for any NP-complete language L (note that graph isomorphism is not believed to be NP-complete); given such a Π and any L ′ ∈ NP , we then obtain a ZK proof for L by (1) redu...
متن کاملAdvanced Topics in Cryptography April 29 , 2004 Lecture 25 Lecturer : Jonathan
In this lecture, we discuss concrete applications of zero-knowledge proof systems to the task of constructing (public-key 1) identification schemes. We begin with an informal definition of what these are. Definition 1 A (public-key) identification scheme consists of a prover P who has generated some public-/private-key pair (P K, SK), and wants to prove his identity to a verifier V who knows P ...
متن کامل1 Administrative Notes For those keeping track : the instructor of “ Advanced Cryptography ” is
By a somewhat democratic process, it was established that the graded work for the course will be two-fold: scribe notes (such that the participants and the instructor emerge with a relatively complete set of lecture notes) and homework exercises (probably three sets of challenging-butnot-life-threatening problems, such that everybody gets some practice solving problems and the instructor may om...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004