feat: GHO Stability Module (#369)

* feat: initial GSM commit

* feat: update GSM, remove tokenization

* fix: post-audit changes

* fix: audit fix review period changes

* fix: certora prover changes

* fix: update FixedFeeStrategy bounds, add edge case tests

* fix: update CODEOWNERS

* fix: Fix rounding of Gsm4626 price strategy

---------

Co-authored-by: cedephrase <[email protected]>
Co-authored-by: miguelmtzinf <[email protected]>

.github/CODEOWNERS

@@ -1 +1 @@
-* @miguelmtzinf @foodaka @kartojal @Zer0dot @The-3D 
+* @miguelmtzinf @foodaka

certora/specs/ghoToken.spec

@@ -527,4 +527,3 @@ rule address_not_in_list_after_removeFacilitator_CASE_SPLIT_zero_address(address
 
 
 
-

foundry.toml

@@ -17,4 +17,9 @@ remappings = [
     'hardhat/=node_modules/hardhat/',
 ]
 
+solc_version = "0.8.10"
+extra_output_files = ["metadata"]
+optimizer = true
+optimizer_runs = 200
+
 # See more config options https://github.com/foundry-rs/foundry/tree/master/config

package.json

@@ -24,11 +24,11 @@
     "prettier:write": "prettier --write .",
     "prepare": "husky install",
     "compile": "rm -rf ./artifacts ./cache ./types && SKIP_LOAD=true hardhat compile",
-    "test": ". ./setup-test-env.sh && NODE_OPTIONS=--max-old-space-size=8192 hardhat test ./test/*.ts",
+    "test": ". ./setup-test-env.sh && NODE_OPTIONS=--max-old-space-size=16384 hardhat test ./test/*.ts",
     "forge-test": "forge test -vvv --no-match-test 'skip'",
     "test-goerli:fork": ". ./setup-test-env.sh && FORK=goerli npm run test --no-compile",
     "test-goerli:fork:skip-deploy": ". ./setup-test-env.sh && FORK=goerli SKIP_DEPLOY=true npm run test",
-    "test:stkAave": ". ./setup-test-env.sh && NODE_OPTIONS=--max-old-space-size=4096 hardhat test ./test/__setup.test.ts ./test/stkAave-upgrade.test.ts",
+    "test:stkAave": ". ./setup-test-env.sh && NODE_OPTIONS=--max-old-space-size=16384 hardhat test ./test/__setup.test.ts ./test/stkAave-upgrade.test.ts",
     "coverage": ". ./setup-test-env.sh && hardhat coverage",
     "combined-coverage": ". ./setup-test-env.sh && ./combined-coverage.sh",
     "deploy-testnet": ". ./setup-test-env.sh && hardhat deploy-and-setup",

slither.config.json

@@ -0,0 +1,4 @@
+{
+  "detectors_to_exclude": "naming-convention",
+  "filter_paths": "(node_modules/|lib/|src/test/)"
+}