def public_key
import bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/ed25519.bend as Ed25519import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as H
import bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point.bend as PT
40# A = [s]B, encoded
41def public_key(+seed: List<&2, U32>) -> List<&2, U32>:
42 public_of(PT.consts(seed), seed, H.sha512(seed))