Publish commits: L1 Core Logic
By convention, invariant-preserving logic goes in Sc_rollup_storage
, and will manipulate tables under Storage.Sc_rollup
.
Tests
-
staker can stake on the LFC if not previously staked -
staker can refine stake -
staker can add-commitment-and-refine -
staker can not backtrack -
check staker can unstake/reclaim deposit when staked on LFC -
stakers staked on LFC pre-finalization are staked on LFC post-finalizatio
Invariants
-
tezos_level
of successive commitments is monotonically increasing -
tezos_level
respect commitment <-> L1 block mapping -
all commitments have at least once staker -
that everyone is staked on the LFC -
the challenge deadline of the LFC has passed
Denormalization
-
stakers_size is the size of stakers+ -
commitment stake count describes the number of stakers per commit
Edited by Hans Hoglund