def rhs

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

import Base
import bend-collections@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)