Semidirect product key exchange: The state of play | Synapse