def verify_with

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

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

64def verify_with(+c: PT.Cs, +pk: List<&2, U32>, +msg: List<&2, U32>, +rb: List<&2, U32>, +sb: List<&2, U32>, s_ok: Bool) -> Bool:
65  match s_ok:
66    case True{}:
67      check(c, sb, rb, pk, msg, PT.decode(c, rb), PT.decode(c, pk))
68    case False{}:
69      False{}