public-vm: PIL circuit implementation

[dbanks12]

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

Beta Give feedback

1. public-vm: simplified VM circuit design
2. public-vm: minimal PIL circuit implementation (only ADD instruction, field memory only) #3320
   avm +1
   
3. public-vm: add PIL logic for ADD and CALLDATACOPY instructions #3321
   avm +1
   
4. public-vm: add PIL logic for ADD, CALLDATACOPY, RETURN instructions #3376
   avm +1
   
5. public-vm: SUB, MUL, DIV for field memory type #3546
   avm +1
   
6. public-vm: error handling zero division for field memory type #3548
   avm +1
   

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

Beta Give feedback

1. public-vm: PIL implementation of all finite field operations
2. public-vm: Implementation of ALU #3737
   2 of 2
   avm +1
   
3. public-vm: PIL implementation of chiplet table
4. public-vm: PIL implementation of all types & typed memory (u8, u16, u32, u64, u128(?), field) #3643
   1 of 1
   avm +1
   
5. public-vm: PIL implementation of (nearly) full instruction set (break into subtasks)
6. public-vm: add PIL logic to output storage-access trace, logs, nested-call trace, etc....
7. public-vm: PIL implementation of gas tracking & reverts
8. feat(avm-pil-backend): public input columns #3783
   avm crypto +2
   
9. public-vm: use some "public input"-like mechanism for all circuit I/O

AVM.v0 tasks (nasty ops)

Beta Give feedback

1. public-vm: plan for implementation of nasty-ops #3785
   avm +1
   
2. public-vm: add PIL logic to output nasty-op requests/trace

AVM.v1 tasks (optimize)

Beta Give feedback

1. public-vm: one circuit per-TX?