feat: fuzzing of staking invariants for ProtocolStaking contract with Foundry

contracts/staking/.gitignore

@@ -62,6 +62,7 @@ contracts-exposed
 # Foundry
 /out
 /cache_forge
+/lib/forge-std
 
 yarn.lock
 fhevmTemp

contracts/staking/foundry.toml

@@ -1,5 +1,22 @@
 [profile.default]
 src = 'contracts'
-libs = ['node_modules']
+out = 'out'
+test = 'test/foundry'
+cache_path = 'cache_forge'
+libs = ['lib', 'node_modules'] 
 solc = '0.8.27'
-optimizer_runs = 200
+optimizer = true
+optimizer_runs = 800
+evm_version = 'cancun'
+
+remappings = [
+    'forge-std/=lib/forge-std/src/',
+    '@openzeppelin/contracts/=node_modules/@openzeppelin/contracts/',
+    '@openzeppelin/contracts-upgradeable/=node_modules/@openzeppelin/contracts-upgradeable/',
+    'token/=../token/',
+]
+
+[invariant]
+runs = 296
+depth = 100
+fail_on_revert = true

contracts/staking/package.json

@@ -15,6 +15,8 @@
     "lint:sol": "prettier --loglevel warn '{contracts,test}/**/*.sol' --check && solhint --config solhint.config.js '{contracts,test}/**/*.sol'",
     "lint:sol:fix": "solhint --config solhint.config.js '{contracts,test}/**/*.sol' --fix; prettier --loglevel warn '{contracts,test}/**/*.sol' --write",
     "test": "hardhat test",
+    "test:fuzz": "forge test",
+    "test:fuzz:verbose": "forge test -vvv",
     "test:tasks": "hardhat test:tasks",
     "test:gas": "REPORT_GAS=true hardhat test",
     "test:pragma": "npm run compile && scripts/checks/pragma-validity.js artifacts/build-info/*",