Issues

Finalisation and attestation-target selection share one candidate ladder, turning brief justification pauses into hour-long finality stalls
leanEthereum/leanSpec#1211 · opened on Sep 23, 2026
1
Spec specifies Poseidon XMSS (52-byte pubkey) while every client runs leanVM's BLAKE2s (32-byte); fixtures are unusable
leanEthereum/leanSpec#1210 · opened on Sep 22, 2026
1
Blocks may carry two AttestationData for one slot, which no leanVM proof can express
leanEthereum/leanSpec#1209 · opened on Sep 20, 2026
1
produce_attestation_data asserts source <= target, but the target walk can land behind the head's justified checkpoint
leanEthereum/leanSpec#1206 · opened on Sep 11, 2026
No durable guard against signing two different messages in one slot (XMSS OTS key reuse)
leanEthereum/leanSpec#1203 · opened on Aug 16, 2026
test_block_with_wrong_slot non-reproducible from fixture alone
leanEthereum/leanSpec#1198 · opened on Jul 31, 2026
Store pruning below the finalized root is provably safe — propose a normative pruning rule and memory bound
leanEthereum/leanSpec#1195 · opened on Jul 30, 2026
Sync lag gate: allow block proposals
leanEthereum/leanSpec#1194 · opened on Jul 25, 2026
lstar/aggregate: skip trivial 1-raw-sig + 0-children case to avoid pointless STARK proving
leanEthereum/leanSpec#747 · opened on May 21, 2026
Devnet-4: clients not respecting configured subnet subscription/publish topology
leanEthereum/leanSpec#697 · opened on May 1, 2026
1
Multi-fork architecture: roadmap and tracking issue
leanEthereum/leanSpec#686 · opened on Apr 27, 2026
Document generator
leanEthereum/leanSpec#90 · opened on Oct 28, 2025
4
Spec test sequence trace, a general test vector format for the Ethereum consensus layer
leanEthereum/leanSpec#62 · opened on Sep 21, 2025