190 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
190 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
191 \mode<presentation>{ |
191 \mode<presentation>{ |
192 \begin{frame}[c] |
192 \begin{frame}[c] |
193 \frametitle{Zero-Knowledge Proofs} |
193 \frametitle{Zero-Knowledge Proofs} |
194 |
194 |
195 Two remarkable properties:\bigskip |
195 Two remarkable properties of \alert{Zero-Knowledge Proofs}:\bigskip |
196 |
196 |
197 \begin{itemize} |
197 \begin{itemize} |
198 \item Alice only reveals the fact that she knows a secret, not the secret itself.\bigskip |
198 \item Alice only reveals the fact that she knows a secret, not the secret itself (meaning |
199 \item Having been convinced, Bob cannot use the evidence in order to convince Carol. |
199 she can convince Bob that she knows the secret).\bigskip |
|
200 \item Having been convinced, Bob cannot use the evidence in order to convince Carol |
|
201 that Alice knows the secret. |
200 \end{itemize} |
202 \end{itemize} |
201 |
203 |
202 \end{frame}} |
204 \end{frame}} |
203 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
205 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
204 |
206 |
205 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
207 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
206 \mode<presentation>{ |
208 \mode<presentation>{ |
207 \begin{frame}[t] |
209 \begin{frame}[t] |
208 \frametitle{\begin{tabular}{@{}c@{}}The Idea\end{tabular}} |
210 \frametitle{\begin{tabular}{@{}c@{}}The Idea \end{tabular}} |
209 |
211 |
210 \begin{center} |
212 \begin{center} |
211 \begin{tabular}{l@{\hspace{10mm}}r} |
213 \begin{tabular}{l@{\hspace{10mm}}r} |
212 \\[-10mm] |
214 \\[-10mm] |
213 \raisebox{10mm}{\large 1.} & \includegraphics[scale=0.1]{pics/alibaba1.png}\\ |
215 \raisebox{10mm}{\large 1.} & \includegraphics[scale=0.1]{pics/alibaba1.png}\\ |
214 \raisebox{10mm}{\large 2.} & \includegraphics[scale=0.1]{pics/alibaba2.png}\\ |
216 \raisebox{10mm}{\large 2.} & \includegraphics[scale=0.1]{pics/alibaba2.png}\\ |
215 \raisebox{10mm}{\large 3.} & \includegraphics[scale=0.1]{pics/alibaba3.png} |
217 \raisebox{10mm}{\large 3.} & \includegraphics[scale=0.1]{pics/alibaba3.png} |
216 \end{tabular} |
218 \end{tabular} |
217 \end{center} |
219 \end{center} |
|
220 |
|
221 \begin{textblock}{7}(1,2.5) |
|
222 The Alibaba cave: |
|
223 \end{textblock} |
218 |
224 |
219 \small |
225 \small |
220 \only<2>{ |
226 \only<2>{ |
221 \begin{textblock}{12}(2,13.3) |
227 \begin{textblock}{12}(2,13.3) |
222 Even if Bob has a hidden camera, a recording will not be convincing to anyone else |
228 Even if Bob has a hidden camera, a recording will not be convincing to anyone else |