package tezos-sapling

  1. Overview
  2. Docs
type ask
type ak
type nsk
type nk
type ovk
type diversifier
type pkd
type nullifier
type commitment
type epk
type symkey
type sighash
type spend_sig
type hash
type cv
type rk
type spend_proof
type binding_sig
type output_proof
type ivk
type ar
type rcm
type esk
type diversifier_index
val compare_diversifier_index : diversifier_index -> diversifier_index -> int
type expanded_spending_key = {
  1. ask : ask;
  2. nsk : nsk;
  3. ovk : ovk;
}
type zip32_expanded_spending_key = {
  1. depth : Bytes.t;
  2. parent_fvk_tag : Bytes.t;
  3. child_index : Bytes.t;
  4. chain_code : Bytes.t;
  5. expsk : expanded_spending_key;
  6. dk : Bytes.t;
}
type full_viewing_key = {
  1. ak : ak;
  2. nk : nk;
  3. ovk : ovk;
}
type zip32_full_viewing_key = {
  1. depth : Bytes.t;
  2. parent_fvk_tag : Bytes.t;
  3. child_index : Bytes.t;
  4. chain_code : Bytes.t;
  5. fvk : full_viewing_key;
  6. dk : Bytes.t;
}
val to_nk : Bytes.t -> nk
val to_ak : Bytes.t -> ak
val to_ask : Bytes.t -> ask
val to_nsk : Bytes.t -> nsk
val to_pkd : Bytes.t -> pkd
val to_ovk : Bytes.t -> ovk
val to_nullifier : Bytes.t -> nullifier
val to_commitment : Bytes.t -> commitment
val to_symkey : Bytes.t -> symkey
val to_epk : Bytes.t -> epk
val to_spend_sig : Bytes.t -> spend_sig
val to_hash : Bytes.t -> hash
val to_cv : Bytes.t -> cv
val to_rk : Bytes.t -> rk
val to_spend_proof : Bytes.t -> spend_proof
val to_output_proof : Bytes.t -> output_proof
val to_sighash : Bytes.t -> sighash
val to_binding_sig : Bytes.t -> binding_sig
val to_diversifier : Bytes.t -> diversifier option
val to_diversifier_index : Bytes.t -> diversifier_index
val to_ar : Bytes.t -> ar
val to_rcm : Bytes.t -> rcm
val to_esk : Bytes.t -> esk
val to_ivk : Bytes.t -> ivk
val to_expanded_spending_key : Bytes.t -> expanded_spending_key
val to_zip32_expanded_spending_key : Bytes.t -> zip32_expanded_spending_key
val to_full_viewing_key : Bytes.t -> full_viewing_key
val to_zip32_full_viewing_key : Bytes.t -> zip32_full_viewing_key
val of_nk : nk -> Bytes.t
val of_ak : ak -> Bytes.t
val of_ask : ask -> Bytes.t
val of_nsk : nsk -> Bytes.t
val of_pkd : pkd -> Bytes.t
val of_ovk : ovk -> Bytes.t
val of_nullifier : nullifier -> Bytes.t
val of_commitment : commitment -> Bytes.t
val of_symkey : symkey -> Bytes.t
val of_epk : epk -> Bytes.t
val of_spend_sig : spend_sig -> Bytes.t
val of_hash : hash -> Bytes.t
val of_cv : cv -> Bytes.t
val of_rk : rk -> Bytes.t
val of_spend_proof : spend_proof -> Bytes.t
val of_output_proof : output_proof -> Bytes.t
val of_sighash : sighash -> Bytes.t
val of_binding_sig : binding_sig -> Bytes.t
val of_diversifier : diversifier -> Bytes.t
val of_diversifier_index : diversifier_index -> Bytes.t
val of_ar : ar -> Bytes.t
val of_rcm : rcm -> Bytes.t
val of_esk : esk -> Bytes.t
val of_ivk : ivk -> Bytes.t
val of_expanded_spending_key : expanded_spending_key -> Bytes.t
val of_zip32_expanded_spending_key : zip32_expanded_spending_key -> Bytes.t
val of_full_viewing_key : full_viewing_key -> Bytes.t
val of_zip32_full_viewing_key : zip32_full_viewing_key -> Bytes.t
val hash_compare : hash -> hash -> int
val hash_of_commitment : commitment -> hash
val commitment_of_hash : hash -> commitment