def encode_compressed
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
244# compressed: 02 or 03 (the parity of y), then x
245def encode_compressed(+p: Nat, a: SPoint) -> List<&2, U32>:
246 enc_c(to_affine(p, a))