This module is the main entry point to valide blocks and protocols.

Block_validator_process is used to validate new blocks. This validation can be

The bootstrap pipeline works as follows: 1. From a locator, it computes a list of subchains (identified by a Block_locator.step) to fetch. 2. A worker starts to fetch all the headers (top to bottom) from a subchain, starting with the top subchain. 3. A worker starts to download the list of operations by batch of blocks once a batch of headers is available. 4. A worker validates blocks one by one (bottom to top).

Tezos Shell - High-level API for the Gossip network and local storage.

Tezos Shell - Network message for the gossip P2P protocol.

This module creates FULL_REQUESTER modules for several resources. Protocols, operation, block_header, operation_hashes, operations.

Declares logging events for node

A P2p_reader.t is a worker that answers the application messages (see Messages) received from a remote peer on a P2p.connection.

This module is used by the prevalidator worker to determine whether an operation should be added to the mempool. To do so, it calls on the protocol's Mempool to validate the operation, as well as the Prevalidator_bounding to ensure that the mempool remains bounded. It also retrieves relevant information from the protocol plugin.

Tezos Shell - Prevalidation of pending operations (a.k.a Mempool)

Bound the valid operations in the mempool by limiting both their cardinal and their total byte size.

Declares logging events for protocol_validator

This module provides the operation representation used by the prevalidator and its dependencies. It also contains tools for parsing an operation into this representation, and updating the latter.

Tezos Shell - Main entry point of the validation scheduler.

Declares logging events for validator