fix

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;

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.

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;