Revision 01, added notation section, and specified masking pubkey high bit.