KeyNote

[rivest@theory.lcs.mit.edu (Ron Rivest)]

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

	Cheers,
	Ron
==============================================================================
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))))

Ron, 

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

---

• Prev by Date: No Subject
• Next by Date: KeyNote
• Prev by thread: No Subject
• Next by thread: KeyNote
• Index(es):
  • Main
  • Thread