CREATE/CREATE2 opcode gadget

[roynalnaruto]

Description

This PR implements the gadget for CREATE and CREATE2 opcodes.

Issue Link

[link issue here]

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• This change requires a documentation update

Contents

• [item]

Rationale

[design decisions and extended information]

How Has This Been Tested?

[explanation]

---

How to fill a PR description

Please give a concise description of your PR.

The target readers could be future developers, reviewers, and auditors. By reading your description, they should easily understand the changes proposed in this pull request.

MUST: Reference the issue to resolve

Single responsability

Is RECOMMENDED to create single responsibility commits, but not mandatory.

Anyway, you MUST enumerate the changes in a unitary way, e.g.

This PR contains:
- Cleanup of xxxx, yyyy
- Changed xxxx to yyyy in order to bla bla
- Added xxxx function to ...
- Refactored ....

Design choices

RECOMMENDED to:

• What types of design choices did you face?
• What decisions you have made?
• Any valuable information that could help reviewers to think critically

[roynalnaruto]

@hero78119 created a draft PR. At the moment my changes are squashed into a single commit because those changes introduced a bug in the return_revert gadget. Once debugging is complete, I will split the changes into commits that are reviewer-friendly.

@lispc you could take a look into this PR as well?

[lispc]

the implementation looks good for me. But i am considering split this into smaller PRs. Eg: a copy circuit PR and an execution part PR.

[roynalnaruto]

@lispc Yes, I will split it into multiple PRs. Was waiting for the return revert gadget's bug to be fixed. Will refactor today

[roynalnaruto]

Closing this in favour of multiple PRs, making the overall changes more review friendly:

• Part A: [CREATE Part A] Modification to Copy Circuit #1356
• Part B: [CREATE Part B] Error cases that will be handled within opcode gadgets #1357
• Part C: [CREATE Part C] bus-mapping and gadget implementation #1358