This repository was archived by the owner on Jul 5, 2024. It is now read-only.

Circuit for `ErrorInvalidOpcode` state#1089

Merged

han0110 merged 13 commits into

privacy-ethereum:mainfrom

scroll-tech:execution/error-invalid-opcode

Feb 10, 2023

Commits on Feb 6, 2023

Commits on Feb 7, 2023

Merge branch 'main' into execution/error-invalid-opcode
silathdiir
authored

Commits on Feb 9, 2023

Merge branch 'main' into execution/error-invalid-opcode
silathdiir
authored
Add a `LtGadget` to avoid mock prover assigning a value which is greater than 255.
silathdiir
committed
Merge branch 'main' into execution/error-invalid-opcode
silathdiir
authored
Revert "Add a `LtGadget` to avoid mock prover assigning a value which is greater than 255."
silathdiir
committed
Assign InvalidOpcode to `exec_step.error` directly. Since it has been done in `get_step_err`.
silathdiir
committed
Delete `internal` test cases since it has no effects for invalid opcode error.
silathdiir
committed
Delete mapping `OpcodeId::INVALID` to dummy function in `fn_gen_associated_ops`. And Move `fn_gen_associated_ops` to the end of `gen_associated_ops` (after `get_step_err`).
silathdiir
committed

Commits on Feb 10, 2023