def minv
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
62# a^(m - 2): for a prime m the inverse of a nonzero a (Fermat); 0 for 0
63def minv(+m: Nat, a: Nat) -> Nat:
64 mpow(m, a, Nat.sub(m, 2n))
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
62# a^(m - 2): for a prime m the inverse of a nonzero a (Fermat); 0 for 0
63def minv(+m: Nat, a: Nat) -> Nat:
64 mpow(m, a, Nat.sub(m, 2n))