feat: introduce SuperchainWETH and ETHLiquidity

[smartcontracts]

Description
Introduces the SuperchainWETH and ETHLiquidity contracts. More information about these contracts can be found in the OP Stack Specs repository here.

[semgrep-app]

Semgrep found 6 sol-style-input-arg-fmt findings:

• packages/contracts-bedrock/src/L2/SuperchainWETH.sol
  • L34 - Triage
  • L39 - Triage
  • L44 - Triage
  • L62 - Triage
  • L80 - Triage
  • L88 - Triage

Inputs to functions must be prepended with an underscore (_)

_{Ignore this finding from sol-style-input-arg-fmt.}

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 16.91%. Comparing base (bc1db62) to head (757253a).
Report is 9 commits behind head on develop.

❗ There is a different number of reports uploaded between BASE (bc1db62) and HEAD (757253a). Click for more details.

HEAD has 4 uploads less than BASE

Flag	BASE (bc1db62)	HEAD (757253a)
chain-mon-tests	2	1
sdk-tests	2	1
cannon-go-tests	2	0

Additional details and impacted files

@@             Coverage Diff              @@
##           develop   #11042       +/-   ##
============================================
- Coverage    64.13%   16.91%   -47.22%     
============================================
  Files           30        8       -22     
  Lines         2169      538     -1631     
  Branches        73       73               
============================================
- Hits          1391       91     -1300     
+ Misses         731      447      -284     
+ Partials        47        0       -47     

Flag	Coverage Δ
cannon-go-tests	?
chain-mon-tests	27.14% <ø> (ø)
sdk-tests	16.91% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

see 22 files with indirect coverage changes

[tynes]

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

Semgrep is a bit unhappy

[smartcontracts]

Semgrep found 6 sol-style-input-arg-fmt findings:

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

  • L34 - Triage
  • L39 - Triage
  • L44 - Triage
  • L62 - Triage
  • L80 - Triage
  • L88 - Triage

Inputs to functions must be prepended with an underscore (_)

Ignore this finding from sol-style-input-arg-fmt.

Ignoring these findings because the style here is deliberate to reflect the existing WETH style.

[tynes]

Fine with merging this once https://github.com/ethereum-optimism/optimism/pull/11042/files#r1688791933 is addressed, great tests, very clear docs, amazing work :D

[mds1]

Looks really great overall, nice work. I didn't get a chance to review the tests carefully yet. Most comments are small and should be quick to address

[semgrep-app]

Semgrep found 2 todos_require_linear findings:

• packages/chain-mon/src/wd-mon/constants.ts
  • L3 - Triage
• packages/chain-mon/src/faultproof-wd-mon/constants.ts
  • L3 - Triage

Please create a GitHub ticket for this TODO.

_{Ignore this finding from todos_require_linear.}

Semgrep found 1 detect-child-process finding:

• packages/chain-mon/internal/multisig-mon/service.ts
  • L160 - Triage

Detected calls to child_process from a function argument account. This could lead to a command injection if the input is user controllable. Try to avoid calls to child_process, and if it is needed ensure user input is correctly sanitized or sandboxed.

View Dataflow Graph

flowchart LR
    classDef invis fill:white, stroke: none
    classDef default fill:#e7f5ff, color:#1c7fd6, stroke: none

    subgraph File0["<b>packages/chain-mon/internal/multisig-mon/service.ts</b>"]
        direction LR
        %% Source

        subgraph Source
            direction LR

            v0["<a href=https://github.com/ethereum-optimism/optimism/blob/a83e6793392d1b54b0e3522e1e85aeaeee497ae4/packages/chain-mon/internal/multisig-mon/service.ts#L152 target=_blank style='text-decoration:none; color:#1c7fd6'>[Line: 152] account</a>"]
        end
        %% Intermediate

        subgraph Traces0[Traces]
            direction TB

            v2["<a href=https://github.com/ethereum-optimism/optimism/blob/a83e6793392d1b54b0e3522e1e85aeaeee497ae4/packages/chain-mon/internal/multisig-mon/service.ts#L152 target=_blank style='text-decoration:none; color:#1c7fd6'>[Line: 152] account</a>"]
        end
        %% Sink

        subgraph Sink
            direction LR

            v1["<a href=https://github.com/ethereum-optimism/optimism/blob/a83e6793392d1b54b0e3522e1e85aeaeee497ae4/packages/chain-mon/internal/multisig-mon/service.ts#L160 target=_blank style='text-decoration:none; color:#1c7fd6'>[Line: 160] `OP_SERVICE_ACCOUNT_TOKEN=${this.options.onePassServiceToken} op item list --format json --vault=&quot;${account.vault}&quot;</a>"]
        end
    end
    %% Class Assignment
    Source:::invis
    Sink:::invis

    Traces0:::invis
    File0:::invis

    %% Connections

    Source --> Traces0
    Traces0 --> Sink

Loading

_{Ignore this finding from detect-child-process.}

[tynes]

This will need to be updated to the new interface

[tynes]

Going to merge this PR so that #11256 can build on top of it, we can address the minor ABI modifications in a follow up

[tynes]

Failing tests:
Encountered 1 failing test in test/L2/SuperchainWETH.t.sol:SuperchainWETH_Test
[FAIL. Reason: log != expected log; counterexample: calldata=0x8f13455d00000000000000000000000000000000000000000000000000000000000058e40000000000000000000000000000000000000000000000000000000000000385 args=[22756 [2.275e4], 901]] testFuzz_sendERC20_sufficientFromCustomGasTokenChain_succeeds(uint256,uint256) (runs: 439, μ: 97974, ~: 98166)