crytic / crytic/echidna

Glamsterdam support

Open
#1,623 0 comments 0 reactions 0 assignees View on GitHub
2026 roadmap
Dominant language
Haskell
Stars
3.2k
Forks
432
Avg merge
1d 20h
Merged PRs (30d)
5

Description

- [ ] Update hevm and Echidna for the execution-layer changes selected for the fork. This includes support for `SLOTNUM`, backward-compatible `SWAPN`, `DUPN` and `EXCHANGE`, and any required changes to gas accounting, refunds, ETH-transfer logs, deterministic factory behavior, contract-size limits and `SELFDESTRUCT`.

- [ ] Add fork-specific execution tests and Ethereum execution-spec conformance tests in hevm.

Contributor guide

Open the contributing guide

Research direction

Start by reviewing existing fork support in hevm and Echidna, then inspect the current execution-test structure. Add the listed Glamsterdam execution changes and fork-specific and Ethereum execution-spec conformance tests; done means the supported behavior is covered by passing tests.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
blockchain, testing
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.