def check

bend-collections@1.0.0.0 · src/crypto/ed25519/ed25519.bend:55

import Base
import bend-collections@1.0.0.0/src/crypto/ed25519/point.bend as PT

55def check(+c: PT.Cs, +sb: List<&2, U32>, +rb: List<&2, U32>, +pk: List<&2, U32>, +msg: List<&2, U32>, ra: Maybe<&2, PT.Pt>, aa: Maybe<&2, PT.Pt>) -> Bool:
56  match ra aa:
57    case Some{r} Some{+a}:
58      +k = hram(rb, pk, msg)
59      +b = PT.base(c, pk)
60      PT.equal(PT.mul(c, sb, b), PT.add(c, r, PT.mul(c, k, a)))
61    case _ _:
62      False{}