def mpv

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/penc.bend:24

import Base
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
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/point.bend as PT

24def mpv(+one: Nat, m: Maybe<&2, P.Point>) -> Maybe<&2, CV.SPoint>:
25  match m:
26    case None{}: None{}
27    case Some{q}: Some{PT.pv(one, q)}