def consts
import bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point.bend as Pointimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as F
59# the curve constants, computed (xs is any input, see lit)
60def consts(+xs: List<&2, U32>) -> Cs:
61 cs_of(F.mul(F.neg(lit(xs, c121665())), F.inv(lit(xs, c121666()))), xs)
Uses (10)
Used by (15)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec:r_d
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec:r_sqm1
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/ed25519:public_key
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/ed25519:sign_raw
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec:r_d2
- …