What kind of protocol was implemented? I'm guessing some flavour of RLWE-KEX?