AVM: yellowpaper sections

[dbanks12]

In-progress docs

Tasks

Preview Give feedback

1. public-vm: instruction-set spec #510
   A-documentation C-avm C-protocol-circuits +3
   
2. public-vm: VM state model spec (storage, memory, call contexts, mention gas tracking)
3. public-vm: gas tracking spec for VM (per-instruction and per-call) #3991
   C-avm +1
4. public-vm: high-level VM circuit spec (I/O, nested calls, role of VM circuit in protocol)
5. public-vm: mid-level VM circuit spec (architecture diagrams, memory, registers, suboperations, public inputs, data bus)
6. public-vm: low-level VM circuit spec (columns, relations, sub-tables, lookups)
7. public-vm: spec for support of "nasty" operations in Public VM
8. Protocol: Public VM Circuit #3156
   A-documentation A-protocol C-avm +3
   
9. docs(yellowpaper): formally define machineState.memory's type (tagged, etc) #4608
   A-documentation C-avm +2
10. docs(yellowpaper): specify types for AVM state and execution context, other misc requested changes #4009
    A-documentation C-avm +2