refactor(lean-imt): move from hardhat to forge

.github/workflows/main.yml

@@ -60,14 +60,23 @@ jobs:
               with:
                   path: node_modules
                   key: ${{ needs.deps.outputs.cache-key }}
+            # TODO: right now forge and node tooling coexist, eventually keep only forge action
+            - uses: foundry-rs/foundry-toolchain@v1
+              with:
+                  version: nightly
 
             - run: yarn compile
 
-            - name: Upload compilation results
+            - name: Upload compilation results (hardhat)
               uses: actions/upload-artifact@v4
               with:
                   name: all-artifacts
                   path: packages/**/artifacts/**
+            - name: Upload compilation results (forge)
+              uses: actions/upload-artifact@v4
+              with:
+                  name: all-artifacts-forge
+                  path: packages/**/out/**
 
     style:
         needs: deps
@@ -93,6 +102,11 @@ jobs:
 
         steps:
             - uses: actions/checkout@v4
+            # TODO: right now forge and node tooling coexist, eventually keep only forge action
+            - uses: foundry-rs/foundry-toolchain@v1
+              with:
+                  version: nightly
+
             - uses: actions/setup-node@v4
               with:
                   node-version: 20
@@ -104,6 +118,10 @@ jobs:
               with:
                   name: all-artifacts
                   path: packages/
+            - uses: actions/download-artifact@v4
+              with:
+                  name: all-artifacts-forge
+                  path: packages/
 
             - if: contains(needs.changed-files.outputs.modified_files, matrix.dir)
               name: Test
@@ -134,51 +152,30 @@ jobs:
                   echo "matrix=$matrix" >> $GITHUB_OUTPUT
 
     slither:
-        if: needs.changed-files.outputs.any_changed == 'true'
-        needs: [changed-files, set-matrix, deps]
+        if: contains(needs.changed-files.outputs.modified_files, 'lean-imt')
+        needs: [changed-files, compile]
         runs-on: ubuntu-latest
         permissions:
             contents: read
             security-events: write
-        strategy:
-            matrix:
-                dir: ${{ fromJson(needs.set-matrix.outputs.matrix) }}
         steps:
             - uses: actions/checkout@v4
-
-            # FIXME this does not work as a way to restore compilation results for slither job but it does for the compile job ??
-            #- uses: actions/download-artifact@v4
-            #  with:
-            #      name: all-artifacts
-            #      path: packages/
-
-            - uses: actions/setup-node@v4
-              with:
-                  node-version: 20
-            - uses: actions/cache/restore@v4
+            - uses: actions/download-artifact@v4
               with:
-                  path: node_modules
-                  key: ${{ needs.deps.outputs.cache-key }}
-            - if: contains(needs.changed-files.outputs.modified_files, matrix.dir)
-              name: Compile contracts
-              run: |
-                  workspace=$(jq -r '.name' packages/${{ matrix.dir }}/package.json)
-                  yarn workspace "$workspace" run compile
+                  name: all-artifacts-forge
+                  path: packages/
 
-            - if: contains(needs.changed-files.outputs.modified_files, matrix.dir)
-              name: Run slither
+            - name: Run slither
               uses: crytic/[email protected]
               id: slither
               with:
                   ignore-compile: true
-                  node-version: 20
                   fail-on: none
                   sarif: results.sarif
                   slither-args: --filter-paths "test" --exclude-dependencies --markdown-root ${{ github.server_url }}/${{ github.repository }}/blob/${{ github.sha }}/
                   target: packages/${{ matrix.dir }}
 
-            - if: contains(needs.changed-files.outputs.modified_files, matrix.dir)
-              name: Upload SARIF files
+            - name: Upload SARIF files
               uses: github/codeql-action/upload-sarif@v3
               with:
                   sarif_file: ${{ steps.slither.outputs.sarif }}

.gitignore

@@ -80,3 +80,6 @@ typechain-types
 
 .envrc
 .tool-versions
+
+# forge build output
+out

.gitmodules

@@ -0,0 +1,6 @@
+[submodule "packages/lean-imt/lib/poseidon-solidity"]
+	path = packages/lean-imt/lib/poseidon-solidity
+	url = https://github.com/vimwitch/poseidon-solidity
+[submodule "packages/lean-imt/lib/forge-std"]
+	path = packages/lean-imt/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std

.prettierignore

@@ -30,3 +30,6 @@ yarn-error.log*
 
 # others
 target
+
+# forge lib
+packages/lean-imt/lib

packages/lean-imt/foundry.toml

@@ -0,0 +1,4 @@
+[profile.default]
+remappings = [
+"poseidon-solidity/=lib/poseidon-solidity/contracts/",
+]

packages/lean-imt/package.json

@@ -2,40 +2,14 @@
     "name": "lean-imt.sol",
     "private": true,
     "scripts": {
-        "start": "hardhat node",
-        "compile": "hardhat compile",
-        "test": "hardhat test",
+        "compile": "forge build",
+        "test": "forge test",
         "test:report-gas": "REPORT_GAS=true hardhat test",
-        "test:coverage": "hardhat coverage",
-        "typechain": "hardhat typechain",
+        "test:coverage": "forge coverage",
         "lint": "solhint 'contracts/**/*.sol'"
     },
     "devDependencies": {
-        "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",
-        "@nomicfoundation/hardhat-ethers": "^3.0.0",
-        "@nomicfoundation/hardhat-network-helpers": "^1.0.0",
-        "@nomicfoundation/hardhat-toolbox": "^4.0.0",
-        "@nomicfoundation/hardhat-verify": "^2.0.0",
-        "@typechain/ethers-v6": "^0.5.0",
-        "@typechain/hardhat": "^9.0.0",
-        "@types/chai": "^4.2.0",
-        "@types/mocha": "^10.0.6",
-        "@types/node": "^20.10.7",
-        "@zk-kit/lean-imt": "^2.0.1",
-        "chai": "^4.2.0",
-        "ethers": "^6.4.0",
-        "hardhat": "^2.19.4",
-        "hardhat-gas-reporter": "^1.0.8",
-        "poseidon-lite": "^0.2.0",
-        "prettier-plugin-solidity": "^1.3.1",
         "solhint": "^3.3.6",
-        "solhint-plugin-prettier": "^0.1.0",
-        "solidity-coverage": "^0.8.0",
-        "ts-node": "^10.9.2",
-        "typechain": "^8.3.0",
-        "typescript": "^5.3.3"
-    },
-    "dependencies": {
-        "poseidon-solidity": "0.0.5"
+        "solhint-plugin-prettier": "^0.1.0"
     }
 }

packages/lean-imt/slither.config.json

@@ -0,0 +1 @@
+{ "filter_paths": "lib" }