def cp

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

import Base

30# 2^256 - p = 2^32 + 977, and p
31def cp(+one: Nat) -> Nat:
32  digits(one, [977n, 0n, 1n])

Uses (3)