Fix devnet2 finalization issues

lean_client/Cargo.toml

@@ -233,6 +233,7 @@ xmss = { path = "./xmss" }
 anyhow = "1.0.100"
 async-trait = "0.1"
 axum = "0.8.8"
+bitvec = "1.0.1"
 bls = { git = "https://github.com/grandinetech/grandine", package = "bls", features = ["blst"], rev = "64afdee3c6be79fceffb66933dcb69a943f3f1ae" }
 clap = { version = "4", features = ["derive"] }
 derive_more = "2.1.1"

lean_client/containers/Cargo.toml

@@ -4,6 +4,8 @@ edition = { workspace = true }
 
 [dependencies]
 anyhow = { workspace = true }
+bitvec = { workspace = true }
+bls = { workspace = true }
 env-config = { workspace = true }
 hex = { workspace = true }
 metrics = { workspace = true }

lean_client/containers/src/attestation.rs

@@ -61,6 +61,7 @@ impl AggregatedSignatureProof {
 /// Bitlist representing validator participation in an attestation.
 /// Limit is VALIDATOR_REGISTRY_LIMIT (4096).
 #[derive(Clone, Debug, Ssz, Serialize, Deserialize)]
+#[ssz(transparent)]
 pub struct AggregationBits(
     #[serde(with = "crate::serde_helpers::bitlist")] pub BitList<ValidatorRegistryLimit>,
 );

lean_client/containers/src/lib.rs

@@ -10,8 +10,8 @@ mod validator;
 
 pub use attestation::{
     AggregatedAttestation, AggregatedSignatureProof, AggregatedSignatures, AggregationBits,
-    Attestation, AttestationData, Attestations, SignatureKey, SignedAggregatedAttestation,
-    SignedAttestation,
+    Attestation, AttestationData, AttestationSignatures, Attestations, SignatureKey,
+    SignedAggregatedAttestation, SignedAttestation,
 };
 pub use block::{
     Block, BlockBody, BlockHeader, BlockSignatures, BlockWithAttestation, SignedBlock,

lean_client/containers/src/slot.rs

@@ -17,6 +17,10 @@ impl Ord for Slot {
 }
 
 impl Slot {
+    pub fn justified_index_after(self, finalized_slot: Slot) -> Option<u64> {
+        self.0.checked_sub(finalized_slot.0 + 1)
+    }
+
     /// Checks if this slot is a valid candidate for justification after a given finalized slot.
     ///
     /// According to the 3SF-mini specification, a slot is justifiable if its