Calculating the stake distribution uses relations.
The prose now makes heavy use of bullet point lists that follow the order in the tables.
Helper functions have been separated and labeled as such.
The "Rewards Ledger Update" section was removed, and the logic was placed elsewhere.
The predicate in transition DELRWDS, namely checking that the reward withdrawal in a transaction
matched that in the ledger state, was moved to the base case of DELEGS.
The state transformation, namely zeroing out the appropriate rewards,
was also moved to the base case of DELEGS.
Added a list of contributors.
The UTxOEP and ACCNT transition systems were combined.
The predicate in POOLCLEAN that requires that the current retiring pools not be the empty set
POOLCLEAN was renamed to POOLREAP.
has been removed
The NEWPP transition now performs a no-op when costs are not met
(so that the transition system does not halt).
All the definitions regarding addresses are now in a single table.
Enterprise addresses were added.
All the definitions regarding the protocol parameters are now in a single table.
E_max is now a protocol parameter.
The certificate pointers are now constructed in the DELEGS transition.
Coin is now defined as an alias for the integers.
All the definitions regarding transactions are now in a single table.
Transactions are now a concrete type.
Transaction witnesses are now defined as a mapping from VKeys to Sig.
We now require that the transaction witnesses be exactly the minimal set that is needed.
The Allocs type is now split into StakeKeys and StakePools.
Support for pool owners was added. All rewards for pool oweners go to the reward account
registered in the pool certificate.
Unrealized rewards are now given to the treasury.
Some values marked as belonging to the unit interval have been changed to non-negative reals.
Reward accounts are now included in the stake distribution.
The reward calculation no longer returns the updated moving averages.
Several references to the delegation design document were added.
When a pool retires, all delegations to the pool are removed from the delegation mapping.
The main epoch boundary transition system is now split into two transitions.
There is now a top level transition SNAP which calculates and saves the last three stake distributions.
This transition does not happen on the epoch boundary.
The transition which does occur on the epoch boundary now uses the stake distribution snapshots
for the reward calculation.
The number of slots per epoch is now a global constant.
The epoch boundary transition now uses an epoch number instead of a slot in the environment.
It represents the upcomming epoch number.
from the changelog:
DELRWDS, namely checking that the reward withdrawal in a transaction matched that in the ledger state, was moved to the base case ofDELEGS. The state transformation, namely zeroing out the appropriate rewards, was also moved to the base case ofDELEGS.UTxOEPandACCNTtransition systems were combined.POOLCLEANthat requires that the current retiring pools not be the empty setPOOLCLEANwas renamed toPOOLREAP. has been removedNEWPPtransition now performs a no-op when costs are not met (so that the transition system does not halt).E_maxis now a protocol parameter.DELEGStransition.Coinis now defined as an alias for the integers.VKeys toSig.Allocstype is now split intoStakeKeysandStakePools.SNAPwhich calculates and saves the last three stake distributions. This transition does not happen on the epoch boundary. The transition which does occur on the epoch boundary now uses the stake distribution snapshots for the reward calculation.