IExecutor

Git Source

Inherits: IZKChainBase

Author: Matter Labs

Note: security-contact: security@matterlabs.dev

Functions

precommitSharedBridge

Precommits the status of all L2 transactions for the next batch on the shared bridge.

function precommitSharedBridge(
  address _chainAddress,
  uint256 _batchNumber,
  bytes calldata _precommitData
) external;

Parameters

commitBatchesSharedBridge

Function called by the operator to commit new batches. It is responsible for:

• Verifying the correctness of their timestamps.
• Processing their L2->L1 logs.
• Storing batch commitments.

function commitBatchesSharedBridge(
  address _chainAddress,
  uint256 _processFrom,
  uint256 _processTo,
  bytes calldata _commitData
) external;

Parameters

proveBatchesSharedBridge

Batches commitment verification.

Only verifies batch commitments without any other processing.

function proveBatchesSharedBridge(
  address _chainAddress,
  uint256 _processBatchFrom,
  uint256 _processBatchTo,
  bytes calldata _proofData
) external;

Parameters

executeBatchesSharedBridge

The function called by the operator to finalize (execute) batches. It is responsible for:

• Processing all pending operations (commpleting priority requests).
• Finalizing this batch (i.e. allowing to withdraw funds from the system)

function executeBatchesSharedBridge(
  address _chainAddress,
  uint256 _processFrom,
  uint256 _processTo,
  bytes calldata _executeData
) external;

Parameters

revertBatchesSharedBridge

Reverts unexecuted batches

When the _newLastBatch is equal to the number of committed batches, only the precommitment is erased. NOTE: Doesn't delete the stored data about batches, but only decreases counters that are responsible for the number of batches

function revertBatchesSharedBridge(address _chainAddress, uint256 _newLastBatch)
  external;

Parameters

Events

BlockCommit

Event emitted when a batch is committed

It has the name "BlockCommit" and not "BatchCommit" due to backward compatibility considerations

event BlockCommit(
  uint256 indexed batchNumber,
  bytes32 indexed batchHash,
  bytes32 indexed commitment
);

Parameters

BlocksVerification

Event emitted when batches are verified

It has the name "BlocksVerification" and not "BatchesVerification" due to backward compatibility considerations

event BlocksVerification(
  uint256 indexed previousLastVerifiedBatch,
  uint256 indexed currentLastVerifiedBatch
);

Parameters

BlockExecution

Event emitted when a batch is executed

It has the name "BlockExecution" and not "BatchExecution" due to backward compatibility considerations

event BlockExecution(
  uint256 indexed batchNumber,
  bytes32 indexed batchHash,
  bytes32 indexed commitment
);

Parameters

BlocksRevert

Event emitted when batches are reverted

It has the name "BlocksRevert" and not "BatchesRevert" due to backward compatibility considerations

event BlocksRevert(
  uint256 totalBatchesCommitted,
  uint256 totalBatchesVerified,
  uint256 totalBatchesExecuted
);

Parameters

BatchPrecommitmentSet

Emitted when a new precommitment is set for a batch.

event BatchPrecommitmentSet(
  uint256 indexed batchNumber,
  uint256 indexed untrustedLastL2BlockNumberHint,
  bytes32 precommitment
);

Parameters

Structs

StoredBatchInfo

Rollup batch stored data

struct StoredBatchInfo {
  uint64 batchNumber;
  bytes32 batchHash;
  uint64 indexRepeatedStorageChanges;
  uint256 numberOfLayer1Txs;
  bytes32 priorityOperationsHash;
  bytes32 dependencyRootsRollingHash;
  bytes32 l2LogsTreeRoot;
  uint256 timestamp;
  bytes32 commitment;
}

Properties

LegacyStoredBatchInfo

Legacy StoredBatchInfo struct

dependencyRootsRollingHash is not included in the struct

struct LegacyStoredBatchInfo {
  uint64 batchNumber;
  bytes32 batchHash;
  uint64 indexRepeatedStorageChanges;
  uint256 numberOfLayer1Txs;
  bytes32 priorityOperationsHash;
  bytes32 l2LogsTreeRoot;
  uint256 timestamp;
  bytes32 commitment;
}

CommitBatchInfo

Data needed to commit new batch

pubdataCommitments format: This will always start with a 1 byte pubdataSource flag. Current allowed values are 0 (calldata) or 1 (blobs) kzg: list of: opening point (16 bytes) || claimed value (32 bytes) || commitment (48 bytes) || proof (48 bytes) = 144 bytes calldata: pubdataCommitments.length - 1 - 32 bytes of pubdata and 32 bytes appended to serve as the blob commitment part for the aux output part of the batch commitment

For 2 blobs we will be sending 288 bytes of calldata instead of the full amount for pubdata.

When using calldata, we only need to send one blob commitment since the max number of bytes in calldata fits in a single blob and we can pull the linear hash from the system logs

struct CommitBatchInfo {
  uint64 batchNumber;
  uint64 timestamp;
  uint64 indexRepeatedStorageChanges;
  bytes32 newStateRoot;
  uint256 numberOfLayer1Txs;
  bytes32 priorityOperationsHash;
  bytes32 bootloaderHeapInitialContentsHash;
  bytes32 eventsQueueStateHash;
  bytes systemLogs;
  bytes operatorDAInput;
}

Properties

PrecommitInfo

Container for a list of transaction statuses to precommit.

struct PrecommitInfo {
  bytes packedTxsCommitments;
  uint256 untrustedLastL2BlockNumberHint;
}

Properties