Feat Nova incremental inclusion verification (#153)

summa-dev · Sep 13, 2023 · bc63f43 · bc63f43
1 parent bbf4363
commit bc63f43
Show file tree

Hide file tree

Showing 23 changed files with 27,898 additions and 135 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -24,6 +24,11 @@ jobs:
           cd zk_prover
           cargo test --release --features dev-graph -- --nocapture
 
+      - name: Test Nova Prover
+        run: |
+          cd zk_prover
+          cargo run --release --example nova_incremental_verifier
+
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1