~/jendhub

def order

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

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

41def order(+one: Nat) -> Nat:
42  Nat.sub(w256(one), cn(one))

Uses (4)

Used by (93)