Holesky testing & launch instructions

.gitignore

@@ -1,2 +1,5 @@
 *_dump.log
 target/
+logs/
+cb.docker-compose.yml
+.cb.env

bolt-boost/Dockerfile

@@ -14,11 +14,10 @@ COPY . .
 RUN cargo build --release
 
 
-FROM ubuntu AS runtime
+FROM debian:bookworm-slim AS runtime
 WORKDIR /app
 
-RUN apt-get update
-RUN apt-get install -y openssl ca-certificates libssl3 libssl-dev
+RUN apt-get update && apt-get install -y libssl-dev libssl3 openssl ca-certificates && rm -rf /var/lib/apt/lists/*
 
 COPY --from=builder /app/target/release/bolt-boost /usr/local/bin
 ENTRYPOINT ["/usr/local/bin/bolt-boost"]

bolt-boost/src/metrics.rs

@@ -24,7 +24,7 @@ lazy_static! {
 
     /// The size of the constraints cache
     pub static ref CONSTRAINTS_CACHE_SIZE: IntGauge = register_int_gauge_with_registry!(
-        "bolt_boost.constraints_cache_size",
+        "constraints_cache_size",
         "size of the constraints cache",
         BOLT_BOOST_METRICS
     )

bolt-boost/src/types.rs

@@ -1,11 +1,12 @@
 use alloy::{
     consensus::TxEnvelope,
     eips::eip2718::{Decodable2718, Eip2718Error},
-    primitives::{Bytes, TxHash, B256},
+    primitives::{keccak256, Bytes, TxHash, B256},
     rpc::types::beacon::{BlsPublicKey, BlsSignature},
+    signers::k256::sha2::{Digest, Sha256},
 };
 use axum::http::HeaderMap;
-use commit_boost::prelude::tree_hash::{self, MerkleHasher, TreeHash, TreeHashType};
+use commit_boost::prelude::tree_hash;
 use reqwest::Url;
 use serde::{Deserialize, Serialize};
 use ssz_derive::{Decode, Encode};
@@ -14,7 +15,8 @@ use std::ops::Deref;
 use cb_common::{
     constants::COMMIT_BOOST_DOMAIN,
     pbs::{DenebSpec, EthSpec, SignedExecutionPayloadHeader, Transaction, VersionedResponse},
-    signature::verify_signed_message,
+    signature::{compute_domain, compute_signing_root},
+    signer::schemes::bls::verify_bls_signature,
     types::Chain,
 };
 
@@ -42,8 +44,10 @@ impl SignedConstraints {
     /// The `chain` and `COMMIT_BOOST_DOMAIN` are used to compute the signing root.
     #[allow(unused)]
     pub fn verify_signature(&self, chain: Chain, pubkey: &BlsPublicKey) -> bool {
-        verify_signed_message(chain, pubkey, &self.message, &self.signature, COMMIT_BOOST_DOMAIN)
-            .is_ok()
+        let domain = compute_domain(chain, COMMIT_BOOST_DOMAIN);
+        let signing_root = compute_signing_root(self.message.digest(), domain);
+
+        verify_bls_signature(pubkey, &signing_root, &self.signature).is_ok()
     }
 }
 
@@ -56,47 +60,18 @@ pub struct ConstraintsMessage {
 }
 
 impl ConstraintsMessage {
-    /// Returns the total number of leaves in the tree.
-    fn total_leaves(&self) -> usize {
-        4 + self.transactions.len()
-    }
-}
-
-impl TreeHash for ConstraintsMessage {
-    fn tree_hash_type() -> TreeHashType {
-        TreeHashType::Container
-    }
-
-    fn tree_hash_packed_encoding(&self) -> tree_hash::PackedEncoding {
-        unreachable!("ConstraintsMessage should never be packed.")
-    }
-
-    fn tree_hash_packing_factor() -> usize {
-        unreachable!("ConstraintsMessage should never be packed.")
-    }
-
-    fn tree_hash_root(&self) -> HashTreeRoot {
-        let mut hasher = MerkleHasher::with_leaves(self.total_leaves());
-
-        hasher
-            .write(&self.validator_index.to_le_bytes())
-            .expect("Should write validator index bytes");
-        hasher.write(&self.slot.to_le_bytes()).expect("Should write slot bytes");
-        hasher.write(&(self.top as u8).to_le_bytes()).expect("Should write top flag");
-
-        for transaction in &self.transactions {
-            hasher
-                .write(
-                    Transaction::<<DenebSpec as EthSpec>::MaxBytesPerTransaction>::from(
-                        transaction.to_vec(),
-                    )
-                    .tree_hash_root()
-                    .as_bytes(),
-                )
-                .expect("Should write transaction root");
+    /// Returns the digest of this message.
+    pub fn digest(&self) -> [u8; 32] {
+        let mut hasher = Sha256::new();
+        hasher.update(self.validator_index.to_le_bytes());
+        hasher.update(self.slot.to_le_bytes());
+        hasher.update((self.top as u8).to_le_bytes());
+
+        for constraint in &self.transactions {
+            hasher.update(keccak256(constraint));
         }
 
-        hasher.finish().unwrap()
+        hasher.finalize().into()
     }
 }
 

bolt-contracts/script/ReadRegistry.s.sol

@@ -12,21 +12,11 @@ contract ReadRegistry is Script {
         console.log("Bolt registry address:", registryAddress);
         BoltRegistry registry = BoltRegistry(registryAddress);
 
-        console.log(
-            "Bolt registry minimum collateral:",
-            registry.MINIMUM_COLLATERAL()
-        );
+        console.log("Bolt registry minimum collateral:", registry.MINIMUM_COLLATERAL());
 
         for (uint64 i = 0; i < 2000; i++) {
-            try registry.getOperatorForValidator(i) returns (
-                IBoltRegistry.Registrant memory operator
-            ) {
-                console.log(
-                    "Operator for validator found",
-                    i,
-                    ":",
-                    operator.operator
-                );
+            try registry.getOperatorForValidator(i) returns (IBoltRegistry.Registrant memory operator) {
+                console.log("Operator for validator found", i, ":", operator.operator);
                 console.log("Operator RPC:", operator.metadata.rpc);
             } catch {
                 // console.log("No operator for validator", i);

bolt-contracts/script/RegisterValidators.s.sol

@@ -24,10 +24,7 @@ contract RegisterValidators is Script {
         console.log("Bolt registry address:", registryAddress);
         BoltRegistry registry = BoltRegistry(registryAddress);
 
-        console.log(
-            "Bolt registry minimum collateral:",
-            registry.MINIMUM_COLLATERAL()
-        );
+        console.log("Bolt registry minimum collateral:", registry.MINIMUM_COLLATERAL());
 
         address sender = vm.addr(signerKey);
 
@@ -39,11 +36,7 @@ contract RegisterValidators is Script {
         }
 
         // Register with minimal collateral
-        registry.register{value: registry.MINIMUM_COLLATERAL()}(
-            validatorIndexes,
-            rpc,
-            ""
-        );
+        registry.register{value: registry.MINIMUM_COLLATERAL()}(validatorIndexes, rpc, "");
 
         vm.stopBroadcast();
     }
@@ -62,7 +55,7 @@ library StringToUintArrayLib {
         uint256 rangeStart;
 
         for (uint256 i = 0; i < strBytes.length; i++) {
-            if (strBytes[i] == ',') {
+            if (strBytes[i] == ",") {
                 if (parsingRange) {
                     // Handle end of range
                     for (uint256 j = rangeStart; j <= tempNum; j++) {
@@ -76,15 +69,15 @@ library StringToUintArrayLib {
                     vecIndex++;
                 }
                 tempNum = 0;
-            } else if (strBytes[i] == '.') {
-                if (i + 1 < strBytes.length && strBytes[i + 1] == '.') {
+            } else if (strBytes[i] == ".") {
+                if (i + 1 < strBytes.length && strBytes[i + 1] == ".") {
                     // Handle start of range
                     parsingRange = true;
                     rangeStart = tempNum;
                     tempNum = 0;
                     i++; // Skip next dot
                 }
-            } else if (strBytes[i] >= '0' && strBytes[i] <= '9') {
+            } else if (strBytes[i] >= "0" && strBytes[i] <= "9") {
                 tempNum = tempNum * 10 + (uint8(strBytes[i]) - 48); // Convert ASCII to integer
             }
         }
@@ -108,4 +101,4 @@ library StringToUintArrayLib {
 
         return result;
     }
-}
+}