Facundo

Brillig's `modulo_instruction` uses 254-bit integer multiplication

1

### Aim Transpile to AVM bytecode ### Expected Behavior Should avoid using u254 integer ops, use Field instead or some other trick ### Bug `modulo_instruction` uses 254-bit integer multiplication to...

### Aim Implement a trait for types implementing some other trait. E.g., SerializeToSlice based on Serialize. ```rust trait SerializeToSlice { fn serialize_to_slice(self) -> [Field]; } impl SerializeToSlice for [Field] {...

refactor(avm): separate alu finalization

2

PIL * Moved ALU lookups to alu.pil. These are mostly range checks and I expect them to be different once @IlyasRidhuan finishes setting up the gadget changes. CPP * Made...

IIUC, right now we calculate the inverse for a lookup if the source or target selector is 1. Moreover, we set the target selector to be 1 for ALL the...

There are currently some unconstrained steps, because otherwise we'd have multiple rows per opcode on the main trace.