Elligator implemented per circuit (need to put example server public key in)