Javier Rodríguez Chatruc
Javier Rodríguez Chatruc
- `BLOCK_PERMUTATION_WHITELIST_V1` - `BLOCK_PERMUTATION_WHITELIST_V2` - `CAIRO_KECCAK_INPUT_IS_FULL_WORD` - `CAIRO_KECCAK_FINALIZE_V2`
- `RELOCATE_SEGMENT` - `TEMPORARY_ARRAY`
- `RANDOM_EC_POINT` - `CHAINED_EC_OP_RANDOM_EC_POINT` - `SQUARE_SLOPE_X_MOD_P`
- `EC_RECOVER_DIV_MOD_N_PACKED` - `EC_RECOVER_PRODUCT_MOD` - `EC_RECOVER_PRODUCT_DIV_M` - `EC_RECOVER_SUB_A_B` - `RECOVER_Y`
- `EC_DOUBLE_SLOPE_V2` - `EC_DOUBLE_SLOPE_V3` - `EC_DOUBLE_SLOPE_EXTERNAL_CONSTS` - `EC_DOUBLE_ASSIGN_NEW_Y`
- `SPLIT_OUTPUT_0` - `SPLIT_OUTPUT_1` - `SPLIT_OUTPUT_MID_LOW_HIGH` - `COMPARE_KECCAK_FULL_RATE_IN_BYTES_NONDET`
- `SPLIT_INPUT_3` - `SPLIT_INPUT_6` - `SPLIT_INPUT_9` - `SPLIT_INPUT_12` - `SPLIT_INPUT_15` - `SPLIT_N_BYTES`
This simplifies code, we don't know if it's faster or slower, but right now we don't care about that.
It's by far the least understood part of the vm, it needs extensive documentation
## What ❔ This PR includes only the necessary changes from #1612 for EVM equivalance, starting from the current `main` branch. Currently the PR adds the `evm_simulator` as a new...