Merge main into perf/ssz-tree-write-cursor

Main gained the gloas stack (#634, #635, #639, #662, #663). Adapted to it:
the write cursor also drives gloas's progressive registry. A cursor pass
crosses a ProgressiveList's subtrees with global indices, and
try_update_validators_with_balances and try_update_balances work on any
BeaconState, so electra's effective-balance step and the reward deltas
write through them too.

Author: MegaRedHand

.github/workflows/ci.yml

@@ -257,10 +257,11 @@ jobs:
         preset: [mainnet, minimal]
     env:
       # Read by the Makefile, which declares this `?=` and so defers to the
-      # environment. A run reads its own preset's tree plus `general` and nothing
-      # else, so fetching the other preset's would be the largest single download
-      # in the workflow spent on files no case opens.
-      CONSENSUS_SPEC_TESTS_CONFIGS: general ${{ matrix.preset }}
+      # environment. A run reads its own preset's tree and nothing else, so
+      # fetching the other preset's would be the largest single download in the
+      # workflow spent on files no case opens. The preset-independent BLS/KZG
+      # vectors are a separate download (`make cryptography-specs`) below.
+      CONSENSUS_SPEC_TESTS_CONFIGS: ${{ matrix.preset }}
     steps:
       - uses: actions/checkout@v6
 
@@ -291,8 +292,8 @@ jobs:
       - name: Download the consensus spec test fixtures
         run: make consensus-spec-tests
 
-      - name: Download the gossip validation test fixtures
-        run: make consensus-spec-gossip-tests
+      - name: Download the BLS/KZG test vectors
+        run: make cryptography-specs
 
       - name: Run the Beacon Chain spec tests
         run: make test-beacon-${{ matrix.preset }}

.gitignore

@@ -34,9 +34,8 @@ target
 # Beacon Chain spec test fixtures, downloaded by `make consensus-spec-tests`
 /consensus-spec-tests
 
-# The gossip validation vectors, from a newer release, downloaded by
-# `make consensus-spec-gossip-tests`
-/consensus-spec-tests-gossip
+# BLS and KZG test vectors, downloaded by `make cryptography-specs`
+/cryptography-specs
 
 # Personal Claude Code overrides (not shared with team)
 CLAUDE.local.md

CLAUDE.md

@@ -134,17 +134,21 @@ postcard = { version = "1.1.3", features = ["alloc"] }
 # hand out `&mut` into an `SszList` (the validator registry, through
 # `altair_validator_lists_mut`), which published libssz-types 0.3.0 cannot do:
 # it exposes only `Deref` and `Index`. `DerefMut` and `IndexMut` landed after
-# that release, in lambdaclass/libssz#33.
+# that release, in lambdaclass/libssz#33. Gloas's progressive state lists need
+# the same in-place access on `ProgressiveList`, which lambdaclass/libssz#37
+# adds.
 #
 # Pinned by `rev` rather than tracking `main`: the requirement is a commit that
-# carries #33, not whatever `main` holds today, and `main` here is the SSZ encoder
-# and merkleizer that decides every `hash_tree_root`, so a routine `cargo update`
-# must not be able to move it. Return these to a crates.io version once a release
-# carrying #33 exists.
-libssz = { git = "https://github.com/lambdaclass/libssz", rev = "36802dd1d3e3a83d95d2ac552647539cbe3f7fd7" }
-libssz-derive = { git = "https://github.com/lambdaclass/libssz", rev = "36802dd1d3e3a83d95d2ac552647539cbe3f7fd7" }
-libssz-merkle = { git = "https://github.com/lambdaclass/libssz", rev = "36802dd1d3e3a83d95d2ac552647539cbe3f7fd7" }
-libssz-types = { git = "https://github.com/lambdaclass/libssz", rev = "36802dd1d3e3a83d95d2ac552647539cbe3f7fd7" }
+# carries #33 and #37, not whatever `main` holds today, and `main` here is the
+# SSZ encoder and merkleizer that decides every `hash_tree_root`, so a routine
+# `cargo update` must not be able to move it. This rev is #37's PR branch head,
+# not yet merged: it must move to #37's merge commit before this branch merges,
+# since a PR branch ref stops being fetchable once the branch is deleted. Return
+# these to a crates.io version once a release carrying #33 and #37 exists.
+libssz = { git = "https://github.com/lambdaclass/libssz", rev = "5cb14378ffdadcb51b387c003567e2630d0c7073" }
+libssz-derive = { git = "https://github.com/lambdaclass/libssz", rev = "5cb14378ffdadcb51b387c003567e2630d0c7073" }
+libssz-merkle = { git = "https://github.com/lambdaclass/libssz", rev = "5cb14378ffdadcb51b387c003567e2630d0c7073" }
+libssz-types = { git = "https://github.com/lambdaclass/libssz", rev = "5cb14378ffdadcb51b387c003567e2630d0c7073" }
 
 # VCDIFF delta compression for beacon state diffs.
 #