Re: Definition of "Zero Knowledge"

[tcmay@netcom.com (Timothy C. May)]

> 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.