def prime

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/curve25519/field.bend:79

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C

79# p = 2^255 - 19
80def prime(+one: Nat) -> Nat:
81  Nat.sub(C.shift(255n, one), 19n)