Merge pull request #10 from kroma-network/feat/rename-to-mmp

refac: rename `multi-prover` to `mmp`

examples/fibonacci/script/src/main.rs

@@ -8,7 +8,7 @@
 
 use clap::Parser;
 use fibonacci_script::FibonacciArgs;
-use sp1_sdk::multi_prover::{common::ProveArgs, scenario};
+use sp1_sdk::mmp::{common::ProveArgs, scenario};
 
 pub const FIBONACCI_ELF: &[u8] = include_bytes!("../../program/elf/riscv32im-succinct-zkvm-elf");
 
@@ -24,5 +24,5 @@ fn main() {
  };
 
  let (core_proof, _, plonk_proof) = scenario::plonk_prove::mpc_prove_plonk(&args).unwrap();
- scenario::plonk_prove::scenario_end(&args, &core_proof, &plonk_proof)
+ let _ = scenario::plonk_prove::scenario_end(&args, &core_proof, &plonk_proof);
 }

sdk/src/lib.rs

@@ -12,7 +12,7 @@ pub mod proto {
 pub mod action;
 pub mod artifacts;
 pub mod install;
-pub mod multi_prover;
+pub mod mmp;
 #[cfg(feature = "network")]
 pub mod network;
 #[cfg(feature = "network")]

sdk/src/multi_prover/common/memory_layouts.rs → sdk/src/mmp/common/memory_layouts.rs

@@ -1,5 +1,5 @@
 use super::types::{DeferredLayout, RecursionLayout, ReduceLayout};
-use crate::multi_prover::operator::utils::ChallengerState;
+use crate::mmp::operator::utils::ChallengerState;
 use p3_baby_bear::BabyBear;
 use serde::{Deserialize, Serialize};
 use sp1_core::{air::Word, stark::ShardProof, utils::BabyBearPoseidon2};

sdk/src/multi_prover/operator/mod.rs → sdk/src/mmp/operator/mod.rs

@@ -1,8 +1,8 @@
 pub mod steps;
 pub mod utils;
 
-use crate::multi_prover::common::{self, ProveArgs};
-use crate::multi_prover::common::{
+use crate::mmp::common::{self, ProveArgs};
+use crate::mmp::common::{
  memory_layouts::{SerializableDeferredLayout, SerializableRecursionLayout},
  types::{CommitmentType, PublicValueStreamType},
 };

sdk/src/multi_prover/operator/steps.rs → sdk/src/mmp/operator/steps.rs

@@ -1,10 +1,10 @@
 use crate::install::try_install_plonk_bn254_artifacts;
-use crate::multi_prover::common::memory_layouts::SerializableReduceLayout;
-use crate::multi_prover::common::types::{
+use crate::mmp::common::memory_layouts::SerializableReduceLayout;
+use crate::mmp::common::types::{
  ChallengerType, CheckpointType, CommitmentType, PublicValueStreamType, PublicValuesType,
  RecordType,
 };
-use crate::multi_prover::common::{self, ProveArgs};
+use crate::mmp::common::{self, ProveArgs};
 use anyhow::Result;
 use p3_baby_bear::BabyBear;
 use p3_challenger::CanObserve;

sdk/src/multi_prover/operator/utils.rs → sdk/src/mmp/operator/utils.rs

@@ -3,7 +3,7 @@ use serde::{Deserialize, Serialize};
 use sp1_core::utils::baby_bear_poseidon2::Perm;
 use std::{fs::File, io::Read};
 
-use crate::multi_prover::common::types::ChallengerType;
+use crate::mmp::common::types::ChallengerType;
 
 pub fn read_bin_file_to_vec(mut file: File) -> Result<Vec<u8>> {
  let metadata = file.metadata()?;

sdk/src/multi_prover/scenario/compress_prove.rs → sdk/src/mmp/scenario/compress_prove.rs

@@ -1,6 +1,6 @@
 use super::core_prove::mpc_prove_core;
-use crate::multi_prover::common;
-use crate::multi_prover::{
+use crate::mmp::common;
+use crate::mmp::{
  common::ProveArgs,
  operator::{operator_prepare_compress_input_chunks, operator_prepare_compress_inputs},
  scenario,

sdk/src/multi_prover/scenario/core_prove.rs → sdk/src/mmp/scenario/core_prove.rs

@@ -1,5 +1,5 @@
-use crate::multi_prover::common;
-use crate::multi_prover::{
+use crate::mmp::common;
+use crate::mmp::{
  common::ProveArgs,
  operator::{
  operator_absorb_commits, operator_construct_sp1_core_proof, operator_split_into_checkpoints,

sdk/src/multi_prover/scenario/plonk_prove.rs → sdk/src/mmp/scenario/plonk_prove.rs

@@ -1,5 +1,5 @@
 use super::compress_prove::mpc_prove_compress;
-use crate::multi_prover::{
+use crate::mmp::{
  common::{self, ProveArgs},
  operator::{operator_prove_plonk, operator_prove_shrink},
 };

sdk/src/multi_prover/worker/mod.rs → sdk/src/mmp/worker/mod.rs

@@ -1,8 +1,8 @@
 pub mod steps;
 
-use crate::multi_prover::common;
-use crate::multi_prover::common::memory_layouts::SerializableReduceLayout;
-use crate::multi_prover::{
+use crate::mmp::common;
+use crate::mmp::common::memory_layouts::SerializableReduceLayout;
+use crate::mmp::{
  common::{
  memory_layouts::{SerializableDeferredLayout, SerializableRecursionLayout},
  types::LayoutType,

sdk/src/multi_prover/worker/steps.rs → sdk/src/mmp/worker/steps.rs

@@ -1,11 +1,11 @@
-use crate::multi_prover::common;
-use crate::multi_prover::common::memory_layouts::{
+use crate::mmp::common;
+use crate::mmp::common::memory_layouts::{
  SerializableDeferredLayout, SerializableRecursionLayout, SerializableReduceLayout,
 };
-use crate::multi_prover::common::types::{
+use crate::mmp::common::types::{
  ChallengerType, CommitmentType, DeferredLayout, RecordType, RecursionLayout, ReduceLayout,
 };
-use crate::multi_prover::common::ProveArgs;
+use crate::mmp::common::ProveArgs;
 use anyhow::Result;
 use p3_baby_bear::BabyBear;
 use p3_field::AbstractField;