def pk_of

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:149

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV

149def pk_of(+one: Nat, compressed: Bool, +q: CV.SPoint) -> List<&2, U32>:
150  match compressed:
151    case True{}: CV.encode_compressed(p(one), q)
152    case False{}: CV.encode_uncompressed(p(one), q)