Cleanup examples

Cargo.toml

@@ -7,9 +7,7 @@ members = [
   "vm/entrypoint",
   "vm/precompiles",
 ]
-exclude = [
-  "examples/hello_world",
-]
+exclude = ["examples/target"]
 resolver = "2"
 
 [workspace.dependencies]

examples/Cargo.toml

@@ -1,5 +1,7 @@
 [workspace]
 members = [
   "fibonacci/script",
+  "hello_world/script",
   "io/script",
 ]
+resolver = "2"

examples/hello_world/script/Cargo.toml

@@ -0,0 +1,11 @@
+[package]
+version = "0.1.0"
+name = "hello_world-script"
+edition = "2021"
+
+[dependencies]
+serde = { version = "1.0.196", features = ["derive"] }
+athena-sdk = { path = "../../../sdk" }
+
+[build-dependencies]
+athena-helper = { path = "../../../helper" }

examples/hello_world/script/build.rs

@@ -0,0 +1,3 @@
+fn main() {
+    athena_helper::build_program(&format!("{}/../program", env!("CARGO_MANIFEST_DIR")));
+}

examples/hello_world/script/src/main.rs

@@ -0,0 +1,18 @@
+use athena_sdk::{utils, ExecutionClient, AthenaStdin};
+
+/// The ELF we want to execute inside the zkVM.
+const ELF: &[u8] = include_bytes!("../../program/elf/riscv32im-succinct-zkvm-elf");
+
+fn main() {
+    // Setup a tracer for logging.
+    utils::setup_logger();
+
+    // Create an input stream.
+    let stdin = AthenaStdin::new();
+
+    // Run the given program.
+    let client = ExecutionClient::new();
+    let _output = client.execute(ELF, stdin).unwrap();
+
+    println!("successful execution")
+}