def public_of

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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point.bend as PT

35# xs: an input (the seed or the public key), which keeps the proof checker
36# from computing the curve constants (see PT.lit)
37def public_of(+c: PT.Cs, +xs: List<&2, U32>, +h: List<&2, U32>) -> List<&2, U32>:
38  PT.encode(PT.mul(c, secret(h), PT.base(c, xs)))