feat(protocol): Gas limit behavior changes

packages/protocol/contracts/L1/libs/LibProposing.sol

@@ -65,7 +65,7 @@ library LibProposing {
         meta.txListHash = input.txListHash;
         meta.txListByteStart = input.txListByteStart;
         meta.txListByteEnd = input.txListByteEnd;
-        meta.gasLimit = input.gasLimit;
+        meta.gasLimit = uint32(config.blockMaxGasLimit);
         meta.beneficiary = input.beneficiary;
         meta.treasury = resolver.resolve(config.chainId, "treasury", false);
         meta.depositsProcessed =
@@ -123,8 +123,6 @@ library LibProposing {
             input.beneficiary == address(0)
             //
             || input.gasLimit == 0
-            //
-            || input.gasLimit > config.blockMaxGasLimit
         ) revert L1_INVALID_METADATA();
 
         if (

packages/protocol/docs/how_taiko_proves_blocks.md

@@ -14,7 +14,6 @@ A valid `txList` (until [issue #13724](https://github.com/taikoxyz/taiko-mono/is
 - Has a byte-size smaller than the protocol constant _`maxBytesPerTxList`_ (also enforced in contracts);
 - Can be RLP-decoded into a list of transactions without trailing space;
 - Contains no more transactions (valid and invalid) than the protocol constant _`maxTransactionsPerBlock`_;
-- Has a total gas limit for all valid transactions not exceeding the protocol constant _`blockMaxGasLimit`_;
 
 ZKP must prove whether the `txList` is valid or invalid. For an invalid `txList`, the corresponding L2 block will only have an anchor transaction.
 
@@ -25,7 +24,10 @@ A valid transaction (defined in the Ethereum Yellow Paper):
 - Has a valid transaction signature.
 - Has a valid transaction nonce (equivalent to the sender account's current nonce).
 - Has no contract code deployed on the sender account (see EIP-3607 by Feist et al. [2021]).
-- Has a gas limit no smaller than the intrinsic gas, _`g0`_, used by the transaction; and the sender account balance contains at least the cost, _`v0`_, required in up-front payment.
+- Has a gas limit no smaller than the intrinsic gas, _`g0`_, used by the transaction.
+- The sender account balance contains at least the cost, _`v0`_, required in up-front payment.
+- The transaction has a gas limit that is smaller or equal to the amount of gas left in the block (with the block gas limit being the protocol constant _`blockMaxGasLimit`_).
+- The transaction has a basefee that is greater than or equal the basefee of the block.
 
 #### Slicing and Consistency