def cp

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

import Base

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