Protocol: State

[iAmMichaelConnor]

A list of things to consider

Note: much of this will already have been written in the existing docs. It'll just need some tweaking (see here for the kinds of tweaks: https://github.com/AztecProtocol/aztec-packages/blob/master/yellow-paper/docs/intro.md).

• State
  • L2 State
    • Trees
      • Note Hash Tree
      • Indexed merkle trees
      • Nullifier tree(s)
      • Public Data Tree
      • Slow Updates Tree (if enshrined)
      • Contract Tree (if still around)
      • Transactions / Receipts Trees?
      • Block hashes tree
      • Tree Epochs
  • L1 State
  • Contract State
  • State Hash
    • Explain the structure of the preimage of the state hash

[spalladino]

I'll take the L2 subsection!

[spalladino]

Note Hash Tree, Indexed merkle trees, Nullifier tree, Public Data Tree are done in #3518. Slow Updates Tree won't be enshrined for now. Contract Tree is unclear. I'm leaving Transactions, Block hashes, and Epochs to @LHerskind and @benesjan as discussed.