Issues · leanEthereum/leanSpec · GitHub

Labels Milestones New issue

test(st): genesis with maximum validators (VALIDATOR_REGISTRY_LIMIT)

good first issue

#580

· tcoratger opened

on Apr 10, 2026

test(fc): block with duplicate AttestationData entries rejected

good first issue

#574

· tcoratger opened

on Apr 10, 2026

test(fc): store from anchor rejects mismatched state root

good first issue

#570

· tcoratger opened

on Apr 10, 2026

test(fc): store initialization from non-genesis anchor (checkpoint sync)

good first issue

#569

· tcoratger opened

on Apr 10, 2026

test(fc): produce block rejects unauthorized proposer

good first issue

#566

· tcoratger opened

on Apr 10, 2026

test(fc): produce block enforces MAX_ATTESTATIONS_DATA limit

good first issue

#565

· tcoratger opened

on Apr 10, 2026

test(fc): attestation target walkback respects JUSTIFICATION_LOOKBACK_SLOTS

good first issue

#560

· tcoratger opened

on Apr 10, 2026

test(fc): safe target stays at justified root with insufficient weight

good first issue

#559

· tcoratger opened

on Apr 10, 2026

test(fc): safe target advances with supermajority attestation weight

good first issue

#558

· tcoratger opened

on Apr 10, 2026

Document generator

#90

· unnawut opened

on Oct 28, 2025

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

#62

· leolara opened

on Sep 21, 2025