Search results

Readded `class Signature(Bytes3112):

Status: Open.

#214 In leanEthereum/leanSpec;

· KolbyML opened on Dec 1, 2025

framework: export test fixtures as build artifacts

Status: Open.

#197 In leanEthereum/leanSpec;

· unnawut opened on Nov 27, 2025

bug: fork choice does not count block proposer's attestation

bugCategory: bug fixCategory: bug fix

specsScope: Changes to the specificationsScope: Changes to the specifications

Status: Open.

#174 In leanEthereum/leanSpec;

· unnawut opened on Nov 17, 2025

Revisit Fork Choice tests

Status: Open.

#130 In leanEthereum/leanSpec;

· anshalshukla opened on Nov 5, 2025

Upgrade XmssKeyManager utility

Status: Open.

#129 In leanEthereum/leanSpec;

· anshalshukla opened on Nov 5, 2025

refactor: fork choice store

choreCategory: choreCategory: chore

specsScope: Changes to the specificationsScope: Changes to the specifications

Status: Open.

#128 In leanEthereum/leanSpec;

· unnawut opened on Nov 5, 2025

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