feat: poc

.gitignore

@@ -46,3 +46,6 @@ __pycache__
 
 # Ignore echidna artifacts
 crytic-export
+# TODO: Remove
+packages/contracts-bedrock/test/invariants/interop/SetupFoundry.sol
+packages/contracts-bedrock/test/invariants/interop/FuzzTestFoundry.t.sol

packages/contracts-bedrock/.gitignore

@@ -41,3 +41,7 @@ deploy-config/devnetL1.json
 
 # Getting Started guide deploy config
 deploy-config/getting-started.json
+
+# Medusa
+# TODO: Uncomment
+test/invariants/interop/corpus

packages/contracts-bedrock/foundry.toml

@@ -113,6 +113,19 @@ timeout = 300
 [profile.lite]
 optimizer = false
 
+################################################################
+#                         PROFILE: MEDUSA                      #
+################################################################
+
+# workaround: pass --foundry-compile-all, so it doesnt add --skip '*/test/**'
+# '*/scripts/**', which causes an empty compilation with this file structure, but
+# define 'test/medusa' as the only directory visible to foundry, so it only
+# compiles files present there and those imported by them.
+[profile.medusa]
+src = 'test/invariants/interop/'
+test = 'test/invariants/interop/'
+script = 'test/invariants/interop/'
+
 ################################################################
 #                         PROFILE: KONTROL                     #
 ################################################################

packages/contracts-bedrock/justfile

@@ -118,6 +118,15 @@ coverage: build-go-ffi
 coverage-lcov: build-go-ffi
   forge coverage --report lcov
 
+# runs medusa on a foundry profile that allows faster compilation by omitting
+# to build other tests and scripts
+test-medusa *ARGS:
+  FOUNDRY_PROFILE=medusa medusa fuzz {{ARGS}}
+
+# runs medusa on a foundry profile that allows faster compilation by omitting
+# to build other tests and scripts and deletes corpus before running
+test-medusa-debug:
+  TEMP_DIR=$(mktemp -d) && FOUNDRY_PROFILE=medusa medusa fuzz --corpus-dir "$TEMP_DIR" --config medusa-debug.json && rm -rf "$TEMP_DIR"
 
 ########################################################
 #                        DEPLOY                        #

packages/contracts-bedrock/medusa-debug.json

@@ -0,0 +1,81 @@
+{
+  "fuzzing": {
+    "workers": 10,
+    "workerResetLimit": 50,
+    "timeout": 60,
+    "testLimit": 0,
+    "shrinkLimit": 5000,
+    "callSequenceLength": 100,
+    "corpusDirectory": "test/invariants/interop/corpus",
+    "coverageEnabled": false,
+    "coverageFormats": ["html", "lcov"],
+    "targetContracts": ["FuzzTest"],
+    "predeployedContracts": {
+      "Deployer815": "0x4200000000000000000000000000000000000815",
+      "Deployer825": "0x4200000000000000000000000000000000000825"
+    },
+    "targetContractsBalances": [],
+    "constructorArgs": {},
+    "deployerAddress": "0x30000",
+    "senderAddresses": ["0x10000"],
+    "blockNumberDelayMax": 60480,
+    "blockTimestampDelayMax": 604800,
+    "blockGasLimit": 125000000,
+    "transactionGasLimit": 12500000,
+    "testing": {
+      "stopOnFailedTest": false,
+      "stopOnFailedContractMatching": false,
+      "stopOnNoTests": true,
+      "testAllContracts": false,
+      "traceAll": true,
+      "assertionTesting": {
+        "enabled": true,
+        "testViewMethods": false,
+        "panicCodeConfig": {
+          "failOnCompilerInsertedPanic": false,
+          "failOnAssertion": true,
+          "failOnArithmeticUnderflow": false,
+          "failOnDivideByZero": false,
+          "failOnEnumTypeConversionOutOfBounds": false,
+          "failOnIncorrectStorageAccess": false,
+          "failOnPopEmptyArray": false,
+          "failOnOutOfBoundsArrayAccess": false,
+          "failOnAllocateTooMuchMemory": false,
+          "failOnCallUninitializedVariable": false
+        }
+      },
+      "propertyTesting": {
+        "enabled": true,
+        "testPrefixes": ["property_"]
+      },
+      "optimizationTesting": {
+        "enabled": true,
+        "testPrefixes": ["optimize_"]
+      },
+      "targetFunctionSignatures": [],
+      "excludeFunctionSignatures": []
+    },
+    "chainConfig": {
+      "codeSizeCheckDisabled": true,
+      "cheatCodes": {
+        "cheatCodesEnabled": true,
+        "enableFFI": false
+      },
+      "skipAccountChecks": true
+    }
+  },
+  "compilation": {
+    "platform": "crytic-compile",
+    "platformConfig": {
+      "target": ".",
+      "solcVersion": "",
+      "exportDirectory": "",
+      "args": ["--foundry-compile-all", "--foundry-out-directory", "artifacts"]
+    }
+  },
+  "logging": {
+    "level": "info",
+    "logDirectory": "",
+    "noColor": false
+  }
+}

packages/contracts-bedrock/medusa.json

@@ -0,0 +1,92 @@
+{
+  "fuzzing": {
+    "workers": 10,
+    "workerResetLimit": 50,
+    "timeout": 0,
+    "testLimit": 0,
+    "shrinkLimit": 5000,
+    "callSequenceLength": 100,
+    "corpusDirectory": "test/invariants/interop/corpus",
+    "coverageEnabled": true,
+    "coverageFormats": ["html", "lcov"],
+    "targetContracts": ["FuzzTest"],
+    "predeployedContracts": {
+      "Deployer815": "0x4200000000000000000000000000000000000815",
+      "Deployer825": "0x4200000000000000000000000000000000000825"
+    },
+    "targetContractsBalances": [],
+    "constructorArgs": {},
+    "deployerAddress": "0x30000",
+    "senderAddresses": [
+      "0x10000",
+      "0x20000",
+      "0x30000",
+      "0x40000",
+      "0x50000",
+      "0x60000",
+      "0x70000",
+      "0x80000",
+      "0x90000",
+      "0xa0000"
+    ],
+    "blockNumberDelayMax": 60480,
+    "blockTimestampDelayMax": 604800,
+    "blockGasLimit": 125000000,
+    "transactionGasLimit": 12500000,
+    "testing": {
+      "stopOnFailedTest": false,
+      "stopOnFailedContractMatching": false,
+      "stopOnNoTests": true,
+      "testAllContracts": false,
+      "traceAll": true,
+      "assertionTesting": {
+        "enabled": true,
+        "testViewMethods": false,
+        "panicCodeConfig": {
+          "failOnCompilerInsertedPanic": false,
+          "failOnAssertion": true,
+          "failOnArithmeticUnderflow": false,
+          "failOnDivideByZero": false,
+          "failOnEnumTypeConversionOutOfBounds": false,
+          "failOnIncorrectStorageAccess": false,
+          "failOnPopEmptyArray": false,
+          "failOnOutOfBoundsArrayAccess": false,
+          "failOnAllocateTooMuchMemory": false,
+          "failOnCallUninitializedVariable": false
+        }
+      },
+      "propertyTesting": {
+        "enabled": true,
+        "testPrefixes": ["property_"]
+      },
+      "optimizationTesting": {
+        "enabled": true,
+        "testPrefixes": ["optimize_"]
+      },
+      "targetFunctionSignatures": [],
+      "excludeFunctionSignatures": []
+    },
+    "chainConfig": {
+      "codeSizeCheckDisabled": true,
+      "cheatCodes": {
+        "cheatCodesEnabled": true,
+        "enableFFI": false
+      },
+      "skipAccountChecks": true
+    }
+  },
+  "compilation": {
+    "platform": "crytic-compile",
+    "platformConfig": {
+      "target": ".",
+      "solcVersion": "",
+      "exportDirectory": "",
+      "args": ["--foundry-compile-all", "--foundry-out-directory", "artifacts"]
+    }
+  },
+  "logging": {
+    "level": "info",
+    "logDirectory": "",
+    "noColor": false
+  }
+}

packages/contracts-bedrock/src/L2/SuperchainWETH.sol

@@ -18,6 +18,8 @@ import { IETHLiquidity } from "interfaces/L2/IETHLiquidity.sol";
 import { IERC7802, IERC165 } from "interfaces/L2/IERC7802.sol";
 import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
 
+import { console } from "forge-std/Console.sol";
+
 /// @custom:proxied true
 /// @custom:predeploy 0x4200000000000000000000000000000000000024
 /// @title SuperchainWETH
@@ -131,9 +133,14 @@ contract SuperchainWETH is WETH98, IERC7802, ISemver {
             revert NotCustomGasToken();
         }
 
+        console.log("msg.value: %s", msg.value);
+        console.log("address(this).balamce: %s", address(this).balance);
+
         // NOTE: 'burn' will soon change to 'deposit'.
         IETHLiquidity(Predeploys.ETH_LIQUIDITY).burn{ value: msg.value }();
 
+        console.log("address(this).balamce AFTER: %s", address(this).balance);
+
         msgHash_ = IL2ToL2CrossDomainMessenger(Predeploys.L2_TO_L2_CROSS_DOMAIN_MESSENGER).sendMessage({
             _destination: _chainId,
             _target: address(this),