def Crypto.JOSE.JWS.splitCompact (token : String) : Option (String × String × String)

Split a JWS compact serialization into its three parts.

Equations

• Crypto.JOSE.JWS.splitCompact token = match token.splitOn "." with | [header, payload, signature] => some (header, payload, signature) | x => none

def Crypto.JOSE.JWS.verifySignature (alg : JWSAlgorithm) (jwk : JWK) (signingInput signature : ByteArray) : IO Bool

Verify a JWS signature using the given key. Returns true if the signature is valid.

Equations

• One or more equations did not get rendered due to their size.
• Crypto.JOSE.JWS.verifySignature Crypto.JOSE.JWSAlgorithm.EdDSA jwk signingInput signature = pure false