diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
deleted file mode 100644
index 5d0762b2..00000000
--- a/.github/workflows/benchmark.yml
+++ /dev/null
@@ -1,47 +0,0 @@
-name: Benchmark
-
-on:
-  workflow_dispatch:
-    inputs:
-      run_benchmark:
-        description: "Please confirm running the benchmarks by typing 'yes' in the input box."
-        required: true
-        default: "no"
-
-jobs:
-  wakeup:
-    runs-on: ubuntu-latest
-    if: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.run_benchmark == 'yes' }}
-    permissions:
-      id-token: write
-      contents: read
-    steps:
-      - uses: actions/checkout@v3
-
-      - 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
-
-  benchmark:
-    runs-on: [summa-solvency-runner]
-    needs: [wakeup]
-    if: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.run_benchmark == 'yes' }}
-    steps:
-      - uses: actions/checkout@v3
-
-      - name: Run Benchmark Tests
-        run: |
-          cd prover
-          cargo bench
-
-      - name: Upload Benchmark Results
-        uses: actions/upload-artifact@v2
-        with:
-          name: benchmark-results
-          path: prover/target/criterion
diff --git a/.github/workflows/contracts.yml b/.github/workflows/contracts.yml
deleted file mode 100644
index f05c06f8..00000000
--- a/.github/workflows/contracts.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-name: Contracts
-
-on:
-  push:
-    branches: ["*"]
-  pull_request:
-    branches: ["*"]
-
-jobs:
-  tests:
-    runs-on: ubuntu-latest
-
-    steps:
-      - uses: actions/checkout@v3
-      - name: Install packages
-        uses: actions/setup-node@v3
-      - run: |
-          cd contracts
-          npm ci
-      - name: Run Tests
-        run: |
-          cd contracts
-          npx hardhat test
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 1ba15d57..c72b2a4c 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -14,53 +14,31 @@ 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: 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]
-
     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 Zk Prover
         run: |
           cd prover
-          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
+          cargo test --release --features dev-graph -- --nocapture
+
+  # TODO: restore workflow after fix backend
+  # test-backend:
+  #   runs-on: ubuntu-latest
+  #   steps:
+  #     - uses: actions/checkout@v3
+  #     - name: Test backend
+  #       run: |
+  #         cd backend
+  #         cargo test --release -- --nocapture
+
+  # 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
+  
\ No newline at end of file
diff --git a/prover/prints/range-check-layout.png b/prover/prints/range-check-layout.png
index 579656ef..a95aff4d 100644
Binary files a/prover/prints/range-check-layout.png and b/prover/prints/range-check-layout.png differ
diff --git a/prover/prints/summa-hyperplonk-layout.png b/prover/prints/summa-hyperplonk-layout.png
index 497b11f3..4b1b6d10 100644
Binary files a/prover/prints/summa-hyperplonk-layout.png and b/prover/prints/summa-hyperplonk-layout.png differ