package octez-shell-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez shell libraries

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-18.1.tar.gz

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-shell-libs.proxy/Tezos_proxy/Light_consensus/index.html

Module `Tezos_proxy.Light_consensus`Source

Sourcemodule Proof = Tezos_context_sigs.Context.Proof_types

Sourcetype input = {

printer : Tezos_client_base.Client_context.printer;
min_agreement : float;
(*
The same value as Light.sources.min_agreement
*)
chain : Tezos_shell_services.Block_services.chain;
(*
The chain considered
*)
block : Tezos_shell_services.Block_services.block;
(*
The block considered
*)
key : string list;
(*
The key of the context for which data is being requested
*)
mproof : Proof.tree Proof.t;
(*
The Merkle proof received from the endpoint providing data. It is much smaller than the whole context.
*)

}

A container of input data needed to process a consensus.

Sourceval min_agreeing_endpoints : float -> int -> int

min_agreeing_endpoints min_agreement nb_endpoints returns the minimum number of endpoints that must agree for Make.consensus to return true. The first parameter should be Light.sources.min_agreement while the second parameter should be the length of Light.sources.endpoints.

Sourcemodule Make (Light_proto : Light_proto.PROTO_RPCS) : sig ... end

Given RPCs specific to the light mode, obtain the consensus algorithm