Encoding

Given a representative in extended coordinates , encoding works as follows.

  1. .

  2. (_ignored, v) = sqrt_ratio_zeta(1, u_1 * (-1 - d) * x^2).

  3. (sign check 1).

  4. .

  5. .

  6. Set s_bytes to be the canonical little-endian encoding of .