Module `Tezos_dal_node_services.Services`Source

This module provides different services related to DAL slots.

include module type of Services_legacy

val slot_pages : 
  ([ `GET ],
    unit,
    unit * Tezos_crypto_dal.Cryptobox.commitment,
    unit,
    unit,
    Tezos_crypto_dal.Cryptobox.page list)
    Tezos_rpc.Service.service

Source

val shard : 
  ([ `GET ],
    unit,
    (unit * Tezos_crypto_dal.Cryptobox.commitment) * int,
    unit,
    unit,
    Tezos_crypto_dal.Cryptobox.shard)
    Tezos_rpc.Service.service

Source

val shards : 
  ([ `POST ],
    unit,
    unit * Tezos_crypto_dal.Cryptobox.commitment,
    unit,
    int Tezos_base.TzPervasives.trace,
    Tezos_crypto_dal.Cryptobox.shard list)
    Tezos_rpc.Service.service

Source

type 'rpc service =
  ('meth, 'prefix, 'params, 'query, 'input, 'output) Tezos_rpc.Service.service
  constraint
    'rpc =
    < meth : 'meth
    ; prefix : 'prefix
    ; params : 'params
    ; query : 'query
    ; input : 'input
    ; output : 'output >

Sourcemodule Types : sig ... end

Source

val post_commitment : 
  < meth : [ `POST ]
    ; input : Tezos_crypto_dal.Cryptobox.slot
    ; output : Tezos_crypto_dal.Cryptobox.commitment
    ; prefix : unit
    ; params : unit
    ; query : unit >
    service

Add the given slot in the node if not already present. The corresponding commitment is returned. See Slot_manager.add_commitment for more details.

Source

val patch_commitment : 
  < meth : [ `PATCH ]
    ; input : Types.slot_id
    ; output : unit
    ; prefix : unit
    ; params : unit * Tezos_crypto_dal.Cryptobox.commitment
    ; query : unit >
    service

Associate a commitment to a level and a slot index. See Slot_manager.associate_slot_id_with_commitment for more details.

Source

val get_commitment_slot : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Tezos_crypto_dal.Cryptobox.slot
    ; prefix : unit
    ; params : unit * Tezos_crypto_dal.Cryptobox.commitment
    ; query : unit >
    service

Retrieve the content of the slot associated with the given commitment.

Source

val get_commitment_proof : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Tezos_crypto_dal.Cryptobox.commitment_proof
    ; prefix : unit
    ; params : unit * Tezos_crypto_dal.Cryptobox.commitment
    ; query : unit >
    service

Compute the proof associated to a commitment.

Source

val put_commitment_shards : 
  < meth : [ `PUT ]
    ; input : Types.with_proof
    ; output : unit
    ; prefix : unit
    ; params : unit * Tezos_crypto_dal.Cryptobox.commitment
    ; query : unit >
    service

Compute and save the shards of the slot associated to the given commitment. If the input's flag is true, the proofs associated with the computed shards are also computed and stored in memory.

Source

val get_commitment_by_published_level_and_index : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Tezos_crypto_dal.Cryptobox.commitment
    ; prefix : unit
    ; params : (unit * Types.level) * Types.slot_index
    ; query : unit >
    service

Return the accepted commitment associated to the given slot index and published at the given level, if any.

Source

val get_commitment_headers : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Types.slot_header list
    ; prefix : unit
    ; params : unit * Tezos_crypto_dal.Cryptobox.commitment
    ; query : Types.level option * Types.slot_index option >
    service

Return the known headers for the slot whose commitment is given.

Source

val get_published_level_headers : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Types.slot_header list
    ; prefix : unit
    ; params : unit * Types.level
    ; query : Types.header_status option >
    service

Return the known slot headers for the given published level.

Source

val patch_profiles : 
  < meth : [ `PATCH ]
    ; input : Types.operator_profiles
    ; output : unit
    ; prefix : unit
    ; params : unit
    ; query : unit >
    service

Update the list of profiles tracked by the DAL node. Note that it does not take the bootstrap profile as it is incompatible with other profiles.

Source

val get_profiles : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Types.profiles
    ; prefix : unit
    ; params : unit
    ; query : unit >
    service

Return the list of current profiles tracked by the DAL node

Source

val get_assigned_shard_indices : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Types.shard_index list
    ; prefix : unit
    ; params : (unit * Tezos_crypto.Signature.public_key_hash) * Types.level
    ; query : unit >
    service

Return the shard indexes assigned to the given public key hash at the given level.

Source

val get_attestable_slots : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Types.attestable_slots
    ; prefix : unit
    ; params : (unit * Tezos_crypto.Signature.public_key_hash) * Types.level
    ; query : unit >
    service

Return the set of currently attestable slots. A slot is attestable at level l if it is published at level l - attestation_lag and *all* the shards assigned at level l to the given public key hash are available in the DAL node's store.

Source

val monitor_shards : 
  < meth : [ `GET ]
    ; input : unit
    ; output : Tezos_crypto_dal.Cryptobox.Commitment.t
    ; prefix : unit
    ; params : unit
    ; query : unit >
    service

A service for monitor_shards RPC

package tezos-dal-node-services

Module Tezos_dal_node_services.ServicesSource

Module `Tezos_dal_node_services.Services`Source