feat: sp1-sdk, remote prover (#370)

Co-authored-by: mattstam <[email protected]>

Cargo.toml

@@ -1,15 +1,16 @@
 [workspace]
 members = [
-    "core",
     "cli",
+    "core",
     "derive",
-    "zkvm/*",
-    "helper",
     "eval",
+    "helper",
     "recursion/core",
     "recursion/compiler",
     "recursion/circuit",
     "recursion/program",
+    "sdk",
+    "zkvm/*",
 ]
 exclude = ["examples/target"]
 resolver = "2"

cli/Cargo.toml

@@ -12,7 +12,8 @@ vergen = { version = "8", default-features = false, features = ["build", "git",
 anyhow = { version = "1.0.79", features = ["backtrace"] }
 cargo_metadata = "0.18.1"
 clap = { version = "4.4.15", features = ["derive", "env"] }
-sp1-core = { path = "../core", features = ["perf"] }
+sp1-core = { path = "../core" }
+sp1-sdk = { path = "../sdk" }
 reqwest = { version = "0.11.3", features = ["stream", "json", "rustls-tls"], default-features = false }
 futures-util = "0.3.14"
 indicatif = "0.15.0"

cli/src/assets/script/Cargo.toml

@@ -5,7 +5,7 @@ name = "unnamed-script"
 edition = "2021"
 
 [dependencies]
-sp1-core = { git = "https://github.com/succinctlabs/sp1.git" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git" }
 
 [build-dependencies]
 sp1-helper = { git = "https://github.com/succinctlabs/sp1.git" }

cli/src/assets/script/main.rs

@@ -1,6 +1,6 @@
 //! A simple script to generate and verify the proof of a given program.
 
-use sp1_core::{SP1Prover, SP1Stdin, SP1Verifier};
+use sp1_sdk::{SP1Prover, SP1Stdin, SP1Verifier};
 
 const ELF: &[u8] = include_bytes!("../../program/elf/riscv32im-succinct-zkvm-elf");
 

cli/src/commands/prove.rs

@@ -1,10 +1,7 @@
 use anstyle::*;
 use anyhow::Result;
 use clap::Parser;
-use sp1_core::{
-    utils::{self},
-    SP1Prover, SP1Stdin,
-};
+use sp1_sdk::{utils, SP1Prover, SP1Stdin};
 use std::time::Instant;
 use std::{env, fs::File, io::Read, path::PathBuf, str::FromStr};
 

core/src/lib.rs

@@ -9,6 +9,7 @@
     clippy::unnecessary_unwrap,
     clippy::default_constructed_unit_structs,
     clippy::box_default,
+    deprecated,
     incomplete_features
 )]
 #![feature(generic_const_exprs)]
@@ -20,6 +21,7 @@ pub mod alu;
 pub mod bytes;
 pub mod cpu;
 pub mod disassembler;
+#[deprecated(note = "Import from sp1_sdk instead of sp1_core")]
 pub mod io;
 pub mod lookup;
 pub mod memory;
@@ -43,13 +45,16 @@ use std::fs;
 use utils::{prove_core, run_and_prove, BabyBearPoseidon2};
 
 /// A prover that can prove RISCV ELFs.
+#[deprecated(note = "Import from sp1_sdk instead of sp1_core")]
 pub struct SP1Prover;
 
 /// A verifier that can verify proofs generated by `SP1Prover`.
+#[deprecated(note = "Import from sp1_sdk instead of sp1_core")]
 pub struct SP1Verifier;
 
 /// A proof of a RISCV ELF execution with given inputs and outputs.
 #[derive(Serialize, Deserialize)]
+#[deprecated(note = "Import from sp1_sdk instead of sp1_core")]
 pub struct SP1ProofWithIO<SC: StarkGenericConfig + Serialize + DeserializeOwned> {
     #[serde(with = "proof_serde")]
     pub proof: Proof<SC>,

eval/Cargo.toml

@@ -5,6 +5,7 @@ edition = "2021"
 
 [dependencies]
 sp1-core = { path = "../core" }
+sp1-sdk = { path = "../sdk" }
 clap = { version = "4.4.0", features = ["derive"] }
 csv = "1.3.0"
 serde = "1.0.196"

eval/src/main.rs

@@ -2,8 +2,9 @@ use clap::{command, Parser};
 use csv::WriterBuilder;
 use serde::Serialize;
 use sp1_core::runtime::{Program, Runtime};
-use sp1_core::utils::{get_cycles, prove_core, BabyBearBlake3, BabyBearKeccak, BabyBearPoseidon2};
-use sp1_core::{SP1ProofWithIO, SP1Stdin, SP1Stdout, SP1Verifier};
+use sp1_core::utils::{get_cycles, prove_core};
+use sp1_sdk::utils::{BabyBearBlake3, BabyBearKeccak, BabyBearPoseidon2};
+use sp1_sdk::{SP1ProofWithIO, SP1Stdin, SP1Stdout, SP1Verifier};
 use std::fmt;
 use std::fs::OpenOptions;
 use std::io;