Fixed V3a Backend (#297)

* refactor: removed contracts in V3

* fix: backend for V3; removed Summa contract and relateds; updated README

* fix: gh workflow

* fix: update README for fixed SRS files for hyperplonk backend

* refactor: verifier generate verifier params with SRS in the summa solvency flow example

.github/workflows/rust.yml

@@ -14,53 +14,29 @@ env:
   CARGO_TERM_COLOR: always
 
 jobs:
-  wakeup:
+  test-zk-prover:
     runs-on: ubuntu-latest
-    permissions:
-      id-token: write
-      contents: read
-
     steps:
       - uses: actions/checkout@v3
+      - name: Test Zk Prover
+        run: |
+          cd prover
+          cargo test --release --features dev-graph -- --nocapture
 
-      - name: Configure AWS Credentials
-        uses: aws-actions/configure-aws-credentials@v4
-        with:
-          role-to-assume: arn:aws:iam::490752553772:role/summa-solvency-ec2-slc
-          role-duration-seconds: 900
-          aws-region: us-west-2
-
-      - name: Wakeup runner
-        run: .github/scripts/wakeup.sh
-
-  build:
-    runs-on: [summa-solvency-runner]
-    needs: [wakeup]
-
+  test-backend:
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
-
-      - name: Set Environment
-        run: echo "PATH=/home/ubuntu/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" >> "$GITHUB_ENV"
-
-      - 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 Prover
+      - name: Test backend
         run: |
-          cd prover
+          cd backend
           cargo test --release -- --nocapture
 
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-
-      # TODO restore workflow
-      # - name: Test backend
-      #   run: |
-      #     cd backend
-      #     cargo test --release -- --nocapture
-
-      # - name: Test example
-      #   run: |
-      #     cd backend
-      #     cargo run --release --example summa_solvency_flow
+  test-backend-examples:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Test backend example
+        run: |
+          cd backend
+          cargo run --release --example summa_solvency_flow

README.md

@@ -4,9 +4,8 @@ A monorepo for Summa, zk proof of solvency protocol
 
 ### Subdirectories
 
-- `prover`: Halo2 based zk prover and KZG polynomial interpolation for Summa
-- `contracts`: Solidity smart contracts for Summa
-- `backend` : Rust API to interact with Summa
+- `prover`: HyperPlonk based ZK prover and Multilinear KZG for Summa
+- `backend` : Rust API to interact with Summa prover and verifier
 
 ## License
 

backend/.gitignore

@@ -2,4 +2,4 @@
 # will have compiled files and executables
 /target
 .env
-*_proof.json
+*.json