def cr.sign.check

bend-osdev-crypto@0.1.0.0 · sign.bend:38

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

38def cr.sign.check(~PK: Data, ~verify: PK -> B.Octets -> B.Octets -> Bool, r: Result<&2, &2, Cr.CrError, PK>, m: B.Octets, sig: B.Octets) -> Bool:
39  match r:
40    case Fail{e}:
41      False{}
42    case Done{pk}:
43      verify(pk, m, sig)