Module consistency_task 

task that checks leaves received across all nodes from decide events for consistency

Structs

ConsistencyTask

Data availability task state

Enums

TestProgress 🔒

Functions

invert_network_map 🔒

sanitize_network_map 🔒

Validate that each node has only produced one unique leaf per view, and produce a NetworkMapSanitized.

sanitize_node_map 🔒

Validate that the NodeMap only has a single leaf per view.

sanitize_view_map 🔒

validate_node_map 🔒

For a NodeMapSanitized, we validate that each leaf extends the preceding leaf.

Type Aliases

NetworkMap

A map from node ids to NodeMaps; note that the latter may have multiple leaves per view in principle.

NetworkMapSanitized

A map from node ids to NodeMapSanitizeds; the latter has been sanitized validated to have a single leaf per view.

NodeMap

Map from views to leaves for a single node, allowing multiple leaves for each view (because the node may a priori send us multiple leaves for a given view).

NodeMapSanitized

A sanitized map from views to leaves for a single node, with only a single leaf per view.

ViewMap

ViewMapSanitized

A view map, sanitized to have exactly one leaf per view.