Skip to content

Add configurable precompile execution profiles - #142

Merged
leonardoalt merged 2 commits into
mainfrom
feat/configurable-precompiles
Aug 4, 2026
Merged

leonardoalt merged 2 commits into
mainfrom
feat/configurable-precompiles

Conversation

@leonardoalt

Copy link
Copy Markdown
Member

Adds an execution-level PrecompileConfig carried through child frames.

Configured dispatch and the relational Step semantics now honor disabled precompile addresses while preserving canonical Fork behavior. This allows replacement challenges to disable the native precompile they are replacing without inventing a fake hard fork.

Tests: lake build EvmSemantics

@leonardoalt
leonardoalt added this pull request to the merge queue Aug 4, 2026
Merged via the queue into main with commit 26fdf59 Aug 4, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant