Development of HEVM will continue?

[ggrieco-tob]

Given the fact that "dapptools is currently in a stage of clandestine development", and that a tool like Echidna relies on HEVM, we were wondering how long it will be supported with new EVM hard forks and QOL fixes.

[d-xo]

Work on hevm is continuing, with development supported by the FV team at the EF.

[d-xo]

To expand on this point a bit, dapptools is not abandoned, but we are deprioritising end user support and devx considerations in favour of leveling up the symbolic analysis capabilities of hevm.

The foundations for this work can be seen in the expression-language branch, which contains a fairly extensive refactor of the core EVM datatypes (check here). Over time we intend to use these new representations to build an upgraded bytecode equivalence proof engine for act.

@ggrieco-tob if ToB has changes that they would like to upstream that would be beneficial for echidna I would be happy to review them.

[ggrieco-tob]

Thanks for the clarification, happy to see dapp and hevm maintained. We don't any HEVM changes for upstream so far, but we will check if there is anything particular in the near future.