Modify for single nested recursion

Author: jzaki

how-to/recursive-proofs/circuits/not_odd/src/main.nr

@@ -5,3 +5,4 @@ authors = [""]
 compiler_version = ">=0.26.0"
 
 [dependencies]
+sumLib = { path = "../sumLib" }

how-to/recursive-proofs/circuits/recurse/src/main.nr

@@ -0,0 +1,20 @@
+use dep::std;
+use dep::sumLib::secretSum;
+
+#[recursive]
+fn main(
+    verification_key: [Field; 114],
+    public_inputs: pub [Field; 3],
+    key_hash: Field,
+    proof: [Field; 93],
+    num: u64
+) -> pub u64 {
+    // verify sum so far was computed correctly
+    std::verify_proof(
+        verification_key.as_slice(),
+        proof.as_slice(),
+        public_inputs.as_slice(),
+        key_hash
+    );
+    secretSum((public_inputs[2] as u64), num)
+}

how-to/recursive-proofs/circuits/recurse/Nargo.toml renamed to how-to/recursive-proofs/circuits/recurseLeaf/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "recurse"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.26.0"
+
+[dependencies]
+sumLib = { path = "../sumLib" }

how-to/recursive-proofs/circuits/recurseLeaf/src/main.nr

@@ -0,0 +1,17 @@
+use dep::std;
+
+fn main(
+    verification_key: [Field; 114],
+    public_inputs: pub [Field; 6],
+    key_hash: Field,
+    proof: [Field; 109]
+) -> pub u64 {
+    // verify sum was computed correctly
+    std::verify_proof(
+        verification_key.as_slice(),
+        proof.as_slice(),
+        public_inputs.as_slice(),
+        key_hash
+    );
+    public_inputs[5] as u64
+}

how-to/recursive-proofs/circuits/recurseNode/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "sum"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.26.0"
+
+[dependencies]
+sumLib = { path = "../sumLib" }

how-to/recursive-proofs/circuits/recurseNode/src/main.nr

@@ -0,0 +1,11 @@
+use dep::sumLib::secretSum;
+
+#[recursive]
+fn main(a: pub u64, b: pub u64) -> pub u64 {
+    secretSum(a, b)
+}
+
+#[test]
+fn test_not_equal() {
+    assert(main(1, 3) == 4);
+}

how-to/recursive-proofs/circuits/sum/Nargo.toml

@@ -1,6 +1,6 @@
 [package]
-name = "simple"
-type = "bin"
+name = "sumLib"
+type = "lib"
 authors = [""]
 compiler_version = ">=0.26.0"
 

how-to/recursive-proofs/circuits/sum/src/main.nr

@@ -0,0 +1,10 @@
+pub fn secretSum(a: u64, b: u64) -> u64 {
+    a + b
+}
+
+#[test]
+fn test_sum() {
+    assert(secretSum(1, 2) == 3);
+    // Uncomment to make test fail
+    // assert(secretSum(1, 1) == 3);
+}