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