~/jendhub

def rhs

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:182

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as FS

182# x^3 + 7
183def rhs(+p: Nat, +x: Nat) -> Nat:
184  FS.madd(p, FS.mmul(p, FS.mmul(p, x, x), x), 7n)

Uses (3)

Used by (6)