adding sp1 crate

Author: distractedm1nd

Cargo.lock

@@ -20,6 +20,14 @@ members = [
     "crates/nova",
     "crates/groth16",
     "crates/errors",
+    "crates/sp1",
+]
+default-members = [
+    "crates/prism",
+    "crates/common",
+    "crates/nova",
+    "crates/groth16",
+    "crates/errors",
 ]
 resolver = "2"
 
@@ -68,11 +76,13 @@ sha2 = "0.10.8"
 auto_impl = "1.2.0"
 bincode = "1.3.3"
 blake2 = "0.10.6"
+sp1-zkvm = { version = "1.2.0" }
 prism-common = { path = "crates/common" }
 prism-nova = { path = "crates/nova" }
 prism-errors = { path = "crates/errors" }
 prism-main = { path = "crates/prism" }
 prism-groth16 = { path = "crates/groth16" }
+sp1-helper = "1.2.0"
 
 [patch.crates-io]
 sha2-v0-9-8 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", branch = "patch-sha2-v0.9.8" }

Cargo.toml

@@ -0,0 +1,11 @@
+[package]
+name = "prism-sp1"
+version.workspace = true
+edition.workspace = true
+license.workspace = true
+homepage.workspace = true
+repository.workspace = true
+
+[dependencies]
+prism-common = { workspace = true }
+sp1-zkvm = { workspace = true }

crates/sp1/Cargo.toml

@@ -0,0 +1,34 @@
+#![no_main]
+sp1_zkvm::entrypoint!(main);
+
+use prism_common::tree::{Batch, Digest, Proof};
+
+pub fn main() {
+    println!("cycle-tracker-start: setup");
+    let batch = sp1_zkvm::io::read::<Batch>();
+    let mut current = batch.prev_root;
+    println!("cycle-tracker-end: setup");
+
+    println!("cycle-tracker-start: proof-iteration");
+    for proof in batch.proofs.iter() {
+        match proof {
+            Proof::Update(p) => {
+                assert_eq!(current, Digest::new(p.old_root.into()));
+                println!("cycle-tracker-start: update");
+                assert!(p.verify().is_ok());
+                println!("cycle-tracker-end: update");
+                current = Digest::new(p.new_root.into());
+            }
+            Proof::Insert(p) => {
+                assert_eq!(current, p.non_membership_proof.root);
+                println!("cycle-tracker-start: insert");
+                assert!(p.verify().is_ok());
+                println!("cycle-tracker-end: insert");
+                current = p.new_root;
+            }
+        }
+    }
+    println!("cycle-tracker-end: proof-iteration");
+
+    sp1_zkvm::io::commit_slice(&current.to_bytes());
+}

crates/sp1/src/main.rs

@@ -0,0 +1,3 @@
+[toolchain]
+channel = "1.79.0"
+components = ["llvm-tools", "rustc-dev"]