Review and changes from Jocelyn Fiat

This is a once because I assumed that the server chooses a private key, and then keeps it.
Would you agree with this?

How could "private_key" be a once itself?
Is it possible that "private_key" calculates the key the first time it is invoked, and later only returns the computed key?