diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 000000000..7cca4d20d
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,32 @@
+name: Reusable Build Workflow
+
+on:
+  workflow_call:
+    inputs:
+      artifact-name:
+        required: true
+        type: string
+
+permissions: read-all
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    env:
+      CI_COMMIT_MESSAGE: CI Formatting Auto Commit
+      CI_COMMIT_AUTHOR: ${{ github.event.repository.name }} CI
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Scarb
+        uses: software-mansion/setup-scarb@v1
+
+      - name: Build contracts
+        run: scarb build -p contracts
+
+      - name: Upload artifacts
+        uses: actions/upload-artifact@v3
+        with:
+          name: ${{ inputs.artifact-name }}
+          path: target/dev
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 92fd8de84..b99ecd358 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -16,118 +16,24 @@ permissions: read-all
 
 jobs:
   build:
-    runs-on: ubuntu-latest
-    env:
-      CI_COMMIT_MESSAGE: CI Formatting Auto Commit
-      CI_COMMIT_AUTHOR: ${{ github.event.repository.name }} CI
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v4
-
-      - name: Set up Scarb
-        uses: software-mansion/setup-scarb@v1
-
-      - name: Build contracts
-        run: scarb build -p contracts
-
-      - name: Upload artifacts
-        uses: actions/upload-artifact@v3
-        with:
-          name: kakarot-ssj-build
-          path: target/dev
+    uses: ./.github/workflows/build.yml
+    with:
+      artifact-name: kakarot-ssj-build
 
   tests-unit:
-    # trunk-ignore(actionlint/runner-label)
-    runs-on: ubuntu-latest-16-cores
-    steps:
-      - uses: actions/checkout@v3
-      - uses: foundry-rs/setup-snfoundry@v3
-      - uses: software-mansion/setup-scarb@v1
-      - run: scarb fmt --check
-      - run: scarb build
-      - run: scarb test
+    uses: ./.github/workflows/tests-unit.yml
+    with:
+      run-fmt-check: false
 
   ef-tests:
-    # trunk-ignore(actionlint/runner-label)
-    runs-on: ubuntu-latest-32-cores
-    needs: build
-    steps:
-      - name: Checkout ef-tests
-        uses: actions/checkout@v4
-        with:
-          repository: kkrt-labs/ef-tests
-
-      - name: Checkout local skip file
-        uses: actions/checkout@v4
-        with:
-          sparse-checkout: |
-            blockchain-tests-skip.yml
-          sparse-checkout-cone-mode: false
-          path: skip-file
-
-      - name: Replace the skip files
-        run: mv skip-file/blockchain-tests-skip.yml blockchain-tests-skip.yml
-
-      - name: Rust cache
-        uses: Swatinem/rust-cache@v2
-        with:
-          cache-on-failure: "true"
-
-      - name: Setup
-        run: |
-          mkdir -p build/common
-          make setup setup-kakarot-v0
-
-      - name: Install nextest
-        uses: taiki-e/install-action@nextest
-
-      - name: Download Kakarot-SSJ build artifacts in v1
-        uses: actions/download-artifact@v3
-        with:
-          name: kakarot-ssj-build
-          path: ./build/v1
-
-      - name: Move Cairo1Helpers
-        run:
-          mv build/v1/contracts_Cairo1Helpers.compiled_contract_class.json
-          build/common/cairo1_helpers.json
-
-      - name: Set up Python
-        uses: actions/setup-python@v4
-        with:
-          python-version: 3.10.14
-
-      - name: Run tests
-        run: |
-          set -o pipefail
-          make ef-test-v1 | tee data.txt
-          set +o pipefail
-
-      - name: Retrieve ef-tests execution resources
-        run: python scripts/compute_resources.py
-        env:
-          KAKAROT_VERSION: v1
-
-      - name: Upload resources
-        uses: actions/upload-artifact@v3
-        with:
-          path: resources
-          name: resources
-
-      - name: Generate blockchain-tests-skip.yml file
-        if: github.event_name == 'workflow_dispatch'
-        run: make generate-skip-file
-
-      - name: Upload skip file
-        if: github.event_name == 'workflow_dispatch'
-        uses: actions/upload-artifact@v3
-        with:
-          path: blockchain-tests-skip.yml
-          name: blockchain-tests-skip
+    uses: ./.github/workflows/ef-tests.yml
+    needs: [build]
+    with:
+      artifact-name: kakarot-ssj-build
 
   resources:
     runs-on: ubuntu-latest
-    needs: ef-tests
+    needs: [ef-tests]
     steps:
       - uses: actions/checkout@v4
 
diff --git a/.github/workflows/gas_reports.yml b/.github/workflows/gas_reports.yml
deleted file mode 100644
index 6200d6329..000000000
--- a/.github/workflows/gas_reports.yml
+++ /dev/null
@@ -1,43 +0,0 @@
-name: Compare Snapshot
-
-on: pull_request
-
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
-permissions:
-  pull-requests: write
-
-jobs:
-  compare-snapshot:
-    permissions: write-all
-    # trunk-ignore(actionlint/runner-label)
-    runs-on: ubuntu-latest-16-cores
-
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v3
-
-      - name: Set up Python
-        uses: actions/setup-python@v4
-        with:
-          python-version: 3.9
-
-      - name: Set up Scarb
-        uses: software-mansion/setup-scarb@v1
-
-      - name: Run compare_snapshot script
-        id: run-script
-        env:
-          GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
-        continue-on-error: true
-        run: |
-          result=$(python scripts/compare_snapshot.py 2>&1)
-          status=$(echo "$result" | tail -n 1 | awk -F ':' '{print $1}')
-          echo "$result" >> "$GITHUB_STEP_SUMMARY"
-          echo "status=$status" >> "$GITHUB_OUTPUT"
-
-      - name: Exit step based on status
-        if: steps.run-script.outputs.status == 'ERROR'
-        run: exit 1
diff --git a/.github/workflows/gas_snapshot.yml b/.github/workflows/gas_snapshot.yml
deleted file mode 100644
index 3e8ffa6cf..000000000
--- a/.github/workflows/gas_snapshot.yml
+++ /dev/null
@@ -1,34 +0,0 @@
-name: Generate and Upload Gas Snapshot
-
-permissions: read-all
-
-on:
-  push:
-    branches:
-      - main
-  workflow_dispatch: {}
-
-jobs:
-  build:
-    # trunk-ignore(actionlint/runner-label)
-    runs-on: ubuntu-latest-16-cores
-
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v3
-
-      - name: Set up Python
-        uses: actions/setup-python@v4
-        with:
-          python-version: 3.x
-      - name: Set up Scarb
-        uses: software-mansion/setup-scarb@v1
-
-      - name: Generate gas snapshot
-        run: python scripts/gen_snapshot.py
-
-      - name: Upload gas snapshot to GitHub Artifacts
-        uses: actions/upload-artifact@v2
-        with:
-          name: gas-snapshot
-          path: gas_snapshot.json
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 32c1a450a..cc095668a 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -9,13 +9,18 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  tests:
-    # trunk-ignore(actionlint/runner-label)
-    runs-on: ubuntu-latest-16-cores
-    steps:
-      - uses: actions/checkout@v3
-      - uses: foundry-rs/setup-snfoundry@v3
-      - uses: software-mansion/setup-scarb@v1
-      - run: scarb fmt --check
-      - run: scarb build
-      - run: scarb test
+  build:
+    uses: ./.github/workflows/build.yml
+    with:
+      artifact-name: kakarot-ssj-build
+
+  tests-unit:
+    uses: ./.github/workflows/tests-unit.yml
+    with:
+      run-fmt-check: true
+
+  ef-tests:
+    uses: ./.github/workflows/ef-tests.yml
+    needs: [build]
+    with:
+      artifact-name: kakarot-ssj-build
diff --git a/.github/workflows/tests-unit.yml b/.github/workflows/tests-unit.yml
new file mode 100644
index 000000000..2ff0ef28d
--- /dev/null
+++ b/.github/workflows/tests-unit.yml
@@ -0,0 +1,26 @@
+name: Reusable Unit Tests Workflow
+
+on:
+  workflow_call:
+    inputs:
+      run-fmt-check:
+        type: boolean
+        default: false
+        required: false
+
+permissions: read-all
+
+jobs:
+  unit-tests:
+    runs-on: ubuntu-latest-16-cores # trunk-ignore(actionlint/runner-label)
+    steps:
+      - uses: actions/checkout@v4
+      - uses: foundry-rs/setup-snfoundry@v3
+      - uses: software-mansion/setup-scarb@v1
+
+      - name: Run format check
+        if: inputs.run-fmt-check
+        run: scarb fmt --check
+
+      - name: Run tests
+        run: scarb test
diff --git a/.gitignore b/.gitignore
index 0469dd3ad..bcdcc22c4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,5 @@ target
 node_modules/
 *.snfoundry_cache
 cache/
+
+scripts/libcairo_native_runtime.a