def verify_with

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

import Base

300def verify_with(+one: Nat, +p: Nat, +d: Nat, +pk: List<&2, U32>, +msg: List<&2, U32>, +rb: List<&2, U32>, +s: Nat, s_ok: Bool) -> Bool:
301  match s_ok:
302    case True{}:
303      check(one, p, d, s, rb, pk, msg, decode(p, d, rb), decode(p, d, pk))
304    case False{}:
305      False{}