def base

bend-collections-laws-crypto@1.0.0.0 · src/crypto/ed25519/point.bend:189

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as F

189def base(+c: Cs, +xs: List<&2, U32>) -> Pt:
190  base_of(decode(c, F.to_bytes(F.mul(lit(xs, F.small(4)), F.inv(lit(xs, F.small(5)))))))