Merge missing commits after revert

.github/workflows/ci.yml

@@ -5,6 +5,7 @@ on:
     branches:
       - main
   pull_request:
+    types: [opened, synchronize, reopened, ready_for_review]
     branches:
       - "**"
   workflow_dispatch:
@@ -63,3 +64,16 @@ jobs:
 
       - name: Run cargo clippy
         run: cargo clippy --all-targets -- -D warnings
+
+  simple_proof:
+    name: Execute bash script to generate and verify a proof from a small block
+    runs-on: zero-ci
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Run the script
+        run: |
+          pushd tools
+          ./simple_test.sh

.gitignore

@@ -9,3 +9,7 @@ circuits/
 # Folders containing logs from the utility scripts in tools/
 debug/
 proofs/
+
+# Serialized generated prover & verifier state used by plonky2
+prover_state_*
+verifier_state_*