def encode

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C

127# 32 bytes, written 2^5 one (one == 1): the byte count stays symbolic, so the
128# checker never expands an encoding (and the SHA-512 over it) into bytes
129def encode(+one: Nat, +p: Nat, a: EPt) -> List<&2, U32>:
130  encode_n(C.shift(5n, one), p, a)