Module light_client 

Constants

ARITY 🔒

Functions

build_namespace_proof 🔒

Construct a NamespaceProof for the namespace at ns_index of the given block.

chain_too_long 🔒

child_values 🔒

Child values of node, whose children have indices parent * ARITY + n at their level, in the tree where the rightmost non-empty node of that level is edge with value edge_value.

complete_proof_with_cert2 🔒

Extend proof from leaf to the leaf directly committed by the earliest stored cert2, adding at most chain_limit leaves.

earliest_cert2_height 🔒

The earliest stored cert2 height at or after height. Errors are treated as no cert2: this only chooses between proof strategies, and the chosen path will surface any persistent error.

fetch_block_data_range 🔒

get_header_proof 🔒

get_leaf_proof 🔒

Construct a proof that the requested leaf is finalized.

get_leaf_proof_with_cert2 🔒

Build a leaf proof for the new protocol using certificate2 finality.

get_leaf_proof_with_finalized_assumption 🔒

get_leaf_proof_with_leaf_chain 🔒

Build a leaf proof for a legacy leaf from the justify QCs of the leaves that follow it.

get_namespace_proof_range 🔒

Single-namespace version of get_namespaces_proof_range.

get_namespaces_proof_range 🔒

internal 🔒

merkle_error 🔒

not_found 🔒

parse_namespaces_str 🔒

Decode the namespaces path segment: a TaggedBase64 string tagged NS wrapping a JSON-encoded Vec<u64>.

rebuild_block_proof 🔒

The path to target.pos in the block tree of the first num_leaves leaves.

rebuild_header_path 🔒

Prove header against root using the snapshot at head, when the state at root is pruned.

Type Aliases

BlockMerkleNode 🔒

BlockMerkleProof 🔒