feat: risc0, sp1 zkvm programs

Author: MarcosNicolau

examples/L2/zkvm_programs/Cargo.lock

@@ -0,0 +1,6 @@
+[workspace]
+name = "zkvm_state_transition_programs"
+version = "0.1.0"
+edition = "2021"
+resolver = "2"
+members = ["sp1", "risc0"]

examples/L2/zkvm_programs/Cargo.toml

@@ -0,0 +1,13 @@
+[package]
+name = "risc0_state_transition_program"
+version = "0.1.0"
+edition = "2021"
+resolver = "2"
+
+[dependencies]
+serde = { version = "1.0.203" }
+serde_json = "1.0.117"
+risc0-zkvm = { git = "https://github.com/risc0/risc0", tag="v2.0.0", default-features = false, features = ["unstable", "std"] }
+
+[lib]
+path = "./src/lib.rs"

examples/L2/zkvm_programs/risc0/Cargo.toml

@@ -0,0 +1,24 @@
+#![no_main]
+
+use lambdaworks_crypto::merkle_tree::merkle::MerkleTree;
+use risc0_aggregation_program::{Input, Risc0ImageIdAndPubInputs};
+use risc0_zkvm::guest::env;
+
+risc0_zkvm::guest::entry!(main);
+
+fn main() {
+    let input = env::read::<Input>();
+
+    for Risc0ImageIdAndPubInputs {
+        image_id,
+        public_inputs,
+    } in &input.proofs_image_id_and_pub_inputs
+    {
+        env::verify(image_id.clone(), &public_inputs).expect("proof to be verified correctly");
+    }
+
+    let merkle_tree: MerkleTree<Risc0ImageIdAndPubInputs> =
+        MerkleTree::build(&input.proofs_image_id_and_pub_inputs).unwrap();
+
+    env::commit_slice(&merkle_tree.root);
+}

examples/L2/zkvm_programs/risc0/src/lib.rs

@@ -0,0 +1,13 @@
+[package]
+name = "sp1_state_transition_program"
+version = "0.1.0"
+edition = "2021"
+resolver = "2"
+
+[dependencies]
+sp1-zkvm = { version = "4.1.3", features = ["verify"] }
+serde = { version = "1.0.203", features = ["derive"] }
+serde_json = "1.0.117"
+
+[lib]
+path = "./src/lib.rs"

examples/L2/zkvm_programs/risc0/src/main.rs

@@ -0,0 +1,24 @@
+#![no_main]
+sp1_zkvm::entrypoint!(main);
+
+use lambdaworks_crypto::merkle_tree::merkle::MerkleTree;
+use sha2::{Digest, Sha256};
+use sha3::Keccak256;
+use sp1_aggregation_program::{Input, SP1VkAndPubInputs};
+
+pub fn main() {
+    let input = sp1_zkvm::io::read::<Input>();
+
+    // Verify the proofs.
+    for proof in input.proofs_vk_and_pub_inputs.iter() {
+        let vkey = proof.vk;
+        let public_values = &proof.public_inputs;
+        let public_values_digest = Sha256::digest(public_values);
+        sp1_zkvm::lib::verify::verify_sp1_proof(&vkey, &public_values_digest.into());
+    }
+
+    let merkle_tree: MerkleTree<SP1VkAndPubInputs> =
+        MerkleTree::build(&input.proofs_vk_and_pub_inputs).unwrap();
+
+    sp1_zkvm::io::commit_slice(&merkle_tree.root);
+}