crytic / crytic/echidna

Hegotá support

Open
#1,624 0 comments 0 reactions 0 assignees View on GitHub
2027 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. The changes needed are TBD, once the scope is defined by the Ethereum Foundation.

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

Contributor guide

Open the contributing guide

Research direction

The issue names hevm and Echidna but does not define the fork scope or identify files. First read the Ethereum Foundation’s finalized execution-layer scope and the existing hevm execution-test area; done means updating both tools and adding fork-specific execution and Ethereum execution-spec conformance 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
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.