def cn

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

import Base

37# 2^256 - n = 432420386565659656852420866390673177327, and n
38def cn(+one: Nat) -> Nat:
39  digits(one, [48831n, 12233n, 41331n, 16429n, 24516n, 20663n, 8985n, 17745n, 1n])