diff --git a/README.md b/README.md
index ff4a538..534e26d 100644
--- a/README.md
+++ b/README.md
@@ -25,6 +25,7 @@ Verifier contracts for consensus proofs are auto-generated via the [`privacy-sca
 Spectre uses `abigen` macro to generate smart contract types and `rstest` for consensus spec tests. To ensure that all the necessary data for macros expansion is present during first build or testing, please run:
 
 ```
+git submodule update --init --recursive
 just build-contracts
 just download-spec-tests
 ``` 
diff --git a/contracts b/contracts
index 4418b0d..a430cae 160000
--- a/contracts
+++ b/contracts
@@ -1 +1 @@
-Subproject commit 4418b0d2b4a28a79405558954a1721f1793ddc0d
+Subproject commit a430caeb3678582b73e3ee73b6f001bd9d1e75ca
diff --git a/lightclient-circuits/src/gadget/crypto/sha256_wide.rs b/lightclient-circuits/src/gadget/crypto/sha256_wide.rs
index 7ba1168..c97a269 100644
--- a/lightclient-circuits/src/gadget/crypto/sha256_wide.rs
+++ b/lightclient-circuits/src/gadget/crypto/sha256_wide.rs
@@ -82,7 +82,7 @@ impl<'a, F: Field> HashInstructions<F> for Sha256ChipWide<'a, F> {
         for r in 0..num_input_rounds {
             let remaining_words = num_input_words - r * NUM_WORDS_TO_ABSORB;
 
-            for w in 0..std::cmp::min(remaining_words, NUM_WORDS_TO_ABSORB){
+            for w in 0..std::cmp::min(remaining_words, NUM_WORDS_TO_ABSORB) {
                 let i = (r * NUM_WORDS_TO_ABSORB + w) * 4;
                 let checksum = gate.inner_product(
                     builder.main(),
@@ -127,4 +127,3 @@ pub fn word_to_bytes_le<F: Field>(
         .chain(to_bytes_le::<_, 16>(&word.hi(), gate, ctx))
         .collect()
 }
-
diff --git a/lightclient-circuits/tests/step.rs b/lightclient-circuits/tests/step.rs
index 51c2e44..edd0b54 100644
--- a/lightclient-circuits/tests/step.rs
+++ b/lightclient-circuits/tests/step.rs
@@ -110,7 +110,10 @@ fn run_test_eth2_spec_mock<const K_ROTATION: u32, const K_SYNC: u32>(path: PathB
     end_timer!(timer);
 
     // check that sync committee poseidon commits match in both circuits
-    assert_eq!(sync_circuit.instances()[0][1], rotation_circuit.instances()[0][0]);
+    assert_eq!(
+        sync_circuit.instances()[0][1],
+        rotation_circuit.instances()[0][0]
+    );
 }
 
 #[rstest]
diff --git a/test-utils/src/lib.rs b/test-utils/src/lib.rs
index 08dc587..8c6fe2a 100644
--- a/test-utils/src/lib.rs
+++ b/test-utils/src/lib.rs
@@ -40,7 +40,8 @@ pub fn get_initial_sync_committee_poseidon<const EPOCHS_PER_SYNC_COMMITTEE_PERIO
         .iter()
         .map(|pk| pk.decompressed_bytes())
         .collect_vec();
-    let committee_poseidon = poseidon_committee_commitment_from_uncompressed(&pubkeys_uncompressed, LIMB_BITS);
+    let committee_poseidon =
+        poseidon_committee_commitment_from_uncompressed(&pubkeys_uncompressed, LIMB_BITS);
     let committee_poseidon =
         ethers::prelude::U256::from_little_endian(&committee_poseidon.to_bytes());
     let sync_period = (bootstrap.header.beacon.slot as usize) / EPOCHS_PER_SYNC_COMMITTEE_PERIOD;