Conex_verify.S_RSA_BACK · conex 0.11.1

Establishing trust in community repositories

Version

IN THIS PACKAGE

library conex
- module Conex
  - module Make
    
    argument 1-L
    
    module Tag
    
    argument 2-C
- module Conex_diff
- module Conex_diff_provider
- module Conex_io
- module Conex_opam_encoding
- module Conex_private
  - module type FS
  - module Make
    
    argument 1-C
    
    argument 2-F
  - module type S
  - module type S_RSA_BACK
- module Conex_repository
- module Conex_resource
  - module Delegation
  - module Digest
  - module Digest_map
  - module Expression
    
    module KS
  - module Header
  - module Key
  - module Root
  - module Signature
  - module Target
  - module Targets
  - module Wire
- module Conex_utils
  - module type LOGS
    
    module Tag
  - module M
  - module S
  - module String
  - module Tree
  - module Uint
  - module Uint_map
- module Conex_verify
  - module Make
    
    argument 1-C
  - module type S
  - module type S_RSA_BACK
library conex.openssl
- module Conex_openssl
  - module O_V
  - module V
library conex.unix
- module Conex_unix_persistency
- module Conex_unix_private_key
- module Conex_unix_provider

Module type Conex_verify . S_RSA_BACK

val verify_rsa_pss : 
  key:string ->
  data:string ->
  signature:string ->
  Conex_resource.identifier ->
  ( unit, [> error ] ) result

verify_rsa_pss ~key ~data ~signature returns Ok () on success, otherwise a verification_error. Currently, SHA256 is used as hash algorithm.

val sha256 : string -> string

sha356 str computes the SHA256 digest of str and converts it to hex.