Chapter 4: Orders of Growth and Tree Recursion

The Verification Function

Recall that a message is its own digest, 40 digits long. Here's one: (define message 5972304273877744135569338397692020533504)

Suppose that message has been signed with the signature on the previous slide.

To verify the signature, we run verify to see that it returns the message.

     > (verify signature modulus)
     5972304273877744135569338397692020533504

Or: > (= (verify signature modulus) message) #t