package nocrypto

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

nocrypto
- Nocrypto
  - Base64
  - Cipher_block
    
    AES
    
    CBC
    
    CCM
    
    CTR
    
    ECB
    
    GCM
    
    Counter
    
    DES
    
    CBC
    
    CTR
    
    ECB
    
    S
    
    CBC
    
    CCM
    
    CTR
    
    Core
    
    ECB
    
    GCM
  - Cipher_stream
    
    ARC4
    
    S
  - Dh
    
    Group
  - Dsa
    
    K_gen
    
    H
  - Hash
    
    MD5
    
    S
    
    SHA1
    
    SHA224
    
    SHA256
    
    SHA384
    
    SHA512
  - Numeric
    
    Int
    
    Int32
    
    Int64
    
    S
    
    Z
  - Rng
    
    Generators
    
    Fortuna
    
    Hmac_drgb
    
    Make
    
    H
    
    Null
    
    Int
    
    Int32
    
    Int64
    
    Make_N
    
    N
    
    S
    
    Generator
    
    N
    
    Z
  - Rsa
    
    OAEP
    
    H
    
    PKCS1
    
    PSS
    
    H
nocrypto.lwt
- Nocrypto_entropy_lwt
nocrypto.unix
- Nocrypto_entropy_unix

Legend:
Library
Module
Module type
Parameter
Class
Class type

PSS-based signing, as defined by PKCS #1 v2.1.

The same hash function is used for padding, MGF and computing message digest. MGF is MGF1 as defined in PKCS #1 2.1.

Keys must have a minimum of 2 + hlen + slen bytes, where hlen is the hash length and slen is the seed length.

Parameters

module H : Hash.S

Signature

val sign : ?g:Rng.g -> ?slen:int -> key:priv -> Cstruct.t -> Cstruct.t

sign ~g ~slen ~key message the p PSS-padded digest of message, signed with the key. slen is the optional seed length and default to the size of the underlying hash function.

raises Insufficient_key
(see Insufficient_key)

val verify : ?slen:int -> key:pub -> signature:Cstruct.t -> Cstruct.t -> bool

verify ~slen ~key ~signature message checks whether signature is a valid PSS signature of the message under the given key.