First working version of SP1 Distributed Prover

Author: Champii

Cargo.lock

@@ -54,9 +54,19 @@ risc0-build = { version = "0.21.0" }
 risc0-binfmt = { version = "0.21.0" }
 
 # SP1
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", branch = "main" }
-sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", branch = "main" }
-sp1-helper = { git = "https://github.com/succinctlabs/sp1.git", branch = "main" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "14eb569d41d24721ffbd407d6060e202482d659c" }
+sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "14eb569d41d24721ffbd407d6060e202482d659c" }
+sp1-helper = { git = "https://github.com/succinctlabs/sp1.git", rev = "14eb569d41d24721ffbd407d6060e202482d659c" }
+sp1-core = { git = "https://github.com/succinctlabs/sp1.git", rev = "14eb569d41d24721ffbd407d6060e202482d659c" }
+
+
+# Plonky3
+p3-field = { git = "https://github.com/Plonky3/Plonky3.git", rev = "88ea2b866e41329817e4761429b4a5a2a9751c07" }
+p3-challenger = { git = "https://github.com/Plonky3/Plonky3.git", rev = "88ea2b866e41329817e4761429b4a5a2a9751c07" }
+p3-poseidon2 = { git = "https://github.com/Plonky3/Plonky3.git", rev = "88ea2b866e41329817e4761429b4a5a2a9751c07" }
+p3-baby-bear = { git = "https://github.com/Plonky3/Plonky3.git", rev = "88ea2b866e41329817e4761429b4a5a2a9751c07" }
+p3-symmetric = { git = "https://github.com/Plonky3/Plonky3.git", rev = "88ea2b866e41329817e4761429b4a5a2a9751c07" }
+
 
 # alloy
 alloy-rlp = { version = "0.3.4", default-features = false }
@@ -149,6 +159,7 @@ secp256k1 = { version = "0.29", default-features = false, features = [
     "global-context",
     "recovery",
 ] }
+async-channel = "2.3.1"
 
 # macro
 syn = { version = "1.0", features = ["full"] }
@@ -188,3 +199,12 @@ revm-primitives = { git = "https://github.com/taikoxyz/revm.git", branch = "v36-
 revm-precompile = { git = "https://github.com/taikoxyz/revm.git", branch = "v36-taiko" }
 secp256k1 = { git = "https://github.com/CeciliaZ030/rust-secp256k1", branch = "sp1-patch" }
 blst = { git = "https://github.com/CeciliaZ030/blst.git", branch = "v0.3.12-serialize" }
+
+# Patch Plonky3 for Serialize and Deserialize of DuplexChallenger
+[patch."https://github.com/Plonky3/Plonky3.git"]
+p3-field = { git = "https://github.com/Champii/Plonky3.git", branch = "serde_patch" }
+p3-challenger = { git = "https://github.com/Champii/Plonky3.git", branch = "serde_patch" }
+p3-poseidon2 = { git = "https://github.com/Champii/Plonky3.git", branch = "serde_patch" }
+p3-baby-bear = { git = "https://github.com/Champii/Plonky3.git", branch = "serde_patch" }
+p3-symmetric = { git = "https://github.com/Champii/Plonky3.git", branch = "serde_patch" }
+

Cargo.toml

@@ -104,6 +104,10 @@ pub enum ProofType {
     ///
     /// Uses the SP1 prover to build the block.
     Sp1,
+    /// # Sp1Distributed
+    ///
+    /// Uses the SP1 prover to build the block in a distributed way.
+    Sp1Distributed,
     /// # Sgx
     ///
     /// Builds the block on a SGX supported CPU to create a proof.
@@ -119,6 +123,7 @@ impl std::fmt::Display for ProofType {
         f.write_str(match self {
             ProofType::Native => "native",
             ProofType::Sp1 => "sp1",
+            ProofType::Sp1Distributed => "sp1_distributed",
             ProofType::Sgx => "sgx",
             ProofType::Risc0 => "risc0",
         })
@@ -132,6 +137,7 @@ impl FromStr for ProofType {
         match s.trim().to_lowercase().as_str() {
             "native" => Ok(ProofType::Native),
             "sp1" => Ok(ProofType::Sp1),
+            "sp1_distributed" => Ok(ProofType::Sp1Distributed),
             "sgx" => Ok(ProofType::Sgx),
             "risc0" => Ok(ProofType::Risc0),
             _ => Err(RaikoError::InvalidProofType(s.to_string())),
@@ -159,6 +165,14 @@ impl ProofType {
                 #[cfg(not(feature = "sp1"))]
                 Err(RaikoError::FeatureNotSupportedError(*self))
             }
+            ProofType::Sp1Distributed => {
+                #[cfg(feature = "sp1")]
+                return sp1_driver::Sp1DistributedProver::run(input, output, config)
+                    .await
+                    .map_err(|e| e.into());
+                #[cfg(not(feature = "sp1"))]
+                Err(RaikoError::FeatureNotSupportedError(*self))
+            }
             ProofType::Risc0 => {
                 #[cfg(feature = "risc0")]
                 return risc0_driver::Risc0Prover::run(input.clone(), output, config)
@@ -179,7 +193,7 @@ impl ProofType {
 
         // Add the kzg proof to the proof if needed
         if let Some(blob_commitment) = input.taiko.blob_commitment.clone() {
-            let kzg_proof = calc_kzg_proof(
+            /* let kzg_proof = calc_kzg_proof(
                 &input.taiko.tx_data,
                 &commitment_to_version_hash(&blob_commitment.try_into().unwrap()),
             )
@@ -188,7 +202,7 @@ impl ProofType {
             proof
                 .as_object_mut()
                 .unwrap()
-                .insert("kzg_proof".to_string(), Value::String(kzg_proof_hex));
+                .insert("kzg_proof".to_string(), Value::String(kzg_proof_hex)); */
         }
 
         Ok(proof)

core/src/interfaces.rs

@@ -82,7 +82,7 @@ ethers-core = { workspace = true }
 
 [features]
 default = []
-sp1 = ["raiko-core/sp1"]
+sp1 = ["raiko-core/sp1", "sp1-driver"]
 risc0 = ["raiko-core/risc0"]
 sgx = ["raiko-core/sgx"]
 

host/Cargo.toml

@@ -39,6 +39,10 @@ fn default_address() -> String {
     "0.0.0.0:8080".to_string()
 }
 
+fn default_worker_address() -> String {
+    "0.0.0.0:8081".to_string()
+}
+
 fn default_concurrency_limit() -> usize {
     16
 }
@@ -69,6 +73,17 @@ pub struct Cli {
     /// [default: 0.0.0.0:8080]
     address: String,
 
+    #[arg(long, require_equals = true, default_value = "0.0.0.0:8081")]
+    #[serde(default = "default_worker_address")]
+    /// Distributed SP1 worker listening address
+    /// [default: 0.0.0.0:8081]
+    worker_address: String,
+
+    #[arg(long, default_value = None)]
+    /// Distributed SP1 worker orchestrator address
+    /// [default: None]
+    orchestrator_address: Option<String>,
+
     #[arg(long, require_equals = true, default_value = "16")]
     #[serde(default = "default_concurrency_limit")]
     /// Limit the max number of in-flight requests

host/src/lib.rs

@@ -5,9 +5,14 @@ use tokio::net::TcpListener;
 use tracing::info;
 
 pub mod api;
+#[cfg(feature = "sp1")]
+pub mod worker;
 
 /// Starts the proverd server.
 pub async fn serve(state: ProverState) -> anyhow::Result<()> {
+    #[cfg(feature = "sp1")]
+    worker::serve(state.clone()).await;
+
     let addr = SocketAddr::from_str(&state.opts.address)
         .map_err(|_| HostError::InvalidAddress(state.opts.address.clone()))?;
     let listener = TcpListener::bind(addr).await?;

host/src/server/mod.rs

@@ -0,0 +1,73 @@
+use crate::ProverState;
+use raiko_lib::prover::{ProverError, WorkerError};
+use sp1_driver::{PartialProofRequest, WorkerProtocol, WorkerSocket};
+use tokio::net::TcpListener;
+use tracing::{error, info, warn};
+
+async fn handle_worker_socket(mut socket: WorkerSocket) -> Result<(), ProverError> {
+    let protocol = socket.receive().await?;
+
+    info!("Received request from orchestrator: {}", protocol);
+
+    match protocol {
+        WorkerProtocol::Ping => {
+            socket.send(WorkerProtocol::Pong).await?;
+        }
+        WorkerProtocol::PartialProofRequest(data) => {
+            process_partial_proof_request(socket, data).await?;
+        }
+        _ => Err(WorkerError::InvalidRequest)?,
+    }
+
+    Ok(())
+}
+
+async fn process_partial_proof_request(
+    mut socket: WorkerSocket,
+    data: PartialProofRequest,
+) -> Result<(), ProverError> {
+    let partial_proof = sp1_driver::Sp1DistributedProver::run_as_worker(data).await?;
+
+    socket
+        .send(WorkerProtocol::PartialProofResponse(partial_proof))
+        .await?;
+
+    Ok(())
+}
+
+async fn listen_worker(state: ProverState) {
+    info!(
+        "Listening as a SP1 worker on: {}",
+        state.opts.worker_address
+    );
+
+    let listener = TcpListener::bind(state.opts.worker_address).await.unwrap();
+
+    loop {
+        let Ok((socket, addr)) = listener.accept().await else {
+            error!("Error while accepting connection from orchestrator: Closing socket");
+
+            return;
+        };
+
+        if let Some(orchestrator_address) = &state.opts.orchestrator_address {
+            if addr.ip().to_string() != *orchestrator_address {
+                warn!("Unauthorized orchestrator connection from: {}", addr);
+
+                continue;
+            }
+        }
+
+        // We purposely don't spawn the task here, as we want to block to limit the number
+        // of concurrent connections to one.
+        if let Err(e) = handle_worker_socket(WorkerSocket::new(socket)).await {
+            error!("Error while handling worker socket: {:?}", e);
+        }
+    }
+}
+
+pub async fn serve(state: ProverState) {
+    if state.opts.orchestrator_address.is_some() {
+        tokio::spawn(listen_worker(state));
+    }
+}

host/src/server/worker.rs

@@ -71,4 +71,4 @@ std = [
 sgx = []
 sp1 = []
 risc0 = []
-sp1-cycle-tracker = []
+sp1-cycle-tracker = []

lib/Cargo.toml

@@ -11,6 +11,8 @@ pub enum ProverError {
     FileIo(#[from] std::io::Error),
     #[error("ProverError::Param `{0}`")]
     Param(#[from] serde_json::Error),
+    #[error("ProverError::Worker `{0}`")]
+    Worker(#[from] WorkerError),
 }
 
 impl From<String> for ProverError {
@@ -37,3 +39,21 @@ pub fn to_proof(proof: ProverResult<impl Serialize>) -> ProverResult<Proof> {
         serde_json::to_value(res).map_err(|err| ProverError::GuestError(err.to_string()))
     })
 }
+
+#[derive(ThisError, Debug)]
+pub enum WorkerError {
+    #[error("All workers failed")]
+    AllWorkersFailed,
+    #[error("Worker IO error: {0}")]
+    IO(#[from] std::io::Error),
+    #[error("Worker Serde error: {0}")]
+    Serde(#[from] bincode::Error),
+    #[error("Worker invalid magic number")]
+    InvalidMagicNumber,
+    #[error("Worker invalid request")]
+    InvalidRequest,
+    #[error("Worker invalid response")]
+    InvalidResponse,
+    #[error("Worker payload too big")]
+    PayloadTooBig,
+}

lib/src/prover.rs

@@ -16,17 +16,32 @@ alloy-sol-types = { workspace = true }
 serde = {  workspace = true , optional = true}
 serde_json = { workspace = true , optional = true }
 sp1-sdk = { workspace = true, optional = true }
+sp1-core = { workspace = true, optional = true }
 anyhow = { workspace = true, optional = true }
 once_cell = { workspace = true, optional = true }
 sha3 = { workspace = true, optional = true, default-features = false}
 
+log = { workspace = true }
+tokio = { workspace = true }
+async-channel = { workspace = true }
+tracing = { workspace = true }
+tempfile = { workspace = true }
+bincode = { workspace = true }
+
+p3-field = { workspace = true }
+p3-challenger = { workspace = true }
+p3-poseidon2 = { workspace = true }
+p3-baby-bear = { workspace = true }
+p3-symmetric = { workspace = true }
+
 
 [features]
 enable = [
     "serde",
     "serde_json",
     "raiko-lib",
     "sp1-sdk",
+    "sp1-core",
     "anyhow",
     "alloy-primitives",
     "once_cell",