remarks on the point conversion between isogeny curves
sync pdf