package conex

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Conex_private.S`Source

The private key module type

Sourcetype t

The type of a private key

Sourceval ids : unit -> Conex_resource.identifier list

ids () is the list of all available private keys.

Sourcetype r_err = [

| `Decode of string
| `Read of string
| `None
| `Multiple of string list

]

Sourceval pp_r_err : r_err Conex_utils.fmt

Source

val read : 
  (float -> Conex_resource.timestamp option) ->
  Conex_resource.identifier ->
  (t, r_err) result

read id is either Ok priv, the private key corresponding to id, or an Error.

Sourceval bits : t -> int

bits t is the number of bits of the private key t.

Sourceval created : t -> Conex_resource.timestamp

created t is the timestamp when t was created.

Sourceval id : t -> Conex_resource.identifier

id t is the identifier of t.

Source

val generate : 
  ?bits:int ->
  (float -> Conex_resource.timestamp option) ->
  Conex_resource.Key.alg ->
  Conex_resource.identifier ->
  unit ->
  (t, string) result

generate ~bits alg id () generates a fresh private key using alg for id, or an error. Generate also ensures to persistently store the generated key if desired.

Sourceval pub_of_priv : t -> Conex_resource.Key.t

pub_of_priv priv extracts the public key out of priv.

Source

val sign : 
  Conex_resource.Wire.t ->
  Conex_resource.timestamp ->
  Conex_resource.identifier ->
  Conex_resource.Signature.alg ->
  t ->
  (Conex_resource.Signature.t, string) result

sign wire now id alg priv signs wire with priv using alg, and evaluates to a signature, or an error.

package conex

Module type Conex_private.SSource

Module type `Conex_private.S`Source