package conex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package conex

conex
- Conex
  - Make
    
    C
    
    L
    
    Tag
- Conex_crypto
  - Make_sign
    
    C
  - Make_verify
    
    C
  - SIGN
  - SIGN_BACK
  - VERIFY
  - VERIFY_BACK
- Conex_diff
- Conex_diff_provider
- Conex_io
- Conex_opam_encoding
- Conex_opam_repository_layout
- Conex_repository
- Conex_resource
  - Author
  - Authorisation
  - Digest
  - Header
  - Key
  - Package
  - Release
  - Signature
  - Team
  - Wire
- Conex_unix_persistency
- Conex_unix_private_key
- Conex_unix_provider
- Conex_utils
  - LOGS
    
    Tag
  - String
  - Uint
conex.nocrypto
- Conex_nocrypto
  - C
  - NC_S
  - NC_V
  - V

Legend:
Library
Module
Module type
Parameter
Class
Class type

Instantiation.

Parameters

module C : SIGN_BACK

Signature

val generate : 
  ?bits:int ->
  Conex_utils.Uint.t ->
  unit ->
  Conex_resource.Key.priv

generate ?bits created () generates a bits sized private key.

val pub_of_priv : 
  Conex_resource.Key.priv ->
  (Conex_resource.Key.t, string) Stdlib.result

pub_of_priv priv extracts the public key from the private.

val bits : Conex_resource.Key.t -> (int, string) Stdlib.result

bits pub returns the bit size of the public key.

val sign : 
  Conex_utils.Uint.t ->
  Conex_resource.Author.t ->
  Conex_resource.Key.priv ->
  (Conex_resource.Author.t, string) Stdlib.result

sign created author priv uses Conex_resource.Author.prep_sig to prepare author (incrementing counter, moving queued resource to signed). Conex_resource.Signature.wire is used to produce the to-be-signed data. This includes the author name, and the signature algorithm (at the moment RSA-PSS-SHA256).