In the current context, the best reference that I know of is to the methodology of Goedel's Theorem rather than to ZPT; it has each of the properties that I mentioned except for the ZPT operations, which can be added in a conceptually straightforward way. The most readable in depth treatment of that that I know of is "Goedel's Proof" by Ernest Nagel and James R. Newman, c. 1958 and still in print as a cheap paperback.
If someone has good ZPT references that would be interesting too; I've lost the stuff I used to have on that. Doug
Doug, I am not aware that the zero knowledge results of Goldwasser, Micali, Rackoff, etc., circa 1984-5, are actually implied by Godel's results of the 1930s. I'd be very intrigued to hear more about this. -Tim May -- .......................................................................... Timothy C. May | Crypto Anarchy: encryption, digital money, tcmay@netcom.com | anonymous networks, digital pseudonyms, zero 408-688-5409 | knowledge, reputations, information markets, W.A.S.T.E.: Aptos, CA | black markets, collapse of governments. Higher Power: 2^756839 | Public Key: PGP and MailSafe available. Note: I put time and money into writing this posting. I hope you enjoy it.