def sign_at
bend-collections-laws-crypto@1.0.0.0 · spec/crypto/ed25519.bend:280
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as SHA
280def sign_at(+one: Nat, p: Nat, +seed: List<&2, U32>, +msg: List<&2, U32>) -> List<&2, U32>:
281 match p:
282 case 0n:
283 sign_with(one, 0n, dconst(one, 0n), SHA.sha512_bytes(seed), msg)
284 case 1n+ +q:
285 sign_with(one, 1n+q, dconst(one, 1n+q), SHA.sha512_bytes(seed), msg)