Renaming, improving logs, cleaning

.github/workflows/ci.yaml

@@ -148,6 +148,7 @@ jobs:
           repository: iden3/circom
           path: circom-repo
 
+
       - name: Build and install Circom
         working-directory: circom-repo
         run: |
@@ -158,7 +159,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: 0xPolygonHermez/pil2-proofman-js
-          ref: feature/setup
+          ref: feature/minor_clean
           path: pil2-proofman-js
 
       - name: Install pil2-proofman-js dependencies
@@ -169,7 +170,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: 0xPolygonHermez/pil2-compiler
-          ref: feature/on-final-priority
+          ref: feature/proofval-stage
           path: pil2-compiler
 
       - name: Install pil2-compiler dependencies
@@ -181,6 +182,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y protobuf-compiler
           sudo apt install -y build-essential libbenchmark-dev libomp-dev libgmp-dev nlohmann-json3-dev nasm libsodium-dev cmake
+          sudo apt-get install -y openmpi-bin libopenmpi-dev
 
       - name: Install pil2-stark
         working-directory: pil2-stark
@@ -224,6 +226,21 @@ jobs:
       - name: Verify proof Fibonacci Square
         run: |
           node pil2-proofman-js/src/main_verify -k examples/fibonacci-square/build/provingKey -p examples/fibonacci-square/build/proofs -t vadcop_final
+
+      - name: Clean proof dir
+        run: |
+          rm -rf examples/fibonacci-square/build/proofs
+
+      - name: Cargo build distributed
+        run: RUST_BACKTRACE=1 cargo build --features distributed -v
+
+      - name: Generate proof Fibonacci Square distributed
+        run: | 
+          mpirun --bind-to none -np 3 -x OMP_NUM_THREADS=32 target/debug/proofman-cli  prove --witness-lib ./target/debug/libfibonacci_square.so --public-inputs examples/fibonacci-square/src/inputs.json --proving-key examples/fibonacci-square/build/provingKey/ --output-dir examples/fibonacci-square/build/proofs -a
+
+      - name: Verify proof Fibonacci Square distributed
+        run: |
+          node pil2-proofman-js/src/main_verify -k examples/fibonacci-square/build/provingKey -p examples/fibonacci-square/build/proofs -t vadcop_final
   test-std:
     name: Test STD
     runs-on: ubuntu-latest
@@ -260,7 +277,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: 0xPolygonHermez/pil2-proofman-js
-          ref: feature/setup
+          ref: feature/minor_clean
           path: pil2-proofman-js
 
       - name: Install pil2-proofman-js dependencies
@@ -271,7 +288,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: 0xPolygonHermez/pil2-compiler
-          ref: feature/on-final-priority
+          ref: feature/proofval-stage
           path: pil2-compiler
 
       - name: Install pil2-compiler dependencies