def cn_fe
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
239# c_n = 2^256 - n and c_p = 2^256 - p as 16-limb field elements
240def cn_fe() -> List<&2, Nat>:
241 [48831n, 12233n, 41331n, 16429n, 24516n, 20663n, 8985n, 17745n, 1n, 0n, 0n, 0n, 0n, 0n, 0n, 0n]
Uses (2)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:rn_fe
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/prec:x1_r
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/prec:cn_red
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/prec:x1_v
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/rconst:cn_fe_v
- …