package conex

You can search for identifiers within the package.

in-package search v0.2.0

conex
- CHANGES
- LICENSE
- README
- Library conex
  - Conex
    
    Make
  - Conex_diff
  - Conex_diff_provider
  - Conex_io
  - Conex_opam_encoding
  - Conex_private
    
    S
    
    FS
    
    S_RSA_BACK
    
    Make
  - Conex_repository
  - Conex_resource
    
    Wire
    
    Header
    
    Digest
    
    Digest_map
    
    Key
    
    Signature
    
    Expression
    
    KS
    
    Root
    
    Delegation
    
    Target
    
    Targets
  - Conex_utils
    
    S
    
    M
    
    String
    
    Uint
    
    Uint_map
    
    LOGS
    
    Tag
    
    Tree
  - Conex_verify
    
    S
    
    S_RSA_BACK
    
    Make
- Library conex.openssl
  - Conex_openssl
    
    V
    
    O_V
- Library conex.unix
- Sources
  - conex
    
    conex.ml
    
    conex_diff.ml
    
    conex_diff_provider.ml
    
    conex_io.ml
    
    conex_opam_encoding.ml
    
    conex_private.ml
    
    conex_repository.ml
    
    conex_resource.ml
    
    conex_utils.ml
    
    conex_verify.ml
  - conex.openssl
    
    conex_openssl.ml
  - conex.unix
    
    conex_unix_persistency.ml
    
    conex_unix_private_key.ml
    
    conex_unix_provider.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `Conex_verify.S_RSA_BACK`Source

The verification backend, to be implemented by a crypto provider

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.

Sourceval sha256 : string -> string

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