Feat/lean client logging overhaul

lean_client/Cargo.toml

@@ -264,13 +264,15 @@ libp2p = { version = "0.56.0", default-features = false, features = [
 ] }
 libp2p-identity = { version = "0.2", features = ["secp256k1"] }
 libp2p-mplex = "0.39"
+dedicated_executor = { git = "https://github.com/bomanaps/dedicated_executor", rev = "e39afad2959e6ae3f55ed56f6117dfe12ec07359" }
 num-bigint = "0.4"
 num-traits = "0.2"
+num_cpus = "1"
 once_cell = "1.21"
 parking_lot = "0.12"
 paste = "1.0.15"
 pretty_assertions = "1.4"
-prometheus = "0.14"
+prometheus = { version = "0.14", features = ["process"] }
 rand = "0.10"
 rand_chacha = "0.10"
 rayon = "1"
@@ -309,6 +311,7 @@ bls = { workspace = true }
 chain = { workspace = true }
 clap = { workspace = true }
 containers = { workspace = true }
+dedicated_executor = { workspace = true }
 ethereum-types = { workspace = true }
 features = { workspace = true }
 fork_choice = { workspace = true }
@@ -317,6 +320,7 @@ http_api = { workspace = true }
 libp2p-identity = { workspace = true }
 metrics = { workspace = true }
 networking = { workspace = true }
+num_cpus = { workspace = true }
 parking_lot = { workspace = true }
 ssz = { workspace = true }
 tokio = { workspace = true }

lean_client/build.rs

@@ -0,0 +1,16 @@
+use std::process::Command;
+
+fn main() {
+    let hash = Command::new("git")
+        .args(["rev-parse", "--short=8", "HEAD"])
+        .output()
+        .ok()
+        .filter(|o| o.status.success())
+        .map(|o| String::from_utf8_lossy(&o.stdout).trim().to_string())
+        .filter(|s| !s.is_empty())
+        .unwrap_or_else(|| "unknown".to_string());
+
+    println!("cargo:rustc-env=GRANDINE_GIT_COMMIT_HASH={hash}");
+    println!("cargo:rerun-if-changed=../.git/HEAD");
+    println!("cargo:rerun-if-changed=../.git/refs/heads");
+}

lean_client/containers/src/attestation.rs

@@ -92,6 +92,46 @@ impl AggregatedSignatureProof {
     ) -> Result<()> {
         self.proof_data.verify(public_keys, message, slot)
     }
+
+    /// Greedy set-cover over a slice of proofs, returning indices of the proofs
+    /// to admit in priority order. Repeatedly picks the proof covering the
+    /// most uncovered validators; stops when no remaining proof adds coverage.
+    /// Mirrors leanSpec `AggregatedSignatureProof.select_greedily`.
+    pub fn select_greedily(proofs: &[AggregatedSignatureProof]) -> Vec<usize> {
+        let mut selected: Vec<usize> = Vec::new();
+        let mut covered: HashSet<u64> = HashSet::new();
+        let mut remaining: HashSet<usize> = (0..proofs.len()).collect();
+
+        while !remaining.is_empty() {
+            let best = remaining
+                .iter()
+                .copied()
+                .map(|idx| {
+                    let new_count = proofs[idx]
+                        .get_participant_indices()
+                        .into_iter()
+                        .filter(|vid| !covered.contains(vid))
+                        .count();
+                    (idx, new_count)
+                })
+                .max_by_key(|(_, n)| *n);
+
+            let Some((best_idx, best_count)) = best else {
+                break;
+            };
+            if best_count == 0 {
+                break;
+            }
+
+            for vid in proofs[best_idx].get_participant_indices() {
+                covered.insert(vid);
+            }
+            selected.push(best_idx);
+            remaining.remove(&best_idx);
+        }
+
+        selected
+    }
 }
 
 /// Bitlist representing validator participation in an attestation.