def pv

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/point.bend:162

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as FS
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend as P

162def pv(+one: Nat, p: P.Point) -> CV.SPoint:
163  match p:
164    case P.Point{x, y, z}: CV.SPoint{FS.value(one, x), FS.value(one, y), FS.value(one, z)}