Verify_Proof

.gitpod.yml

@@ -0,0 +1,11 @@
+# This configuration file was automatically generated by Gitpod.
+# Please adjust to your needs (see https://www.gitpod.io/docs/introduction/learn-gitpod/gitpod-yaml)
+# and commit this file to your remote git repository to share the goodness with others.
+
+# Learn more from ready-to-use templates: https://www.gitpod.io/docs/introduction/getting-started/quickstart
+
+tasks:
+  - init: cargo build
+    command: cargo watch -x run
+
+

Cargo.toml

@@ -14,7 +14,7 @@ members = [
     "nova",
     "spartan",
     "api",
-    "jolt",
+    "jolt", "nexus-project",
 ]
 default-members = [
     "vm",

nexus-project/.cargo/config

@@ -0,0 +1,8 @@
+[build]
+target = "riscv32i-unknown-none-elf"
+
+[target.riscv32i-unknown-none-elf]
+rustflags = [
+  "-C", "link-arg=-Tlink.x",
+]
+runner="nexus-run"

nexus-project/Cargo.toml

@@ -0,0 +1,20 @@
+[package]
+name = "nexus-project"
+edition.workspace = true
+version.workspace = true
+authors.workspace = true
+homepage.workspace = true
+repository.workspace = true
+keywords.workspace = true
+categories.workspace = true
+publish.workspace = true
+
+[dependencies]
+nexus-rt = { git = "https://github.com/nexus-xyz/nexus-zkvm.git", version = "1.0.0" }
+
+# Generated by nexus-tools, do not remove!
+#
+# This profile is used for generating proofs, as Nexus VM support for compiler optimizations is still under development.
+[profile.release-unoptimized]
+inherits = "release"
+opt-level = 0

nexus-project/src/main.rs

@@ -0,0 +1,17 @@
+#![no_std]
+#![no_main]
+
+fn fib(n: u32) -> u32 {
+    match n {
+        0 => 0,
+        1 => 1,
+        _ => fib(n - 1) + fib(n - 2),
+    }
+}
+
+#[nexus_rt::main]
+fn main() {
+    let n = 7;
+    let result = fib(n);
+    assert_eq!(result, 13);
+}