Verification of the storage files
Verify the following storage files, completing the proofs on internal errors. Add your name at the end of each line to assign yourself on the files. Make one merge request per file.
-
Bootstrap_storage.v -
Commitment_storage.v -
Constants_storage.v @dhilst -
Contract_delegate_storage.v -
Contract_manager_storage.v -
Contract_storage.v -
Dal_slot_storage.v -
Delegate_activation_storage.v -
Delegate_missed_endorsements_storage.v -
Delegate_slashed_deposits_storage.v -
Delegate_storage.v -
Fees_storage.v -
Frozen_deposits_storage.v -
Global_constants_storage.v -
Init_storage.v -
Level_storage.v @dhilst -
Liquidity_baking_storage.v -
Nonce_storage.v -
Sapling_storage.v -
Sc_rollup_commitment_storage.v -
Sc_rollup_inbox_storage.v -
Sc_rollup_outbox_storage.v -
Sc_rollup_refutation_storage.v @dhilst -
Sc_rollup_stake_storage.v -
Sc_rollup_storage.v -
Seed_storage.v -
Stake_storage.v -
Ticket_storage.v -
Tx_rollup_commitment_storage.v -
Tx_rollup_inbox_storage.v -
Tx_rollup_reveal_storage.v -
Tx_rollup_state_storage.v -
Tx_rollup_storage.v -
Vote_storage.v -
Voting_period_storage.v -
Zk_rollup_storage.v
Edited by Daniel Hilst