public-vm(simulator): add (nearly) full instruction set to AVM simulator

[dbanks12]

Overview

Once initial instructions have been implemented in #3317, all other opcodes specified within the yellow paper must be implemented.

• Note, the title of this ticket says nearly, this will be determined at review time, any opcodes that become problematic can be assessed and moved into their own tickets if necessary,

Depends on

• public-vm(ts): minimal VM simulation (ADD, CALLDATACOPY, RETURN, field memory only) #3317

Links

• Avm instruction set: https://yp-aztec.netlify.app/docs/public-vm/instruction-set

Tasks

Beta Give feedback

1. public-vm(ts): Implement Bitwise operations #4120
   9 of 9
   C-avm +1
   
2. public-vm(ts): Implement Cast and Move instructions #4121
   3 of 3
   C-avm +1
   
3. public-vm(ts): Implement Storage operations ( note : depends on journal ) #4122
   2 of 2
   C-avm +1
   
4. public-vm(ts): Implement Revert instructinos ( note: depends on journal) #4123
   1 of 1
   C-avm +1
   
5. public-vm(ts): Implement transaction state getter opcodes #4124
   11 of 15
   C-avm +1
   
6. AVM: spec header access #4125
   C-avm +1
   
7. public-vm(ts): Implement accrued substate instructions: (log, emit l2 to l1 messages) #4002
   4 of 4
   C-avm +1
   
8. public-vm(ts): Implement Call and static call instructions #4127
   2 of 2
   C-avm +1
   
9. public-vm(ts): Control flow instructions #4132
   4 of 4
   C-avm +1
   
10. public-vm: indirect memory offsets (for MOV) #4266
    C-avm +1
    
11. public-vm: support all types for SET (u8, ..., u128) #4267
    C-avm +1
    
12. public-vm(transpiler): generate proper type tags #4268
    C-avm +1
    
13. public-vm: implement inTag for all relevant instructions #4271
    C-avm +1
    
14. public-vm: rethink/add serialization information in Instruction class #4218
    C-avm +1
    
15. AVM: Spike: do we want "reserved" instr fields as in spec? #4326
    C-avm +1
16. AVM: fix instruction -> AvmContext -> decodeFromBytecode dependency cycle in simulator #4359
    C-avm +1
    
17. public-vm(transpiler): sync transpiler and simulator instruction wire format #4361
    C-avm +1
18. AVM tree-access opcodes #4790
    9 of 10
    C-avm +1
    

The stretch tasks below are considered to not be required for immediate targets / are under consideration for inclusion

Stretch Tasks

Beta Give feedback

1. AVM: Spike: do we need coinbase opcode? #4299
   0 of 5
   C-avm +1
2. AVM: Spike: Do we implement block limit opcodes? #4300
   C-avm +1
3. public-vm(ts): call-depth getter instruction #4506
   C-avm +1
4. AVM: Spike: do we need refundee opcode? #4301
   C-avm +1

[dbanks12]

Closed this. Some lingering smaller tasks and stretch goals that we can handle separately.