Michael Sproul ff739d56be Fix light client merkle proofs (#7007) ...

Fix a regression introduced in this PR:

- https://github.com/sigp/lighthouse/pull/6361

We were indexing into the `MerkleTree` with raw generalized indices, which was incorrect and triggering `debug_assert` failures, as described here:

- https://github.com/sigp/lighthouse/issues/7005


  - Convert `generalized_index` to the correct leaf index prior to proof generation.
- Add sanity checks on indices used in `BeaconState::generate_proof`.
- Remove debug asserts from `MerkleTree::generate_proof` in favour of actual errors. This would have caught the bug earlier.
- Refactor the EF tests so that the merkle validity tests are actually run. They were misconfigured in a way that resulted in them running silently with 0 test cases, and the `check_all_files_accessed.py` script still had an ignore that covered the test files, so this omission wasn't detected.

2025-02-18 00:39:49 +00:00

..

src

Fix light client merkle proofs (#7007)

2025-02-18 00:39:49 +00:00

Cargo.toml

Add missing crates to cargo workspace (#6774)

2025-01-10 07:35:05 +00:00