diff --git a/crates/prover/src/lib.rs b/crates/prover/src/lib.rs
index c8460a62f..3c73d6367 100644
--- a/crates/prover/src/lib.rs
+++ b/crates/prover/src/lib.rs
@@ -88,7 +88,7 @@ use components::{CpuProverComponents, SP1ProverComponents};
 /// This string should be updated whenever any step in verifying an SP1 proof changes, including
 /// core, recursion, and plonk-bn254. This string is used to download SP1 artifacts and the gnark
 /// docker image.
-pub const SP1_CIRCUIT_VERSION: &str = include_str!("../../SP1_VERSION");
+pub const SP1_CIRCUIT_VERSION: &str = include_str!("../../../SP1_VERSION");
 
 /// The configuration for the core prover.
 pub type CoreSC = BabyBearPoseidon2;
diff --git a/crates/sdk/src/lib.rs b/crates/sdk/src/lib.rs
index 08d3ccecb..830dc95c0 100644
--- a/crates/sdk/src/lib.rs
+++ b/crates/sdk/src/lib.rs
@@ -57,11 +57,11 @@ pub use sp1_build::include_elf;
 pub use sp1_core_executor::{ExecutionReport, Executor, HookEnv, SP1Context, SP1ContextBuilder};
 
 // Re-export the machine/prover primitives.
-pub use sp1_core_machine::{io::SP1Stdin, riscv::cost::CostEstimator, SP1_CIRCUIT_VERSION};
+pub use sp1_core_machine::{io::SP1Stdin, riscv::cost::CostEstimator};
 pub use sp1_primitives::io::SP1PublicValues;
 pub use sp1_prover::{
     CoreSC, HashableKey, InnerSC, OuterSC, PlonkBn254Proof, ProverMode, SP1Prover, SP1ProvingKey,
-    SP1VerifyingKey,
+    SP1VerifyingKey, SP1_CIRCUIT_VERSION,
 };
 
 // Re-export the utilities.
diff --git a/crates/sdk/src/prover.rs b/crates/sdk/src/prover.rs
index 83f04deb9..6e9deff2d 100644
--- a/crates/sdk/src/prover.rs
+++ b/crates/sdk/src/prover.rs
@@ -8,11 +8,11 @@ use anyhow::Result;
 use itertools::Itertools;
 use p3_field::PrimeField32;
 use sp1_core_executor::{ExecutionReport, SP1Context};
-use sp1_core_machine::{io::SP1Stdin, SP1_CIRCUIT_VERSION};
+use sp1_core_machine::io::SP1Stdin;
 use sp1_primitives::io::SP1PublicValues;
 use sp1_prover::{
     components::SP1ProverComponents, CoreSC, InnerSC, SP1CoreProofData, SP1Prover, SP1ProvingKey,
-    SP1VerifyingKey,
+    SP1VerifyingKey, SP1_CIRCUIT_VERSION,
 };
 use sp1_stark::{air::PublicValues, MachineVerificationError, Word};
 use thiserror::Error;