Revisiting a Proof of Security for the SM2 Key Exchange Protocol | Synapse