[SHIP-3004] ZKSync: implement uptime feed validator

contracts/.changeset/heavy-balloons-cheat.md

@@ -0,0 +1,9 @@
+---
+"chainlink": patch
+---
+
+#added Add ZKSync L2EP SequencerUptimeFeed contract
+#added Add ZKSync L2EP Validator contract
+
+
+SHIP-3004

contracts/foundry.toml

@@ -57,7 +57,6 @@ test = 'src/v0.8/automation/test'
 optimizer_runs = 1_000_000
 src = 'src/v0.8/l2ep'
 test = 'src/v0.8/l2ep/test'
-solc_version = '0.8.19'
 
 [profile.llo-feeds]
 optimizer_runs = 1_000_000

contracts/gas-snapshots/llo-feeds.gas-snapshot

@@ -88,7 +88,7 @@ DestinationFeeManagerProcessFeeTest:test_poolIdsCannotBeZeroAddress() (gas: 1179
 DestinationFeeManagerProcessFeeTest:test_processFeeAsProxy() (gas: 123807)
 DestinationFeeManagerProcessFeeTest:test_processFeeDefaultReportsStillVerifiesWithEmptyQuote() (gas: 29767)
 DestinationFeeManagerProcessFeeTest:test_processFeeEmitsEventIfNotEnoughLink() (gas: 167721)
-DestinationFeeManagerProcessFeeTest:test_processFeeIfSubscriberIsSelf() (gas: 30107)
+DestinationFeeManagerProcessFeeTest:test_processFeeIfSubscriberIsSelf() (gas: 32607)
 DestinationFeeManagerProcessFeeTest:test_processFeeNative() (gas: 180514)
 DestinationFeeManagerProcessFeeTest:test_processFeeUsesCorrectDigest() (gas: 125076)
 DestinationFeeManagerProcessFeeTest:test_processFeeWithDefaultReportPayloadAndQuoteStillVerifies() (gas: 31844)
@@ -299,7 +299,7 @@ FeeManagerProcessFeeTest:test_payLinkDeficitTwice() (gas: 198803)
 FeeManagerProcessFeeTest:test_processFeeAsProxy() (gas: 117088)
 FeeManagerProcessFeeTest:test_processFeeDefaultReportsStillVerifiesWithEmptyQuote() (gas: 27462)
 FeeManagerProcessFeeTest:test_processFeeEmitsEventIfNotEnoughLink() (gas: 163205)
-FeeManagerProcessFeeTest:test_processFeeIfSubscriberIsSelf() (gas: 27827)
+FeeManagerProcessFeeTest:test_processFeeIfSubscriberIsSelf() (gas: 30327)
 FeeManagerProcessFeeTest:test_processFeeNative() (gas: 173826)
 FeeManagerProcessFeeTest:test_processFeeUsesCorrectDigest() (gas: 118379)
 FeeManagerProcessFeeTest:test_processFeeWithDefaultReportPayloadAndQuoteStillVerifies() (gas: 29536)

contracts/hardhat.config.ts

@@ -71,6 +71,13 @@ let config = {
         version: '0.8.19',
         settings: COMPILER_SETTINGS,
       },
+      {
+        version: '0.8.20',
+        settings: {
+          ...COMPILER_SETTINGS,
+          evmVersion: 'paris',
+        },
+      },
       {
         version: '0.8.24',
         settings: {

contracts/package.json

@@ -86,6 +86,7 @@
     "@openzeppelin/contracts": "4.9.3",
     "@openzeppelin/contracts-upgradeable": "4.9.3",
     "@scroll-tech/contracts": "0.1.0",
+    "@zksync/contracts": "git+https://github.com/matter-labs/era-contracts.git#446d391d34bdb48255d5f8fef8a8248925fc98b9",
     "semver": "^7.6.3"
   }
 }

contracts/remappings.txt

@@ -5,3 +5,4 @@ forge-std/=src/v0.8/vendor/forge-std/src/
 hardhat/=node_modules/hardhat/
 @eth-optimism/=node_modules/@eth-optimism/
 @scroll-tech/=node_modules/@scroll-tech/
+@zksync/=node_modules/@zksync/

contracts/scripts/native_solc_compile_all_l2ep

@@ -1,59 +1,38 @@
 #!/usr/bin/env bash
 
-###########
-# Logging #
-###########
-
 set -e
 
 echo " ┌──────────────────────────────────────────────┐"
 echo " │      Compiling L2EP contracts...             │"
 echo " └──────────────────────────────────────────────┘"
 
-######################
-# Helper Variable(s) #
-######################
-
-export SOLC_VERSION="0.8.19"
+SOLC_VERSION="0.8.19"
+OPTIMIZE_RUNS=1000000
 
-SCRIPTPATH="$(
-	cd "$(dirname "$0")" >/dev/null 2>&1
-	pwd -P
-)"
+SCRIPTPATH="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"
+python3 -m pip install --require-hashes -r $SCRIPTPATH/requirements.txt
+solc-select install $SOLC_VERSION
+solc-select use $SOLC_VERSION
 
 ROOT="$(
 	cd "$(dirname "$0")" >/dev/null 2>&1
 	cd ../ && pwd -P
 )"
 
-######################
-# Helper Function(s) #
-######################
-
 compileContract() {
-	local optimize_runs=1000000
 	local version="$1"
 	local srcpath="$2"
 	solc \
 		@openzeppelin/=$ROOT/node_modules/@openzeppelin/ \
 		@eth-optimism/=$ROOT/node_modules/@eth-optimism/ \
 		@scroll-tech/=$ROOT/node_modules/@scroll-tech/ \
-		--overwrite --optimize --optimize-runs $optimize_runs --metadata-hash none \
+		--overwrite --optimize --optimize-runs $OPTIMIZE_RUNS --metadata-hash none \
 		-o $ROOT/solc/v$SOLC_VERSION/l2ep/"$version" \
-		--abi --bin \
-		--allow-paths $ROOT/src/v0.8,$ROOT/node_modules \
+		--abi --bin --allow-paths $ROOT/src/v0.8,$ROOT/node_modules \
+		--evm-version paris \
 		$ROOT/src/v0.8/l2ep/"$srcpath"
 }
 
-#################
-# Version 1.0.0 #
-#################
-
-python3 -m pip install --require-hashes -r $SCRIPTPATH/requirements.txt
-
-solc-select install $SOLC_VERSION
-solc-select use $SOLC_VERSION
-
 compileContract v1_0_0 dev/arbitrum/ArbitrumValidator.sol
 compileContract v1_0_0 dev/arbitrum/ArbitrumSequencerUptimeFeed.sol
 compileContract v1_0_0 dev/arbitrum/ArbitrumCrossDomainForwarder.sol

contracts/src/v0.8/l2ep/dev/CrossDomainDelegateForwarder.sol

@@ -2,12 +2,12 @@
 pragma solidity ^0.8.0;
 
 import {CrossDomainOwnable} from "./CrossDomainOwnable.sol";
-import {DelegateForwarderInterface} from "./interfaces/DelegateForwarderInterface.sol";
+import {IDelegateForwarder} from "./interfaces/IDelegateForwarder.sol";
 
 /**
  * @title CrossDomainDelegateForwarder - L1 xDomain account representation (with delegatecall support)
  * @notice L2 Contract which receives messages from a specific L1 address and transparently forwards them to the destination.
  * @dev Any other L2 contract which uses this contract's address as a privileged position,
  *   can consider that position to be held by the `l1Owner`
  */
-abstract contract CrossDomainDelegateForwarder is DelegateForwarderInterface, CrossDomainOwnable {}
+abstract contract CrossDomainDelegateForwarder is IDelegateForwarder, CrossDomainOwnable {}

contracts/src/v0.8/l2ep/dev/CrossDomainForwarder.sol

@@ -2,12 +2,12 @@
 pragma solidity ^0.8.0;
 
 import {CrossDomainOwnable} from "./CrossDomainOwnable.sol";
-import {ForwarderInterface} from "./interfaces/ForwarderInterface.sol";
+import {IForwarder} from "./interfaces/IForwarder.sol";
 
 /**
  * @title CrossDomainForwarder - L1 xDomain account representation
  * @notice L2 Contract which receives messages from a specific L1 address and transparently forwards them to the destination.
  * @dev Any other L2 contract which uses this contract's address as a privileged position,
  *   can consider that position to be held by the `l1Owner`
  */
-abstract contract CrossDomainForwarder is ForwarderInterface, CrossDomainOwnable {}
+abstract contract CrossDomainForwarder is IForwarder, CrossDomainOwnable {}

contracts/src/v0.8/l2ep/dev/CrossDomainOwnable.sol

@@ -2,13 +2,13 @@
 pragma solidity ^0.8.0;
 
 import {ConfirmedOwner} from "../../shared/access/ConfirmedOwner.sol";
-import {CrossDomainOwnableInterface} from "./interfaces/CrossDomainOwnableInterface.sol";
+import {ICrossDomainOwnable} from "./interfaces/ICrossDomainOwnable.sol";
 
 /**
  * @title The CrossDomainOwnable contract
  * @notice A contract with helpers for cross-domain contract ownership.
  */
-contract CrossDomainOwnable is CrossDomainOwnableInterface, ConfirmedOwner {
+contract CrossDomainOwnable is ICrossDomainOwnable, ConfirmedOwner {
   address internal s_l1Owner;
   address internal s_l1PendingOwner;
 

contracts/src/v0.8/l2ep/dev/Flags.sol

@@ -6,7 +6,7 @@ import {AccessControllerInterface} from "../../shared/interfaces/AccessControlle
 import {ITypeAndVersion} from "../../shared/interfaces/ITypeAndVersion.sol";
 
 /* dev dependencies - to be re/moved after audit */
-import {FlagsInterface} from "./interfaces/FlagsInterface.sol";
+import {IFlags} from "./interfaces/IFlags.sol";
 
 /**
  * @title The Flags contract
@@ -18,7 +18,7 @@ import {FlagsInterface} from "./interfaces/FlagsInterface.sol";
  * FlagOn events you should filter for addresses you care about.
  */
 // solhint-disable gas-custom-errors
-contract Flags is ITypeAndVersion, FlagsInterface, SimpleReadAccessController {
+contract Flags is ITypeAndVersion, IFlags, SimpleReadAccessController {
   AccessControllerInterface public raisingAccessController;
   AccessControllerInterface public loweringAccessController;
 

contracts/src/v0.8/l2ep/dev/arbitrum/ArbitrumCrossDomainForwarder.sol

@@ -1,9 +1,9 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.0;
 
-import {TypeAndVersionInterface} from "../../../interfaces/TypeAndVersionInterface.sol";
+import {ITypeAndVersion} from "../../../shared/interfaces/ITypeAndVersion.sol";
 // solhint-disable-next-line no-unused-import
-import {ForwarderInterface} from "../interfaces/ForwarderInterface.sol";
+import {IForwarder} from "../interfaces/IForwarder.sol";
 
 import {CrossDomainForwarder} from "../CrossDomainForwarder.sol";
 import {CrossDomainOwnable} from "../CrossDomainOwnable.sol";
@@ -17,7 +17,7 @@ import {Address} from "../../../vendor/openzeppelin-solidity/v4.7.3/contracts/ut
  * @dev Any other L2 contract which uses this contract's address as a privileged position,
  *   can be considered to be owned by the `l1Owner`
  */
-contract ArbitrumCrossDomainForwarder is TypeAndVersionInterface, CrossDomainForwarder {
+contract ArbitrumCrossDomainForwarder is ITypeAndVersion, CrossDomainForwarder {
   /**
    * @notice creates a new Arbitrum xDomain Forwarder contract
    * @param l1OwnerAddr the L1 owner address that will be allowed to call the forward fn
@@ -31,7 +31,7 @@ contract ArbitrumCrossDomainForwarder is TypeAndVersionInterface, CrossDomainFor
    * - ArbitrumCrossDomainForwarder 0.1.0: initial release
    * - ArbitrumCrossDomainForwarder 1.0.0: Use OZ Address, CrossDomainOwnable
    *
-   * @inheritdoc TypeAndVersionInterface
+   * @inheritdoc ITypeAndVersion
    */
   function typeAndVersion() external pure virtual override returns (string memory) {
     return "ArbitrumCrossDomainForwarder 1.0.0";
@@ -46,7 +46,7 @@ contract ArbitrumCrossDomainForwarder is TypeAndVersionInterface, CrossDomainFor
 
   /**
    * @dev forwarded only if L2 Messenger calls with `xDomainMessageSender` being the L1 owner address
-   * @inheritdoc ForwarderInterface
+   * @inheritdoc IForwarder
    */
   function forward(address target, bytes memory data) external virtual override onlyL1Owner {
     Address.functionCall(target, data, "Forwarder call reverted");

contracts/src/v0.8/l2ep/dev/arbitrum/ArbitrumCrossDomainGovernor.sol

@@ -2,10 +2,10 @@
 pragma solidity ^0.8.0;
 
 // solhint-disable-next-line no-unused-import
-import {TypeAndVersionInterface} from "../../../interfaces/TypeAndVersionInterface.sol";
+import {ITypeAndVersion} from "../../../shared/interfaces/ITypeAndVersion.sol";
 // solhint-disable-next-line no-unused-import
-import {ForwarderInterface} from "../interfaces/ForwarderInterface.sol";
-import {DelegateForwarderInterface} from "../interfaces/DelegateForwarderInterface.sol";
+import {IForwarder} from "../interfaces/IForwarder.sol";
+import {IDelegateForwarder} from "../interfaces/IDelegateForwarder.sol";
 
 import {ArbitrumCrossDomainForwarder} from "./ArbitrumCrossDomainForwarder.sol";
 
@@ -17,7 +17,7 @@ import {Address} from "../../../vendor/openzeppelin-solidity/v4.7.3/contracts/ut
  * @dev Any other L2 contract which uses this contract's address as a privileged position,
  *   can be considered to be simultaneously owned by the `l1Owner` and L2 `owner`
  */
-contract ArbitrumCrossDomainGovernor is DelegateForwarderInterface, ArbitrumCrossDomainForwarder {
+contract ArbitrumCrossDomainGovernor is IDelegateForwarder, ArbitrumCrossDomainForwarder {
   /**
    * @notice creates a new Arbitrum xDomain Forwarder contract
    * @param l1OwnerAddr the L1 owner address that will be allowed to call the forward fn
@@ -30,23 +30,23 @@ contract ArbitrumCrossDomainGovernor is DelegateForwarderInterface, ArbitrumCros
    *
    * - ArbitrumCrossDomainGovernor 1.0.0: initial release
    *
-   * @inheritdoc TypeAndVersionInterface
+   * @inheritdoc ITypeAndVersion
    */
   function typeAndVersion() external pure virtual override returns (string memory) {
     return "ArbitrumCrossDomainGovernor 1.0.0";
   }
 
   /**
    * @dev forwarded only if L2 Messenger calls with `msg.sender` being the L1 owner address, or called by the L2 owner
-   * @inheritdoc ForwarderInterface
+   * @inheritdoc IForwarder
    */
   function forward(address target, bytes memory data) external override onlyLocalOrCrossDomainOwner {
     Address.functionCall(target, data, "Governor call reverted");
   }
 
   /**
    * @dev forwarded only if L2 Messenger calls with `msg.sender` being the L1 owner address, or called by the L2 owner
-   * @inheritdoc DelegateForwarderInterface
+   * @inheritdoc IDelegateForwarder
    */
   function forwardDelegate(address target, bytes memory data) external override onlyLocalOrCrossDomainOwner {
     Address.functionDelegateCall(target, data, "Governor delegatecall reverted");

contracts/src/v0.8/l2ep/dev/arbitrum/ArbitrumSequencerUptimeFeed.sol

@@ -5,9 +5,9 @@ import {AddressAliasHelper} from "../../../vendor/arb-bridge-eth/v0.8.0-custom/c
 import {AggregatorInterface} from "../../../shared/interfaces/AggregatorInterface.sol";
 import {AggregatorV3Interface} from "../../../shared/interfaces/AggregatorV3Interface.sol";
 import {AggregatorV2V3Interface} from "../../../shared/interfaces/AggregatorV2V3Interface.sol";
-import {TypeAndVersionInterface} from "../../../interfaces/TypeAndVersionInterface.sol";
-import {FlagsInterface} from "../interfaces/FlagsInterface.sol";
-import {ArbitrumSequencerUptimeFeedInterface} from "../interfaces/ArbitrumSequencerUptimeFeedInterface.sol";
+import {ITypeAndVersion} from "../../../shared/interfaces/ITypeAndVersion.sol";
+import {IFlags} from "../interfaces/IFlags.sol";
+import {ISequencerUptimeFeed} from "../interfaces/ISequencerUptimeFeed.sol";
 import {SimpleReadAccessController} from "../../../shared/access/SimpleReadAccessController.sol";
 
 /**
@@ -18,8 +18,8 @@ import {SimpleReadAccessController} from "../../../shared/access/SimpleReadAcces
  */
 contract ArbitrumSequencerUptimeFeed is
   AggregatorV2V3Interface,
-  ArbitrumSequencerUptimeFeedInterface,
-  TypeAndVersionInterface,
+  ISequencerUptimeFeed,
+  ITypeAndVersion,
   SimpleReadAccessController
 {
   /// @dev Round info (for uptime history)
@@ -62,7 +62,7 @@ contract ArbitrumSequencerUptimeFeed is
 
   /// @dev Flags contract to raise/lower flags on, during status transitions
   // solhint-disable-next-line chainlink-solidity/prefix-immutable-variables-with-i
-  FlagsInterface public immutable FLAGS;
+  IFlags public immutable FLAGS;
   /// @dev L1 address
   address private s_l1Sender;
   /// @dev s_latestRoundId == 0 means this contract is uninitialized.
@@ -76,7 +76,7 @@ contract ArbitrumSequencerUptimeFeed is
   constructor(address flagsAddress, address l1SenderAddress) {
     _setL1Sender(l1SenderAddress);
 
-    FLAGS = FlagsInterface(flagsAddress);
+    FLAGS = IFlags(flagsAddress);
   }
 
   /**
@@ -120,7 +120,7 @@ contract ArbitrumSequencerUptimeFeed is
    *
    * - ArbitrumSequencerUptimeFeed 1.0.0: initial release
    *
-   * @inheritdoc TypeAndVersionInterface
+   * @inheritdoc ITypeAndVersion
    */
   function typeAndVersion() external pure virtual override returns (string memory) {
     return "ArbitrumSequencerUptimeFeed 1.0.0";