compile feature

anylots · anylots · commit 8e7c62050ac1 · 2026-02-26T23:30:47.000+08:00
diff --git a/prover/Cargo.toml b/prover/Cargo.toml
@@ -129,7 +129,7 @@ sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", tag = "v5.2.4" }
 sp1-verifier = { git = "https://github.com/succinctlabs/sp1.git", tag = "v5.2.4" }
 
 # Workspace Members
-morph-prove = { path = "bin/host" }
+morph-prove = { path = "bin/host", default-features = false }
 prover-executor-client = { path = "crates/executor/client" }
 prover-executor-core = { path = "crates/executor/core" }
 prover-executor-host = { path = "crates/executor/host" }
diff --git a/prover/README.md b/prover/README.md
@@ -47,7 +47,7 @@ To generate a PLONK proof that is small enough to be verified on-chain and verif
 // use network prover
 cargo run --release --package morph-prove --bin prove  -- --block-path ./testdata/mpt/mainnet_25215.json --prove
 // use local cpu prover
-cargo run --release --no-default-features --features local --package morph-prove --bin prove  -- --block-path ./testdata/mpt/mainnet_25215.json --prove
+cargo run --release --features local --package morph-prove --bin prove  -- --block-path ./testdata/mpt/mainnet_25215.json --prove
 // prove specified block range
 cargo run --release --package morph-prove --bin prove  -- --start-block 0x35 --end-block 0x37 --rpc http://127.0.0.1:8545 --use-rpc-db --prove
 ```
diff --git a/prover/bin/host/src/lib.rs b/prover/bin/host/src/lib.rs
@@ -8,7 +8,7 @@ use prover_primitives::{alloy_primitives::keccak256, B256};
 use prover_utils::read_env_var;
 #[cfg(feature = "local")]
 use sp1_sdk::CpuProver;
-#[cfg(feature = "network")]
+#[cfg(all(feature = "network", not(feature = "local")))]
 use sp1_sdk::{network::NetworkMode, NetworkProver};
 use sp1_sdk::{HashableKey, Prover, ProverClient, SP1ProvingKey, SP1Stdin, SP1VerifyingKey};
 use sp1_verifier::PlonkVerifier;
@@ -27,16 +27,21 @@ pub struct BatchProver<C> {
     vk: SP1VerifyingKey,
 }
 
-#[cfg(feature = "network")]
-pub type DefaultClient = NetworkProver;
 #[cfg(feature = "local")]
 pub type DefaultClient = CpuProver;
+#[cfg(all(feature = "network", not(feature = "local")))]
+pub type DefaultClient = NetworkProver;
+
+// If both features are enabled (e.g. defaults + `--features local`), prefer `local`.
+// If neither is enabled, fail fast with a clear message.
+#[cfg(all(not(feature = "local"), not(feature = "network")))]
+compile_error!("One of `local` or `network` features must be enabled for morph-prove.");
 
 /// A batch prover that uses the default proving client based on the feature flag.
 impl Default for BatchProver<DefaultClient> {
     fn default() -> Self {
         let prover_client = {
-            #[cfg(feature = "network")]
+            #[cfg(all(feature = "network", not(feature = "local")))]
             {
                 ProverClient::builder()
                     .network_for(NetworkMode::Mainnet)
