diff --git a/Scarb.toml b/Scarb.toml
index 95f216540..bfd711c14 100644
--- a/Scarb.toml
+++ b/Scarb.toml
@@ -2,9 +2,15 @@
 name = "cairo_verifier"
 version = "0.1.0"
 
+
+
 [[target.starknet-contract]]
 sierra = true
 casm = true
 
+[lib]
+sierra = true
+casm = true
+
 [dependencies]
 snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.24.0" }
diff --git a/fact_registry/src/verifier.cairo b/fact_registry/src/verifier.cairo
index b63cfc2c0..2b63c8040 100644
--- a/fact_registry/src/verifier.cairo
+++ b/fact_registry/src/verifier.cairo
@@ -98,7 +98,9 @@ mod CairoVerifier {
 
             let fact = PoseidonImpl::new().update(program_hash).update(output_hash).finalize();
 
-            let (con, var, last_layer_coefficients) = stark_proof.verify_initial(SECURITY_BITS);
+            let (con, var, last_layer_coefficients) = stark_proof.verify_initial(
+                SECURITY_BITS, self.contract_address_1.read(), self.contract_address_2.read()
+            );
             self.state_constant.write(job_id, Option::Some(hash_constant(@con)));
             self.state_variable.write(job_id, Option::Some(hash_variable(@var)));
             self.state_fact.write(job_id, Option::Some(fact));