Fix typos. Replace proof that PRPs are PRFs. Other fixes.
[doc/ips] / zk.tex
2001-10-02 mdwinitial version