Client_keys (octez-shell-libs.Tezos_client_base.Client

Cryptographic keys tables

type pk_uri = private Uri.t

module Pk_uri_hashtbl : 
  Tezos_base.TzPervasives.Hashtbl.S with type key = pk_uri

type sk_uri = private Uri.t

type sapling_uri = private Uri.t

val uri_param : 
  ?name:string ->
  ?desc:string ->
  ('a, 'b) Tezos_clic.params ->
  (Uri.t -> 'a, 'b) Tezos_clic.params

val pk_uri_parameter : unit -> (pk_uri, 'a) Tezos_clic.parameter

val pk_uri_param : 
  ?name:string ->
  ?desc:string ->
  ('a, 'b) Tezos_clic.params ->
  (pk_uri -> 'a, 'b) Tezos_clic.params

val sk_uri_parameter : unit -> (sk_uri, 'a) Tezos_clic.parameter

val sk_uri_param : 
  ?name:string ->
  ?desc:string ->
  ('a, 'b) Tezos_clic.params ->
  (sk_uri -> 'a, 'b) Tezos_clic.params

type Tezos_base.TzPervasives.error +=

| Unregistered_key_scheme of string

type Tezos_base.TzPervasives.error +=

| Invalid_uri of Uri.t

type sapling_key = {

sk : sapling_uri;
path : int32 list;
address_index : Tezos_sapling.Core.Client.Viewing_key.index;

}

module Sapling_key : Client_aliases.Alias with type t = sapling_key

module Logging : sig ... end

Interface for external signing modules.

module type COMMON_SIGNER = sig ... end

module type SIGNER = sig ... end

type signer = (module SIGNER)

val register_signer : (module SIGNER) -> unit

register_signer signer registers first-class module signer as signer for keys with scheme (val signer : SIGNER).scheme.

val registered_signers : unit -> (string * signer) list

module type S = sig ... end

module V0 : 
  S
    with type public_key_hash := Tezos_crypto.Signature.V0.Public_key_hash.t
     and type public_key := Tezos_crypto.Signature.V0.Public_key.t
     and type secret_key := Tezos_crypto.Signature.V0.Secret_key.t
     and type watermark := Tezos_crypto.Signature.V0.watermark
     and type signature := Tezos_crypto.Signature.V0.t

module V1 : 
  S
    with type public_key_hash := Tezos_crypto.Signature.V1.Public_key_hash.t
     and type public_key := Tezos_crypto.Signature.V1.Public_key.t
     and type secret_key := Tezos_crypto.Signature.V1.Secret_key.t
     and type watermark := Tezos_crypto.Signature.V1.watermark
     and type signature := Tezos_crypto.Signature.V1.t

module V2 : 
  S
    with type public_key_hash := Tezos_crypto.Signature.V2.Public_key_hash.t
     and type public_key := Tezos_crypto.Signature.V2.Public_key.t
     and type secret_key := Tezos_crypto.Signature.V2.Secret_key.t
     and type watermark := Tezos_crypto.Signature.V2.watermark
     and type signature := Tezos_crypto.Signature.V2.t

module V_latest : 
  S
    with type public_key_hash :=
           Tezos_crypto.Signature.V_latest.Public_key_hash.t
     and type public_key := Tezos_crypto.Signature.V_latest.Public_key.t
     and type secret_key := Tezos_crypto.Signature.V_latest.Secret_key.t
     and type watermark := Tezos_crypto.Signature.V_latest.watermark
     and type signature := Tezos_crypto.Signature.V_latest.t

include module type of V_latest

module Signature_type : sig ... end

Signature_type is a small module to be included in signer to conform to the module type SIGNER instead of rewriting all type.

module Public_key_hash : 
  Client_aliases.Alias
    with type t = Tezos_crypto.Signature.V_latest.Public_key_hash.t

module Public_key : 
  Client_aliases.Alias
    with type t = pk_uri * Tezos_crypto.Signature.V_latest.Public_key.t option

module Secret_key : Client_aliases.Alias with type t = sk_uri

val import_secret_key : 
  io:Client_context.io_wallet ->
  pk_uri ->
  (Tezos_crypto.Signature.V_latest.Public_key_hash.t
   * Tezos_crypto.Signature.V_latest.Public_key.t option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val public_key : 
  pk_uri ->
  Tezos_crypto.Signature.V_latest.Public_key.t Tezos_base.TzPervasives.tzresult
    Lwt.t

val public_key_hash : 
  pk_uri ->
  (Tezos_crypto.Signature.V_latest.Public_key_hash.t
   * Tezos_crypto.Signature.V_latest.Public_key.t option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val neuterize : sk_uri -> pk_uri Tezos_base.TzPervasives.tzresult Lwt.t

val sign : 
  Client_context.wallet ->
  ?watermark:Tezos_crypto.Signature.V_latest.watermark ->
  sk_uri ->
  Tezos_base.TzPervasives.Bytes.t ->
  Tezos_crypto.Signature.V_latest.t Tezos_base.TzPervasives.tzresult Lwt.t

val append : 
  Client_context.wallet ->
  ?watermark:Tezos_crypto.Signature.V_latest.watermark ->
  sk_uri ->
  Tezos_base.TzPervasives.Bytes.t ->
  Tezos_base.TzPervasives.Bytes.t Tezos_base.TzPervasives.tzresult Lwt.t

val check : 
  ?watermark:Tezos_crypto.Signature.V_latest.watermark ->
  pk_uri ->
  Tezos_crypto.Signature.V_latest.t ->
  Tezos_base.TzPervasives.Bytes.t ->
  bool Tezos_base.TzPervasives.tzresult Lwt.t

val bls_prove_possession : 
  Client_context.wallet ->
  ?override_pk:Tezos_crypto.Signature.Bls.Public_key.t ->
  sk_uri ->
  Tezos_crypto.Signature.Bls.t Tezos_base.TzPervasives.tzresult Lwt.t

val deterministic_nonce : 
  sk_uri ->
  Tezos_base.TzPervasives.Bytes.t ->
  Tezos_base.TzPervasives.Bytes.t Tezos_base.TzPervasives.tzresult Lwt.t

val deterministic_nonce_hash : 
  sk_uri ->
  Tezos_base.TzPervasives.Bytes.t ->
  Tezos_base.TzPervasives.Bytes.t Tezos_base.TzPervasives.tzresult Lwt.t

val supports_deterministic_nonces : 
  sk_uri ->
  bool Tezos_base.TzPervasives.tzresult Lwt.t

val list_known_keys : 
  Uri.t ->
  Tezos_crypto.Signature.Public_key_hash.t list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val register_key : 
  Client_context.wallet ->
  ?force:bool ->
  (Tezos_crypto.Signature.V_latest.Public_key_hash.t * pk_uri * sk_uri) ->
  ?public_key:Tezos_crypto.Signature.V_latest.Public_key.t ->
  string ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val register_keys : 
  Client_context.wallet ->
  (string
   * Tezos_crypto.Signature.V_latest.Public_key_hash.t
   * Tezos_crypto.Signature.V_latest.Public_key.t
   * pk_uri
   * sk_uri)
    list ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Similar to repeated calls to register_key, but is more efficient. Always forces addition of new elements.

val list_keys : 
  Client_context.wallet ->
  (string
   * Tezos_crypto.Signature.V_latest.Public_key_hash.t
   * Tezos_crypto.Signature.V_latest.Public_key.t option
   * sk_uri option)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val alias_keys : 
  Client_context.wallet ->
  string ->
  (Tezos_crypto.Signature.V_latest.Public_key_hash.t
   * Tezos_crypto.Signature.V_latest.Public_key.t option
   * sk_uri option)
    option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_key : 
  Client_context.wallet ->
  Tezos_crypto.Signature.V_latest.Public_key_hash.t ->
  (string * Tezos_crypto.Signature.V_latest.Public_key.t * sk_uri)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_public_key : 
  Client_context.wallet ->
  Tezos_crypto.Signature.V_latest.Public_key_hash.t ->
  (string * Tezos_crypto.Signature.V_latest.Public_key.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_keys : 
  Client_context.wallet ->
  (string
   * Tezos_crypto.Signature.V_latest.Public_key_hash.t
   * Tezos_crypto.Signature.V_latest.Public_key.t
   * sk_uri)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val force_switch : unit -> (bool, 'ctx) Tezos_clic.arg

val string_of_sk_uri : sk_uri -> string

val sk_uri_of_string : string -> sk_uri