Perhaps we should say "addresses" here and above instead of "public keys", since the receiver doesn't reveal his public key.