Module Storage.Tenderbake

First_level_of_protocol stores the level of the first block of this protocol.

Attestation_branch stores a single value composed of the grandparent hash and the predecessor's payload (computed with the grandparent hash) used to verify the validity of attestations.

Forbidden_delegates stores the set of delegates that are not allowed to bake or attest blocks.