Module Tezos_dal_node_lib.Slot_manager

get_slot_pages ~reconstruct_if_missing cryptobox node_ctxt store slot_id fetches from the store the slot corresponding to the given slot id and split it into pages. If the slot is not found in the store and reconstruct_if_missing is true, the slot is reconstructed from the stored shards.

Returns an Error _ if:

• the slot is not found in the store and reconstruct_if_missing is false,
• the slot is not found in the store, reconstruct_if_missing is true, and too few shards are stored to reconstruct the slot,
• the length of the slot associated to the Cryptobox.commitment is ill-formed. Specifically, when its length is not a multiple of the page-size specified in the Cryptobox.parameters argument.

Cryptobox.polynomial_from_slot but using the Errors module.

The function returns an error Invalid_slot_size if the slot's size doesn't match the expected slots' size given in cryptobox, or the slot's polynomial otherwise.

commit cryptobox polynomial computes the commitment of the given polynomial.

get_slot_content ~reconstruct_if_missing node_ctxt slot_id returns the slot content associated with the given slot_id in the node's store.

If the slot is not found in the store and reconstruct_if_missing is true, the slot is reconstructed from the stored shards.

In addition to decoding errors, the function returns `Not_found if there is no slot content for slot_id in the node's store or if reconstruct_if_missing is true and not enough shards are stored to reconstruct the slot.

try_get_slot_header_from_indexed_skip_list plugin node_ctxt ~attested_level slot_id retrieves the slot header associated with slot_id, based on the local skip list cell stored in the SQLite store.

Steps:

• Fetch the skip list cell for the given attested_level and slot index from the SQLite store.
• Decode the cell using the DAL plugin.
• Return the extracted slot header.

Returns None if the cell is not found in the store.

add_commitment_shards ~shards_proofs_precomputation node_store cryptobox commitment slot polynomial registers the shards of the slot whose commitment is given.

Proofs are generated for the computed shards using shards_proofs_precomputation and stored in a bounded structure in memory.

In addition to storage errors, this function may return the following errors:

• Invalid_slot_size if the given slot does not have the expected size,
• No_prover_SRS if the given shards_proofs_precomputation is None.

This function publishes the given shards and their proofs.

This function publishes the shards of a commitment that is waiting for attestion on L1 if this node has those shards on disk and their proofs in memory.

store_slot_headers ~number_of_slots ~block_level ~block_hash slot_headers node_store stores slot_headers onto the node_store associated to the given block_hash baked at level block_level.

update_selected_slot_headers_statuses ~block_level ~attestation_lag ~number_of_slots attested_slots store updates the statuses of the previously selected slots at level block_level - attestation_lag and that were waiting for attestation.

Slot headers whose indexes are in attested_slots are now set as `Attested in store. Those which are not are marked as `Unattested in the store if they previously had a "waiting for attestation" status.

get_slot_status ~slot_id store returns the status associated to the accepted slot of id slot_id or None if no status is currently stored for that slot id. Relies on a cache and the skip list store. i.e. only works for operator nodes.

get_slot_shard store slot_id shard_index returns the shard at index shard_index of the slot given by slot_id.

maybe_register_trap traps_store ~traps_fraction message_id message checks if the given message is a trap according to Trap.share_is_trap. If the share is identified as a trap, it is stored in the traps cache of the DAL node store. Otherwise does nothing.