def minv

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/field.bend:62

import 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))