All issues

Search results

Finalisation and attestation-target selection share one candidate ladder, turning a brief justification pause into a 66-minute finality stall

Status: Open.

#1211 In leanEthereum/leanSpec;

· dimka90 opened on Sep 23, 2026

Spec specifies Poseidon XMSS (52-byte pubkey) while every client runs leanVM's BLAKE2s (32-byte); fixtures are unusable

Status: Open.

#1210 In leanEthereum/leanSpec;

· dimka90 opened on Sep 22, 2026

Blocks may carry two AttestationData for one slot, which no leanVM proof can express

Status: Open.

#1209 In leanEthereum/leanSpec;

· dimka90 opened on Sep 20, 2026

produce_attestation_data asserts source <= target, but the target walk can land behind the head's justified checkpoint

Status: Open.

#1206 In leanEthereum/leanSpec;

· adust09 opened on Sep 11, 2026

No durable guard against signing two different messages in one slot (XMSS OTS key reuse)

Status: Open.

#1203 In leanEthereum/leanSpec;

· adust09 opened on Aug 16, 2026

test_block_with_wrong_slot non-reproducible from fixture alone

Status: Open.

#1198 In leanEthereum/leanSpec;

· MegaRedHand opened on Jul 31, 2026

Store pruning below the finalized root is provably safe — propose a normative pruning rule and memory bound

Status: Open.

#1195 In leanEthereum/leanSpec;

· adust09 opened on Jul 30, 2026

Sync lag gate: allow block proposals

Status: Open.

#1194 In leanEthereum/leanSpec;

· zemse opened on Jul 25, 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