def ell
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as FS
35def ell(+one: Nat) -> Nat:
36 FS.uvalue(one, ell_bytes())
Uses (3)
Used by (24)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/scalar3:mmL
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/scalar3:ell_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/scalar3:hvL
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519:hram
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/proof:ell_m
- …