feat: aggregated-mode structure + silly sp1 program

Author: MarcosNicolau

aggregation-mode/Cargo.lock

@@ -0,0 +1,19 @@
+[package]
+name = "proof_aggregator"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+sp1-sdk = "4.1.3"
+zkvm_sp1_interface = { path = "./zkvm/sp1/", package = "sp1_verifier_program" }
+serde = { version = "1.0.203", features = ["derive"] }
+serde_json = "1.0.117"
+tracing = { version = "0.1", features = ["log"] }
+tracing-subscriber = { version = "0.3.0", features = ["env-filter"] }
+
+[build-dependencies]
+sp1-build = "4.1.3" 
+
+[profile.release]
+opt-level = 3
+lto = true

aggregation-mode/Cargo.toml

@@ -0,0 +1,8 @@
+fn main() {
+    sp1_build::build_program_with_args("./zkvm/sp1", {
+        sp1_build::BuildArgs {
+            output_directory: Some("./zkvm/sp1/elf".to_string()),
+            ..Default::default()
+        }
+    })
+}

aggregation-mode/build.rs

@@ -0,0 +1,3 @@
+
+## Aligned aggregation mode
+

aggregation-mode/readme.md

@@ -0,0 +1 @@
+sp1/elf/