def rsa.pem
bend-kit-jwt@0.11.0.1 · jwt.bend:467
import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
import Base
import bend-kit-crypto@0.2.2.2/crypto.bend as Crypto
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
467def rsa.pem(p: Bytes.Bytes, input: Bytes.Bytes, sig: Bytes.Bytes) -> IO(Result<&1, &1, Err, Bool>):
468 Bytes.Bytes{+pn, pb} = p
469 Bytes.Bytes{+dn, db} = input
470 Bytes.Bytes{+sn, sb} = sig
471 do IO<Result<&1, &1, Err, Bool>>:
472 r : Result<&1, &1, U32 & String, Bool> <- Crypto.rsa.verify.words("SHA256", pn, pb, dn, db, sn, sb)
473 return crypto.ok(r)