Search results

Fork choice: store.latest_finalized can latch a losing fork's higher finalized, freezing finalization

Status: Open.

#1000 In leanEthereum/leanSpec;

· GrapeBaBa opened on Jun 13, 2026

lstar/aggregate: skip trivial 1-raw-sig + 0-children case to avoid pointless STARK proving

Status: Open.

#747 In leanEthereum/leanSpec;

· ch4r10t33r opened on May 21, 2026

Devnet-4: clients not respecting configured subnet subscription/publish topology

Status: Open.

#697 In leanEthereum/leanSpec;

· ch4r10t33r opened on May 1, 2026

Multi-fork architecture: roadmap and tracking issue

Status: Open.

#686 In leanEthereum/leanSpec;

· leolara opened on Apr 27, 2026

Document generator

toolingScope: Changes to workspace / project tooling e.g. tox, mypy, ruff, uv, mkdocsScope: Changes to workspace / project tooling e.g. tox, mypy, ruff, uv, mkdocs

Status: Open.

#90 In leanEthereum/leanSpec;

· unnawut opened on Oct 28, 2025

Spec test sequence trace, a general test vector format for the Ethereum consensus layer

frameworkScope: Changes to the testing frameworkScope: Changes to the testing framework

Status: Open.

#62 In leanEthereum/leanSpec;

· leolara opened on Sep 21, 2025