def inv
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
106# a^(p - 2): the inverse of a nonzero a, 0 for 0
107def inv(+a: List<&2, Nat>) -> List<&2, Nat>:
108 pow(a, inv_bits(), one())
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
106# a^(p - 2): the inverse of a nonzero a, 0 for 0
107def inv(+a: List<&2, Nat>) -> List<&2, Nat>:
108 pow(a, inv_bits(), one())