~/jendhub

def base

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/ed25519.bend:185

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as FS
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as SX

185def base(+p: Nat, +d: Nat) -> EPt:
186  base_of(decode(p, d, SX.le_bytes(32n, FS.fmul(p, 4n, FS.finv(p, 5n)))))

Uses (7)

Used by (7)