Text this: Provably-Secure (Chinese Government) SM2 and Simplified SM2 Key Exchange Protocols