chore: add local slither script

.lintstagedrc.json

@@ -1,3 +1,3 @@
 {
-    "**/*.{js,ts,md,json,sol,yml,yaml}": "prettier --write"
+    "**/*.{js,ts,md,json,sol,yml,yaml}": "yarn prettier --write"
 }

README.md

@@ -176,6 +176,23 @@ or to automatically format the code:
 yarn format:write
 ```
 
+### Linting
+
+```bash
+yarn lint
+```
+
+Will lint all the packages with [`solhint`](https://github.com/protofire/solhint)
+
+### Static Analysis
+
+```bash
+yarn slither
+```
+
+Will perform a static analysis of all the contracts with [`slither`](https://github.com/crytic/slither) to identify potential vulnerabilities.  
+You'll need to [install slither](https://github.com/crytic/slither?tab=readme-ov-file#how-to-install) beforehand.
+
 ### Conventional commits
 
 ZK-Kit uses [conventional commits](https://www.conventionalcommits.org/en/v1.0.0/). A [command line utility](https://github.com/commitizen/cz-cli) to commit using the correct syntax can be used by running:

package.json

@@ -15,7 +15,9 @@
         "format": "prettier -c .",
         "format:write": "prettier -w .",
         "remove:stable-version-field": "ts-node scripts/remove-stable-version-field.ts ${0} && yarn format:write",
-        "postinstall": "husky && git config --local core.editor cat"
+        "lint": "yarn workspaces foreach -Ap run lint",
+        "postinstall": "husky && git config --local core.editor cat",
+        "slither": "./scripts/check-slither.sh && yarn workspaces foreach -Ap run slither"
     },
     "keywords": [
         "solidity",

packages/excubiae/package.json

@@ -9,7 +9,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

packages/imt/package.json

@@ -8,7 +8,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

packages/lazy-imt/package.json

@@ -8,7 +8,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

packages/lazy-imt/test/LazyIMT.ts

@@ -348,7 +348,7 @@ describe("LazyIMT", () => {
                         const staticRoot = await lazyIMTTest.staticRoot(depth)
 
                         // If they match, proof is valid
-                        await expect(calculatedRoot).to.be.equal(staticRoot)
+                        expect(calculatedRoot).to.be.equal(staticRoot)
                     }
 
                     // Done with test, revert the tree state

packages/lazytower/package.json

@@ -9,7 +9,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

packages/lean-imt/package.json

@@ -8,7 +8,8 @@
         "test:report-gas": "REPORT_GAS=true hardhat test",
         "test:coverage": "hardhat coverage",
         "typechain": "hardhat typechain",
-        "lint": "solhint 'contracts/**/*.sol'"
+        "lint": "solhint 'contracts/**/*.sol'",
+        "slither": "slither . --include-paths contracts --exclude-dependencies --ignore-compile"
     },
     "devDependencies": {
         "@nomicfoundation/hardhat-chai-matchers": "^2.0.3",

scripts/check-slither.sh

@@ -0,0 +1,19 @@
+#!/bin/sh
+set -eu
+
+CYAN="\033[36m"
+RED="\033[31m"
+RESET="\033[0m"
+
+log() {
+  printf "%b\n" "$1"
+}
+
+main() {
+  if ! command -v slither >/dev/null; then
+    log "${RED}error: slither is required but is not installed${RESET}.\nFollow instructions at ${CYAN}https://github.com/crytic/slither?tab=readme-ov-file#how-to-install${RESET} and try again."
+    exit 1
+  fi
+}
+
+main