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.

A newly received block is validated by replaying locally the block creation, applying each operation and its finalization to ensure their consistency. This module is stateless and creates and manipulates the prevalidation_state.

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.

A newly received block is validated by replaying locally the block creation, applying each operation and its finalization to ensure their consistency. This module is stateless and creates and manipulates the prevalidation_state.

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

Common elements used by both Prevalidator_internal and Legacy_prevalidator_internal. This module is also included in Prevalidator.

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