Project Ideas

Engineering work

Add a list to browse all the Python test cases
- The EL spec tests repo) has such rendering:
  - Test case reference - Ethereum Execution Spec Tests
  - [Hint] I think this helper is how they did it: https://github.com/ethereum/execution-spec-tests/blob/4c402abcac4d13efde9f2a67f9a70363088d70a5/docs/gen_test_case_reference.py
Improve docs content: it would be nice to make the documents more organized. (We have many README files in different folders…)

Intro: remerkleable was written by protolambda (ex EF researcher, now Optimism). The implementation design has been documented here: https://github.com/protolambda/eth2.0-ssz/. Although Proto’s main job is on L2, he’s still an active L1 core dev. But I’m not sure how much time and responsive he can do for working and reviewing remerkleable
Optimization: Indeed hash_tree_root is one of the performance bottlenecks. However, I’m not sure if there is still room for optimization.
Typing: One of my long-time feature wishes is to make Remerkleable supports full Mypy typing checks, and then we can turn on more typing check in the spec side. But remerkleable uses some dark Python magic to implement the “Sequence” type (SSZ List and SSZ Vector) so it was difficult to make it compatible with Mypy. It was the reason we pinned mypy==0.981 when Mypy latest version is now 1.4.1. There is a small chance that Mypy now supports more flexible implementations.

We use LRU cache to cache certain spec helper functions in setup.py. For example: https://github.com/ethereum/consensus-specs/blob/8d6a40522c00d7f7ea25d841208342212e1e2367/pysetup/spec_builders/phase0.py#L47-L105
There might be some other helper functions to be added from other forks.

Spec: https://github.com/ethereum/consensus-specs/blob/dev/specs/phase0/weak-subjectivity.md
We don’t have any test cases and test formats for WS. Given that (1) most clients have implemented it and (2) the logic was not complex, it’s a low-priority task that we didn’t pick it up. 😅 However, this is the only section of the specs that we don’t have test vectors to cover.