Update makefile and anvil state

Author: entropidelic

.github/workflows/build-rust.yml .github/workflows/build-and-test-rust.yml.github/workflows/build-rust.yml renamed to .github/workflows/build-and-test-rust.yml

@@ -1,4 +1,4 @@
-name: build-rust-projects
+name: build-and-test-rust-projects
 
 on:
   merge_group:
@@ -7,13 +7,13 @@ on:
   pull_request:
     branches: ["*"]
     paths:
-        - 'batcher/**'
-        - '.github/workflows/build-rust.yml'
+      - "batcher/**"
+      - ".github/workflows/build-rust.yml"
 
 jobs:
   build:
     runs-on: aligned-runner
-    
+
     steps:
       - uses: actions/checkout@v4
 
@@ -45,3 +45,24 @@ jobs:
         run: |
           cd batcher
           cargo build --all
+
+  test:
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+      - name: Cache Rust dependencies
+        uses: actions/cache@v3
+        with:
+          path: |
+            ~/.cargo/registry
+            ~/.cargo/git
+            batcher/target
+          key: ${{ runner.os }}-rust-${{ hashFiles('**/Cargo.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-rust-
+      - name: Run tests
+        run: |
+          cd batcher
+          cargo test --all

.github/workflows/build-go.yml

@@ -7,32 +7,28 @@ on:
   pull_request:
     branches: ["*"]
     paths:
-      - 'operator/**'
-      - 'aggregator/**'
-      - 'common/**'
-      - 'core/**'
-      - 'metrics/**'
-      - '.github/workflows/build-go.yml'
+      - "operator/**"
+      - "aggregator/**"
+      - "common/**"
+      - "core/**"
+      - "metrics/**"
+      - ".github/workflows/build-go.yml"
 env:
   FFI_FOR_RELEASE: false
 jobs:
   build:
     runs-on: ubuntu-latest
-    
+
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-go@v5
         with:
-          go-version: '1.22'
+          go-version: "1.22"
           cache: false
       - name: Build SP1 bindings
         run: make build_sp1_linux
       - name: Build Risc Zero go bindings
         run: make build_risc_zero_linux
-      - name: Build Halo2-KZG bindings
-        run: make build_halo2_kzg_linux
-      - name: Build Halo2-IPA bindings
-        run: make build_halo2_ipa_linux
       - name: Build Merkle Tree bindings
         run: make build_merkle_tree_linux
       - name: Build Old Merkle Tree bindings

.github/workflows/test-halo2-ipa.yml

@@ -11,5 +11,6 @@ batcher/aligned/batch_inclusion_responses/*
 **/aligned_verification_data
 **/broadcast
 volume
+config-files/*.last_processed_batch.json
 
 nonce_*.bin