equal
deleted
inserted
replaced
30 Slides: & KEATS (also homework is there)\\ |
30 Slides: & KEATS (also homework is there)\\ |
31 \end{tabular} |
31 \end{tabular} |
32 \end{center} |
32 \end{center} |
33 |
33 |
34 \end{frame} |
34 \end{frame} |
35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
36 |
36 |
37 |
37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
38 |
38 \begin{frame}[c] |
39 |
39 \frametitle{Problems with Car Keys} |
40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
40 |
41 \mode<presentation>{ |
41 \begin{center} |
|
42 \includegraphics[scale=0.4]{../pics/car-standard.jpg} |
|
43 \end{center} |
|
44 |
|
45 \end{frame} |
|
46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
47 |
|
48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
42 \begin{frame}[t] |
49 \begin{frame}[t] |
43 \frametitle{Checking Solutions} |
50 \frametitle{Checking Solutions} |
44 |
51 |
45 How can you check somebody's solution without revealing the solution?\pause\bigskip |
52 How can you check somebody's solution without revealing the solution?\pause\bigskip |
46 |
53 |
70 |
77 |
71 \only<7->{ |
78 \only<7->{ |
72 this is essentially a hash function...but Bob can only check once he has also found the solution |
79 this is essentially a hash function...but Bob can only check once he has also found the solution |
73 } |
80 } |
74 |
81 |
75 \end{frame}} |
82 \end{frame} |
76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
83 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
77 |
84 |
78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
79 \mode<presentation>{ |
|
80 \begin{frame}[c] |
86 \begin{frame}[c] |
81 \frametitle{Zero-Knowledge Proofs} |
87 \frametitle{Zero-Knowledge Proofs} |
82 |
88 |
83 Two remarkable properties of \alert{Zero-Knowledge Proofs}:\bigskip |
89 Two remarkable properties of \alert{Zero-Knowledge Proofs}:\bigskip |
84 |
90 |
87 she can convince Bob that she knows the secret).\bigskip |
93 she can convince Bob that she knows the secret).\bigskip |
88 \item Having been convinced, Bob cannot use the evidence in order to convince Carol |
94 \item Having been convinced, Bob cannot use the evidence in order to convince Carol |
89 that Alice knows the secret. |
95 that Alice knows the secret. |
90 \end{itemize} |
96 \end{itemize} |
91 |
97 |
92 \end{frame}} |
98 \end{frame} |
93 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
99 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
94 |
100 |
95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
101 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
96 \mode<presentation>{ |
102 \mode<presentation>{ |
97 \begin{frame}[t] |
103 \begin{frame}[t] |