On the eCK Security of MQV-Style LWE-Based Authenticated Key Exchange | AIChainDay