chore(protocol): Contestable rollup additions (design docs, documentation, etc.)

packages/protocol/contracts/L1/TaikoData.sol

@@ -145,13 +145,6 @@ library TaikoData {
         bytes32[7] __reserved;
     }
 
-    /// @dev Struct representing information about a transaction list.
-    /// 1 slot used.
-    struct TxListInfo {
-        uint64 validSince;
-        uint24 size;
-    }
-
     /// @dev Struct representing an Ethereum deposit.
     /// 1 slot used.
     struct EthDeposit {

packages/protocol/contracts/L1/TaikoEvents.sol

@@ -38,6 +38,7 @@ abstract contract TaikoEvents {
     /// @param prover The prover whose transition is used for verifing the
     /// block.
     /// @param blockHash The hash of the verified block.
+    /// @param signalRoot The latest value of the signal service storage.
     event BlockVerified(
         uint256 indexed blockId,
         address indexed assignedProver,
@@ -79,7 +80,7 @@ abstract contract TaikoEvents {
     /// @dev Emitted when a user withdrawed Taiko token from this contract.
     event TokenWithdrawn(uint256 amount);
 
-    /// @dev Emitted when Taiko token are credited  to the user's in-protocol
+    /// @dev Emitted when Taiko token are credited to the user's in-protocol
     /// balance.
     event TokenCredited(uint256 amount, bool minted);
 

packages/protocol/contracts/L1/TaikoL1.sol

@@ -40,7 +40,7 @@ contract TaikoL1 is
     TaikoData.State public state;
     uint256[100] private __gap;
 
-    /// @dev Fallback function to receive Ether and deposit to to Layer 2.
+    /// @dev Fallback function to receive Ether and deposit to Layer 2.
     receive() external payable {
         depositEtherToL2(address(0));
     }