Refactor passport implementation

.github/workflows/circuit_keys.yml

@@ -6,7 +6,7 @@ on:
 env:
   BUCKET_NAME: "provekit"
   CIRCUIT_NAME: "complete_age_check"
-  CIRCUIT_DIR: "noir-examples/noir-passport-examples/complete_age_check"
+  CIRCUIT_DIR: "noir-examples/noir-passport-monolithic/complete_age_check"
   KEYS_NAME: "agecheck"
 
 
@@ -95,4 +95,3 @@ jobs:
               run: |
                 echo "Cleaning up local keys..."
                 rm -f ./keys/*.bin
-

.github/workflows/end-to-end.yml

@@ -43,19 +43,57 @@ jobs:
         with:
           go-version: 1.24
 
-      - name: Compile and execute Nargo circuit
-        working-directory: noir-examples/noir-passport-examples/complete_age_check
+      - name: Compile Nargo circuits 
+        working-directory: noir-examples/noir-passport/merkle_age_check
         run: |
-          nargo compile --skip-brillig-constraints-check --force
+          for circuit in t_add_dsc_720 t_add_id_data_720 t_add_integrity_commit t_attest; do
+            echo "Compiling $circuit"
+            nargo compile --force --print-acir --package "$circuit"
+            echo "Compiled $circuit"
+          done
+
+      - name: Prepare circuits 
+        working-directory: noir-examples/noir-passport/merkle_age_check
+        run: |
+          for circuit in t_add_dsc_720 t_add_id_data_720 t_add_integrity_commit t_attest; do
+            echo "Preparing $circuit"
+            cargo run --release --bin provekit-cli prepare ./target/$circuit.json \
+              --pkp ./benchmark-inputs/$circuit-prover.pkp \
+              --pkv ./benchmark-inputs/$circuit-verifier.pkv
+            echo "Prepared $circuit"
+          done
+
+      - name: Generate proofs for all circuits
+        working-directory: noir-examples/noir-passport/merkle_age_check
+        run: |
+          for circuit in t_add_dsc_720 t_add_id_data_720 t_add_integrity_commit t_attest; do
+            echo "Proving $circuit"
+            cargo run --release --bin provekit-cli prove \
+              ./benchmark-inputs/$circuit-prover.pkp \
+              ./benchmark-inputs/tbs_720/$circuit.toml \
+              -o ./benchmark-inputs/$circuit-proof.np
+            echo "Proved $circuit"
+          done
+
+      - name: Verify proofs for all circuits
+        working-directory: noir-examples/noir-passport/merkle_age_check
+        run: |
+          for circuit in t_add_dsc_720 t_add_id_data_720 t_add_integrity_commit t_attest; do
+            echo "Verifying $circuit"
+            cargo run --release --bin provekit-cli verify \
+              ./benchmark-inputs/$circuit-verifier.pkv \
+              ./benchmark-inputs/$circuit-proof.np
+            echo "Verified $circuit"
+          done
 
       - name: Generate Gnark inputs
-        working-directory: noir-examples/noir-passport-examples/complete_age_check
+        working-directory: noir-examples/noir-passport/merkle_age_check
         run: |
-          cargo run --release --bin provekit-cli prepare ./target/complete_age_check.json -p ./noir-provekit-prover.pkp -v ./noir-provekit-verifier.pkv
-          cargo run --release --bin provekit-cli prove ./noir-provekit-prover.pkp ./Prover.toml -o ./noir-proof.np
-          cargo run --release --bin provekit-cli generate-gnark-inputs ./noir-provekit-prover.pkp ./noir-proof.np
+          cargo run --release --bin provekit-cli generate-gnark-inputs \
+            ./benchmark-inputs/t_attest-prover.pkp \
+            ./benchmark-inputs/t_attest-proof.np
 
-      - name: Run Gnark verifier
+      - name: Run Gnark verifier 
         working-directory: recursive-verifier
         run: |
           go build -o gnark-verifier cmd/cli/main.go
@@ -84,8 +122,8 @@ jobs:
           ) &
           MONITOR_PID=$!
 
-          # Run the main process
-          ./gnark-verifier --config "../noir-examples/noir-passport-examples/complete_age_check/params_for_recursive_verifier" --r1cs "../noir-examples/noir-passport-examples/complete_age_check/r1cs.json"
+          # Run the main process 
+          ./gnark-verifier --config "../noir-examples/noir-passport/merkle_age_check/params_for_recursive_verifier" --r1cs "../noir-examples/noir-passport/merkle_age_check/r1cs.json"
 
           # Stop monitoring
           kill $MONITOR_PID