From: tcmay@netcom.com (Timothy C. May)
Date: Sun, 19 Sep 93 18:15:55 PDT
To: doug@netcom.com (Doug Merritt)
Subject: Re: Definition of "Zero Knowledge"
In-Reply-To: <9309200038.AA04119@netcom.netcom.com>
Message-ID: <9309200113.AA27507@netcom5.netcom.com>
MIME-Version: 1.0
Content-Type: text/plain



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