def enc_c

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:240

import Base

240def enc_c(a: SAffine) -> List<&2, U32>:
241  match a:
242    case SAffine{x, +y}: U32.from_nat(Nat.add(Nat.mod(y, 2n), 2n)) <> i2osp(32n, x)