~/jendhub

def c

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/field.bend:15

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

15# 2^256 - p = 2^32 + 977
16def c() -> List<&2, Nat>:
17  [977n, 0n, 1n]

Uses (2)

Used by (16)