merge github workflows

.github/workflows/rust.yml

@@ -73,3 +73,56 @@ jobs:
         run: |
           cd backend
           cargo run --release --example summa_solvency_flow
+
+  test-zk-prover:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Test Zk Prover
+        run: |
+          cd zk_prover
+          cargo test --release --features dev-graph -- --nocapture
+
+  test-zk-prover-examples:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Install solc
+        run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.20 && solc --version
+      - name: Test Zk Prover examples
+        run: |
+          cd zk_prover
+          cargo run --release --example gen_inclusion_verifier
+          cargo run --release --example gen_commitment
+          cargo run --release --example gen_inclusion_proof
+
+  test-zk-prover-examples-nova:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Test Zk Prover examples
+        run: |
+          cd zk_prover
+          cargo run --release --example nova_incremental_verifier
+
+  test-backend:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+      - name: Test backend
+        run: |
+          cd backend
+          cargo test --release -- --nocapture
+
+  test-backend-examples:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+      - name: Test backend example
+        run: |
+          cd backend
+          cargo run --release --example summa_solvency_flow

zk_prover/src/merkle_sum_tree/utils/build_tree.rs

@@ -12,7 +12,7 @@ where
 {
     let mut tree: Vec<Vec<Node<N_CURRENCIES>>> = Vec::with_capacity(depth + 1);
 
-    // base layer must be a power of 2
+    // the size of a leaf layer must be a power of 2
     // if not, the `leaves` Vec should be completed with "zero entries" until a power of 2
     assert_eq!(leaves.len(), 2usize.pow(depth as u32));