Merge remote-tracking branch 'origin/main' into certora/dev

Author: QGarchery

.github/workflows/foundry.yml

@@ -21,12 +21,12 @@ jobs:
           - type: "slow"
             fuzz-runs: 10000
             max-test-rejects: 500000
-            invariant-runs: 48
-            invariant-depth: 2048
+            invariant-runs: 0
+            invariant-depth: 512
           - type: "fast"
             fuzz-runs: 256
             max-test-rejects: 65536
-            invariant-runs: 16
+            invariant-runs: 0
             invariant-depth: 256
 
     runs-on: ubuntu-latest
@@ -45,3 +45,4 @@ jobs:
           FOUNDRY_FUZZ_MAX_TEST_REJECTS: ${{ matrix.max-test-rejects }}
           FOUNDRY_INVARIANT_RUNS: ${{ matrix.invariant-runs }}
           FOUNDRY_INVARIANT_DEPTH: ${{ matrix.invariant-depth }}
+          FOUNDRY_FUZZ_SEED: 0x${{ github.event.pull_request.base.sha || github.sha }}

.github/workflows/npm-release.yml

@@ -0,0 +1,20 @@
+name: Publish on NPM
+
+on:
+  workflow_dispatch:
+
+jobs:
+  publish-to-npm:
+    name: Publish to NPM
+    runs-on: ubuntu-latest
+    environment:
+      name: npm
+      url: https://www.npmjs.com/package/@morpho-org/morpho-blue
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Publish to npm
+        run: |
+          echo "//registry.npmjs.org/:_authToken=${{ secrets.NPM_TOKEN }}" > ~/.npmrc
+          yarn publish --access public

audits/2023-09-27-morpho-blue-and-speed-jump-irm-open-zeppelin.pdf

@@ -5,7 +5,7 @@ via-ir = true
 optimizer_runs = 4294967295
 
 [profile.default.invariant]
-runs = 16
+runs = 8
 depth = 256
 fail_on_revert = true
 

audits/2023-10-13-morpho-blue-and-speed-jump-irm-open-zeppelin.pdf

@@ -1,10 +1,15 @@
 {
-  "name": "morpho-blue",
+  "name": "@morpho-org/morpho-blue",
   "description": "Morpho Blue Protocol",
   "license": "BUSL-1.1",
-  "version": "1.0.0",
+  "version": "0.1.0",
+  "files": [
+    "src",
+    "README.md",
+    "LICENSE"
+  ],
   "scripts": {
-    "postinstall": "husky install && forge install",
+    "prepare": "husky install && forge install",
     "build:forge": "FOUNDRY_PROFILE=build forge build",
     "build:hardhat": "npx hardhat compile",
     "test:forge": "FOUNDRY_PROFILE=test forge test",