Skip to content

Conversation

@0xValera
Copy link
Collaborator

What ❔

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.

Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

Comment on lines +193 to +194
if (_newBatch.firstBlockTimestamp >= _newBatch.lastBlockTimestamp) {
revert NonIncreasingTimestamp();

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Rejects single‑block batches via strict timestamp inequality

The new NonIncreasingTimestamp guard now reverts when firstBlockTimestamp equals lastBlockTimestamp. A batch containing a single L2 block has identical first/last timestamps (the shared executor fixture initializes both to the batch timestamp in _Executor_Shared.t.sol), which previously committed successfully. With this change such batches will revert during commitBatchesSharedBridge, blocking valid one-block batches unless callers artificially bump the last timestamp.

Useful? React with 👍 / 👎.

if (_newBatch.lastBlockTimestamp > block.timestamp + COMMIT_TIMESTAMP_APPROXIMATION_DELTA) {
revert L2TimestampTooBig();
}
if (_newBatch.firstBlockTimestamp >= _newBatch.lastBlockTimestamp) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not sure if we are going to merge this, but if we are - we need to use > here

@0xValera 0xValera closed this Dec 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants