Merge branch 'main' into zeta-connector

.github/workflows/coverage.yaml

@@ -1,4 +1,4 @@
-name: Test
+name: Coverage
 
 on:
   push:

.github/workflows/slither.yaml

@@ -0,0 +1,55 @@
+name: Slither
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - "*"
+    types:
+      - synchronize
+      - opened
+      - reopened
+      - ready_for_review
+
+jobs:
+  slither:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      security-events: write
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Install Node.js
+        uses: actions/setup-node@v2
+        with:
+          node-version: "18"
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Install Dependencies
+        run: yarn install
+
+      - name: Compile contracts
+        run: yarn compile
+
+      - name: Run Slither
+        uses: crytic/slither-action@main
+        id: slither
+        continue-on-error: true
+        with:
+          sarif: results.sarifs
+          node-version: "18"
+          fail-on: none
+
+      - name: Upload SARIF file
+        uses: github/codeql-action/upload-sarif@v3
+        with:
+          sarif_file: ${{ steps.slither.outputs.sarif }}

.gitignore

@@ -35,4 +35,4 @@ abi
 crytic-export
 
 out
-cache_forge
+cache_forge

foundry.toml

@@ -5,4 +5,6 @@ libs = ['node_modules', 'lib']
 test = 'test'
 cache_path  = 'cache_forge'
 no-match-contract = '.*EchidnaTest$'
-auto_detect_solc = true
+auto_detect_solc = true
+optimizer = true
+optimizer_runs = 10_000

slither.config.json

@@ -0,0 +1,7 @@
+{
+  "compile_force_framework": "hardhat",
+  "detectors_to_exclude": "",
+  "filter_paths": "artifacts,cache,data,dist,docs,lib,node_modules,pkg,scripts,tasks,test,testing,typechain-types",
+  "hardhat_ignore_compile": true,
+  "npx_disable": true
+}