[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


Carl --

You are right that using "let" and "equal" would be clearer.  I'm
happy with using them if you are.  Probably clarity is better than
compactness, as usual.  I think that those two terms are all we need
to capture the semantics of KeyNote, assuming that "let" can do
multiple assignments, and that the defined/undefined business works as
specified earlier.

Let's go ahead and use them, then...

At 03:23 PM 4/5/97 EST, Ron Rivest wrote:
>An example of a KeyNote public signature verification key is:
>	(public-key (object-hash (md5 object)) 
>	            (object-hash (rsa signature (const &03)(const &0435))))


	wouldn't it be even clearer to use:

	(public-key (let object-hash (md5 object)) 
	            (equal object-hash (rsa signature (const &03)(const &0435))))


 - Carl

|Carl M. Ellison  cme@cybercash.com   http://www.clark.net/pub/cme |
|CyberCash, Inc.                      http://www.cybercash.com/    |
|207 Grindall Street   PGP 2.6.2: 61E2DE7FCB9D7984E9C8048BA63221A2 |
|Baltimore MD 21230-4103  T:(410) 727-4288  F:(410)727-4293        |