def public_body

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

import Base

239def public_body(+one: Nat, +p: Nat, +d: Nat, +h: List<&2, U32>) -> List<&2, U32>:
240  encode(one, p, mul(one, p, d, secret(h), base(p, d)))