feat: SignetL1

Author: prestwich

src/apps/Morpho.sol

@@ -249,9 +249,11 @@ contract HosyMorphoBorrow is HostMorphoUser {
         // borrow some amount of loanToken
         MORPHO.borrow(loadParams(), amount, 0, onBehalf, address(this));
 
+        // TODO: complete implementation
         // User logic to use the tokens goes here.
         // Could send the tokens to the rollup via Passage, or do something
         // else :)
+        filler;
 
         return true;
     }

src/chains/Pecorino.sol

@@ -3,6 +3,8 @@ pragma solidity ^0.8.13;
 
 import {RollupOrders} from "zenith/src/orders/RollupOrders.sol";
 import {RollupPassage} from "zenith/src/passage/RollupPassage.sol";
+import {HostOrders} from "zenith/src/orders/HostOrders.sol";
+import {Passage} from "zenith/src/passage/Passage.sol";
 import {IERC20} from "openzeppelin-contracts/contracts/token/ERC20/IERC20.sol";
 
 /// @title PecorinoConstants
@@ -16,6 +18,12 @@ library PecorinoConstants {
     /// @notice The Pecorino Rollup chain ID.
     uint32 constant ROLLUP_CHAIN_ID = 14174;
 
+    /// @notice The Passage contract for the Pecorino testnet host chain.
+    Passage constant HOST_PASSAGE = Passage(payable(0x12585352AA1057443D6163B539EfD4487f023182));
+
+    /// @notice The HostOrders contract for the Pecorino testnet host chain.
+    HostOrders constant HOST_ORDERS = HostOrders(0x0A4f505364De0Aa46c66b15aBae44eBa12ab0380);
+
     /// @notice The Rollup Passage contract for the Pecorino testnet.
     RollupPassage constant PECORINO_ROLLUP_PASSAGE = RollupPassage(payable(0x0000000000007369676E65742D70617373616765));
 

src/l1/Signet.sol

@@ -0,0 +1,55 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity ^0.8.13;
+
+import {HostOrders} from "zenith/src/orders/HostOrders.sol";
+import {Passage} from "zenith/src/passage/Passage.sol";
+import {IERC20} from "openzeppelin-contracts/contracts/token/ERC20/IERC20.sol";
+
+import {PecorinoConstants} from "../chains/Pecorino.sol";
+
+abstract contract SignetL1 {
+    /// @notice Sentinal value for the native asset in order inputs/outputs
+    address constant NATIVE_ASSET = address(0);
+
+    /// @notice The Passage address
+    Passage internal immutable PASSAGE;
+    /// @notice The Host Orders address
+    HostOrders internal immutable ORDERS;
+
+    /// @notice The WETH token address.
+    IERC20 internal immutable WETH;
+    /// @notice The WBTC token address.
+    IERC20 internal immutable WBTC;
+    /// @notice The USDC token address.
+    IERC20 internal immutable USDC;
+    /// @notice The USDT token address.
+    IERC20 internal immutable USDT;
+
+    /// @notice The Rollup WUSD token address.
+    address internal immutable RU_WUSD;
+    /// @notice The Rollup WBTC token address.
+    address internal immutable RU_WBTC;
+    /// @notice The Rollup WETH token address.
+    address internal immutable RU_WETH;
+
+    /// @notice Error for unsupported chain IDs.
+    error UnsupportedChain(uint256);
+
+    constructor() {
+        if (block.chainid == PecorinoConstants.HOST_CHAIN_ID) {
+            PASSAGE = PecorinoConstants.HOST_PASSAGE;
+            ORDERS = PecorinoConstants.HOST_ORDERS;
+
+            WETH = IERC20(PecorinoConstants.HOST_WETH);
+            WBTC = IERC20(PecorinoConstants.HOST_WBTC);
+            USDC = IERC20(PecorinoConstants.HOST_USDC);
+            USDT = IERC20(PecorinoConstants.HOST_USDT);
+
+            RU_WUSD = address(PecorinoConstants.WUSD);
+            RU_WBTC = address(PecorinoConstants.WBTC);
+            RU_WETH = address(PecorinoConstants.WETH);
+        } else {
+            revert UnsupportedChain(block.chainid);
+        }
+    }
+}

src/l2/Signet.sol

@@ -55,7 +55,7 @@ contract SignetL2 {
             HOST_WBTC = PecorinoConstants.HOST_WBTC;
             HOST_WETH = PecorinoConstants.HOST_WETH;
         } else {
-            revert("Unsupported chain");
+            revert UnsupportedChain(block.chainid);
         }
     }