public-vm: VM simulation & end-to-end integration

[dbanks12]

AVM.mini tasks (minimal instruction subset, field memory only)

Preview Give feedback

1. public-vm(ts): minimal VM simulation (ADD, CALLDATACOPY, RETURN, field memory only) #3317
   C-avm +1
   
2. public-vm(ts): trigger minimal VM witness-generation from TS #3381
   C-avm +1
   
3. public-vm(ts): trigger minimal VM proof-generation from TS #3382
   C-avm +1
   
4. AVM: simulator memory bounds checking #3985
   C-avm +1
   

AVM.alpha tasks (typed memory, full instruction set, gas tracking, no "nasty" ops)

Preview Give feedback

1. public-vm(simulator): add (nearly) full instruction set to AVM simulator #3383
   22 of 22
   C-avm +1
2. public-vm(ts): add typed memory to VM simulation (u8, u16, u32, u64, u128(?), field) #3986
   C-avm +1
3. public-vm(ts): add gas tracking and reverts to VM simulation #3992
   C-avm +1
4. public-vm(ts): add type casting operation #3987
   C-avm +1
5. public-vm(ts): simulate field division #3993
   C-avm +1
6. public-vm(ts): Add Execution Envrionment From YP #4005
   C-avm +1
   
7. public-vm(simulator): Journal should keep track of reads #3999
   C-avm +1
   
8. public-vm(simulator): Journal should keep track of reverted state #3998
   C-avm +1
   
9. public-vm(ts): Journal shold keep track of accrued substrate #4001
   C-avm +1
   
10. Spike: AVM Simulator retrospective - C++ or Rust rewrite necessary? #4292
    +0
11. public-kernel(ts): updates to support alpha Public VM circuit
12. public-vm(transpiler): module for transpiler #4270
    C-avm +1
    

Aztec-nr and test contracts

Preview Give feedback

1. public-vm(aztec-nr): macro flag for transpilation #4312
   4 of 5
   C-avm +1
   
2. public-vm(aztec-nr): Add oracles and context for AVM opcodes #4313
   C-avm +1
   
3. public-vm(ts): create public vm executor #4314
   C-avm +1
4. public-vm(integration): update aztec-nr and tests contracts to use AVM #4310
   0 of 1
   C-avm +1
   
5. public-vm(integration): All e2e tests should work with AVM simulator #4311
   C-avm +1
   

AVM.v0 tasks (nasty ops)

Preview Give feedback

1. public-vm(simulator): VM simulation of hash / elliptic curve operations #3995
   C-avm +1
   
2. public-vm: make calls to nasty operation sub-circuits
3. public-vm: provide witgen with nasty operation trace (add to partial witness)
4. public-kernel: updates to fully support Public VM circuit & traces (storage-accesses, gas, nested calls, ...)

AVM.v1 tasks (optimize)

Preview Give feedback

1. public-vm: one circuit per-TX?
2. public-vm: optimal VM simulator (reimplement in C++ or Rust?)