Removed MST approach, 'zk_prover' on v2

.github/workflows/rust.yml

@@ -46,21 +46,11 @@ jobs:
       - 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
-        run: |
-          cd zk_prover
-          cargo test --release --features dev-graph -- --nocapture
-      
       - name: Test KZG Prover
         run: |
           cd kzg_prover
           cargo test --release -- --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
 

README.md

@@ -4,7 +4,7 @@ A monorepo for Summa, zk proof of solvency protocol
 
 ### Subdirectories
 
-- `zk_prover`: Halo2 based zk prover for Summa
+- `kzg_prover`: Halo2 based zk prover and KZG polynomial interpolation for Summa
 - `contracts`: Solidity smart contracts for Summa
 - `backend` : Rust API to interact with Summa