package mirage-crypto-pk

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Public-key cryptography

mirage-crypto-pk
- Mirage_crypto_pk
  - Dh
    
    Group
  - Dsa
    
    K_gen
    
    H
  - Rsa
    
    OAEP
    
    H
    
    PKCS1
    
    PSS
    
    H
  - Z_extra

Legend:
Library
Module
Module type
Parameter
Class
Class type

Public-key cryptography

Public and private key types are private, the constructors validate their well-formedness as much as possible, esp. so that powm_sec will not raise an exception (exponent > 1, or odd modulus). All modular exponentiations (unless otherwise noted) use the Z.powm_sec function, which uses a static access pattern and operates in constant time (of the bit size of the input), independent of which bits are set and not set. The performance is up to 20% worse than powm. Additionally, blinding is applied to RSA and DSA by default.

type bits = int

module Rsa : sig ... end

RSA public-key cryptography algorithm.

module Dsa : sig ... end

DSA digital signature algorithm.

module Dh : sig ... end

Diffie-Hellman, MODP version.

module Z_extra : sig ... end

Z Convert Z to big endian Cstruct.t and generate random Z values.