handouts/ho06.tex
changeset 366 34a8f73b2c94
parent 357 5b91f5ad2772
child 370 ddac52c0014c
--- 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