fix: correctly replay messages

.changeset/ten-planes-carry.md

+---
+'@eth-optimism/contracts': patch
+---
+
+Fixes a bug that made replayMessage useless.

packages/contracts/contracts/L1/messaging/IL1CrossDomainMessenger.sol

@@ -51,13 +51,15 @@ interface IL1CrossDomainMessenger is ICrossDomainMessenger {
      * @param _sender Original sender address.
      * @param _message Message to send to the target.
      * @param _queueIndex CTC Queue index for the message to replay.
-     * @param _gasLimit Gas limit for the provided message.
+     * @param _oldGasLimit Original gas limit used to send the message.
+     * @param _newGasLimit New gas limit to be used for this message.
      */
     function replayMessage(
         address _target,
         address _sender,
         bytes memory _message,
         uint256 _queueIndex,
-        uint32 _gasLimit
+        uint32 _oldGasLimit,
+        uint32 _newGasLimit
     ) external;
 }

packages/contracts/contracts/L1/messaging/L1CrossDomainMessenger.sol

@@ -269,7 +269,8 @@ contract L1CrossDomainMessenger is
         address _sender,
         bytes memory _message,
         uint256 _queueIndex,
-        uint32 _gasLimit
+        uint32 _oldGasLimit,
+        uint32 _newGasLimit
     )
         public
     {
@@ -278,32 +279,35 @@ contract L1CrossDomainMessenger is
         Lib_OVMCodec.QueueElement memory element =
             ICanonicalTransactionChain(canonicalTransactionChain).getQueueElement(_queueIndex);
 
+        // Compute the calldata that was originally used to send the message.
+        bytes memory xDomainCalldata = Lib_CrossDomainUtils.encodeXDomainCalldata(
+            _target,
+            _sender,
+            _message,
+            _queueIndex
+        );
+
         // Compute the transactionHash
         bytes32 transactionHash = keccak256(
             abi.encode(
                 AddressAliasHelper.applyL1ToL2Alias(address(this)),
                 Lib_PredeployAddresses.L2_CROSS_DOMAIN_MESSENGER,
-                _gasLimit,
-                _message
+                _oldGasLimit,
+                xDomainCalldata
             )
         );
 
+        // Now check that the provided message data matches the one in the queue element.
         require(
             transactionHash == element.transactionHash,
             "Provided message has not been enqueued."
         );
 
-        bytes memory xDomainCalldata = Lib_CrossDomainUtils.encodeXDomainCalldata(
-            _target,
-            _sender,
-            _message,
-            _queueIndex
-        );
-
+        // Send the same message but with the new gas limit.
         _sendXDomainMessage(
             canonicalTransactionChain,
             xDomainCalldata,
-            _gasLimit
+            _newGasLimit
         );
     }
 

packages/contracts/test/contracts/L1/messaging/L1CrossDomainMessenger.spec.ts

@@ -23,8 +23,11 @@ import {
   TrieTestGenerator,
   getNextBlockNumber,
   encodeXDomainCalldata,
+  getEthTime,
+  setEthTime,
 } from '../../../helpers'
 import { predeploys } from '../../../../src'
+import { keccak256 } from 'ethers/lib/utils'
 
 const MAX_GAS_LIMIT = 8_000_000
 
@@ -206,40 +209,146 @@ describe('L1CrossDomainMessenger', () => {
   describe('replayMessage', () => {
     const target = NON_ZERO_ADDRESS
     const message = NON_NULL_BYTES32
-    const gasLimit = 100_000
+    const oldGasLimit = 100_000
+    const newGasLimit = 200_000
 
-    it('should revert if given the wrong queue index', async () => {
-      await L1CrossDomainMessenger.sendMessage(target, message, 100_001)
+    let sender: string
+    before(async () => {
+      sender = await signer.getAddress()
+    })
+
+    let queueIndex: number
+    beforeEach(async () => {
+      await L1CrossDomainMessenger.connect(signer).sendMessage(
+        target,
+        message,
+        oldGasLimit
+      )
 
       const queueLength = await CanonicalTransactionChain.getQueueLength()
+      queueIndex = queueLength - 1
+    })
+
+    describe('when giving some incorrect input value', async () => {
+      it('should revert if given the wrong target', async () => {
+        await expect(
+          L1CrossDomainMessenger.replayMessage(
+            ethers.constants.AddressZero, // Wrong target
+            sender,
+            message,
+            queueIndex,
+            oldGasLimit,
+            newGasLimit
+          )
+        ).to.be.revertedWith('Provided message has not been enqueued.')
+      })
+
+      it('should revert if given the wrong sender', async () => {
         await expect(
           L1CrossDomainMessenger.replayMessage(
             target,
-          await signer.getAddress(),
+            ethers.constants.AddressZero, // Wrong sender
             message,
-          queueLength - 1,
-          gasLimit
+            queueIndex,
+            oldGasLimit,
+            newGasLimit
           )
         ).to.be.revertedWith('Provided message has not been enqueued.')
       })
 
-    it('should succeed if the message exists', async () => {
-      await L1CrossDomainMessenger.sendMessage(target, message, gasLimit)
-      const queueLength = await CanonicalTransactionChain.getQueueLength()
+      it('should revert if given the wrong message', async () => {
+        await expect(
+          L1CrossDomainMessenger.replayMessage(
+            target,
+            sender,
+            '0x', // Wrong message
+            queueIndex,
+            oldGasLimit,
+            newGasLimit
+          )
+        ).to.be.revertedWith('Provided message has not been enqueued.')
+      })
 
-      const calldata = encodeXDomainCalldata(
+      it('should revert if given the wrong queue index', async () => {
+        await expect(
+          L1CrossDomainMessenger.replayMessage(
             target,
-        await signer.getAddress(),
+            sender,
             message,
-        queueLength - 1
+            queueIndex - 1, // Wrong queue index
+            oldGasLimit,
+            newGasLimit
           )
+        ).to.be.revertedWith('Provided message has not been enqueued.')
+      })
+
+      it('should revert if given the wrong old gas limit', async () => {
+        await expect(
+          L1CrossDomainMessenger.replayMessage(
+            target,
+            sender,
+            message,
+            queueIndex,
+            oldGasLimit + 1, // Wrong gas limit
+            newGasLimit
+          )
+        ).to.be.revertedWith('Provided message has not been enqueued.')
+      })
+    })
+
+    describe('when all input values are the same as the existing message', () => {
+      it('should succeed', async () => {
         await expect(
           L1CrossDomainMessenger.replayMessage(
+            target,
+            sender,
+            message,
+            queueIndex,
+            oldGasLimit,
+            newGasLimit
+          )
+        ).to.not.be.reverted
+      })
+
+      it('should emit the TransactionEnqueued event', async () => {
+        const newQueueIndex = await CanonicalTransactionChain.getQueueLength()
+        const newTimestamp = (await getEthTime(ethers.provider)) + 100
+        await setEthTime(ethers.provider, newTimestamp)
+
+        await expect(
+          L1CrossDomainMessenger.replayMessage(
+            target,
+            sender,
+            message,
+            queueIndex,
+            oldGasLimit,
+            newGasLimit
+          )
+        )
+          .to.emit(CanonicalTransactionChain, 'TransactionEnqueued')
+          .withArgs(
+            applyL1ToL2Alias(L1CrossDomainMessenger.address),
             Mock__L2CrossDomainMessenger.address,
+            newGasLimit,
+            encodeXDomainCalldata(target, sender, message, queueIndex),
+            newQueueIndex,
+            newTimestamp
+          )
+      })
+    })
+
+    it('should succeed if all inputs are the same as the existing message', async () => {
+      await L1CrossDomainMessenger.sendMessage(target, message, oldGasLimit)
+      const queueLength = await CanonicalTransactionChain.getQueueLength()
+
+      await expect(
+        L1CrossDomainMessenger.replayMessage(
+          target,
           await signer.getAddress(),
-          calldata,
+          message,
           queueLength - 1,
-          gasLimit
+          oldGasLimit,
+          newGasLimit
         )
       ).to.not.be.reverted
     })