diff -r 942205605c30 -r 34a8f73b2c94 handouts/ho06.tex --- a/handouts/ho06.tex Tue Dec 30 21:59:47 2014 +0000 +++ b/handouts/ho06.tex Wed Dec 31 01:49:20 2014 +0000 @@ -2,6 +2,7 @@ \usepackage{../style} \begin{document} +\fnote{\copyright{} Christian Urban, 2014} \section*{Handout 6 (Zero-Knowledge Proofs)} @@ -379,9 +380,13 @@ \subsubsection*{Using Modular Arithmetic for ZKP Protocols} -Another NP-problem is to calculate discrete logarithms. It can -be used by choosing public numbers $A$, $B$, $p$, and private -$x$ such that +While information can be encoded into graph isomorphisms, it +is not the most convenient carrier of information. Clearly it +is much easier to encode information into numbers. Let us look +at zero-knowledge proofs that use numbers as secrets. For this +the underlying NP-problem is to calculate discrete logarithms. +It can be used by choosing public numbers $A$, $B$, $p$, and +private $x$ such that \begin{center} $A^x \equiv B\; mod\; p$ @@ -406,6 +411,11 @@ http://zk-ssh.cms.ac/docs/Zero_Knowledge_Prinzipien.pdf http://www.wisdom.weizmann.ac.il/~oded/PS/zk-tut02v4.ps +socialist millionares problem +http://en.wikipedia.org/wiki/Socialist_millionaire +http://twistedoakstudios.com/blog/Post3724_explain-it-like-im-five-the-socialist-millionaire-problem-and-secure-multi-party-computation + + %%% Local Variables: %%% mode: latex %%% TeX-master: t