def check

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

import Base

292def check(+one: Nat, +p: Nat, +d: Nat, +s: Nat, +rb: List<&2, U32>, +pk: List<&2, U32>, +msg: List<&2, U32>, ra: Maybe<&2, EPt>, aa: Maybe<&2, EPt>) -> Bool:
293  match ra aa:
294    case Some{r} Some{+a}:
295      +k = hram(one, rb, pk, msg)
296      equal(p, mul(one, p, d, s, base(p, d)), add(p, d, r, mul(one, p, d, k, a)))
297    case _ _:
298      False{}