Compile apps to Wasm

Author: imikushin

Cargo.lock

@@ -21,8 +21,9 @@ axum-macros = { version = "0.5.0" }
 bincode = { version = "1.3.3" }
 bitcoin = { workspace = true, features = ["rand", "rand-std"] }
 bitcoincore-rpc = { version = "0.19.0" }
-charms-client = { path = "./charms-client", version = "0.6.4" }
-charms-data = { path = "./charms-data", version = "0.6.4" }
+charms-app-runner = { path = "./charms-app-runner", version = "0.7.0" }
+charms-client = { path = "./charms-client", version = "0.7.0" }
+charms-data = { path = "./charms-data", version = "0.7.0" }
 clap = { version = "4.5.40", features = ["derive"] }
 clap_complete = { version = "4.5.54" }
 cml-chain = { workspace = true }
@@ -32,13 +33,15 @@ serde = { workspace = true, features = ["derive"] }
 serde_json = { workspace = true }
 serde_with = { version = "3.13.0", features = ["base64"] }
 serde_yaml = { workspace = true }
+sha2 = { workspace = true }
 sp1-core-executor = { workspace = true }
 sp1-core-machine = { workspace = true }
 sp1-cuda = { workspace = true }
 sp1-primitives = { workspace = true }
 sp1-prover = { workspace = true }
 sp1-sdk = { workspace = true }
 tokio = { version = "1.45", features = ["full"] }
+toml = { version = "0.8.23" }
 tower-http = { version = "0.6.6", features = ["cors"] }
 tracing = { workspace = true }
 tracing-forest = { version = "0.1.6" }
@@ -55,7 +58,8 @@ proptest-derive = { workspace = true }
 
 [workspace]
 members = [
-    ".",
+    ".", "charms-app-checker",
+    "charms-app-runner",
     "charms-client",
     "charms-data",
     "charms-sdk",
@@ -76,6 +80,7 @@ proptest-derive = { version = "0.5.1" }
 serde = { version = "1.0" }
 serde_json = { version = "1.0.140" }
 serde_yaml = { version = "0.9.34" }
+sha2 = { version = "0.10.8" }
 sp1-core-executor = { version = "5.0.5" }
 sp1-core-machine = { version = "5.0.5" }
 sp1-cuda = { version = "5.0.5" }
@@ -99,3 +104,4 @@ strip = "debuginfo"
 [patch.crates-io]
 secp256k1 = { git = "https://github.com/sp1-patches/rust-secp256k1", tag = "patch-0.29.1-sp1-5.0.0" }
 sha2 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", tag = "patch-sha2-0.10.8-sp1-4.0.0" }
+wasmi = { git = "https://github.com/imikushin/wasmi", branch = "rust-1.85" }

Cargo.toml

@@ -0,0 +1,15 @@
+[package]
+name = "charms-app-checker"
+
+version.workspace = true
+authors.workspace = true
+edition.workspace = true
+license.workspace = true
+
+[dependencies]
+charms-app-runner = { path = "../charms-app-runner", version = "0.7.0" }
+charms-data = { path = "../charms-data", version = "0.7.0" }
+charms-client = { path = "../charms-client", version = "0.7.0" }
+serde = { workspace = true, features = ["derive"] }
+sp1-primitives = { workspace = true }
+sp1-zkvm = { workspace = true, features = ["verify"] }

charms-app-checker/Cargo.toml

@@ -0,0 +1,34 @@
+use charms_client::{AppProverInput, AppProverOutput};
+use charms_data::util;
+
+pub fn main() {
+    // Read an input to the program.
+    let input_vec = sp1_zkvm::io::read_vec();
+    let input: AppProverInput = util::read(input_vec.as_slice()).unwrap();
+
+    let output = run(input);
+
+    eprintln!("about to commit");
+
+    // Commit to the public values of the program.
+    let output_vec = util::write(&output).unwrap();
+    sp1_zkvm::io::commit_slice(output_vec.as_slice());
+}
+
+fn run(input: AppProverInput) -> AppProverOutput {
+    let app_runner = charms_app_runner::AppRunner::new();
+    let AppProverInput {
+        app_binaries,
+        tx,
+        app_public_inputs,
+        app_private_inputs,
+    } = input;
+    let cycles = app_runner
+        .run_all(&app_binaries, &tx, &app_public_inputs, &app_private_inputs)
+        .expect("all apps should run successfully");
+    AppProverOutput {
+        tx,
+        app_public_inputs,
+        cycles,
+    }
+}

charms-app-checker/src/bin.rs

@@ -0,0 +1 @@
+pub mod bin;

charms-app-checker/src/lib.rs

@@ -0,0 +1,2 @@
+#![no_main]
+sp1_zkvm::entrypoint!(charms_app_checker::bin::main);

charms-app-checker/src/main.rs

@@ -0,0 +1,14 @@
+[package]
+name = "charms-app-runner"
+description = "Charms app runner"
+
+version.workspace = true
+authors.workspace = true
+edition.workspace = true
+license.workspace = true
+
+[dependencies]
+anyhow = { workspace = true }
+charms-data = { path = "../charms-data", version = "0.7.0" }
+sha2 = { workspace = true }
+wasmi = { version = "0.47.0", default-features = false, features = ["std", "prefer-btree-collections"] }