def aff_z

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as FS

166def aff_z(+p: Nat, +x: Nat, +y: Nat, +zi: Nat) -> SAffine:
167  SAffine{FS.mmul(p, x, zi), FS.mmul(p, y, zi)}