rend-spec-ng: Link to Nick Hopper's proof of the keyblinding scheme.