-
Notifications
You must be signed in to change notification settings - Fork 3.9k
Verifier Transaction Batch Ordering #310
Copy link
Copy link
Closed
Description
Describe the bug
Verifiers will
- Passively observe Ethereum contracts
- Compute the resulting state of rolled up transactions by using the OVM geth fork
- Prove fraud resulting from a mismatch between claimed resulting state and computed resulting state
Batches of rollup transactions will likely contain more than one rollup transaction (that's the whole benefit of Optimistic Rollup), and these transactions will need to be processed by the OVM geth fork in order of batch number, followed by index within batch.
At the moment, the mechanism by which order is enforced in transmitting transactions to the OVM geth fork does not work and assigns all transactions within a batch the same index
Steps to reproduce
Steps to reproduce the behavior:
- Run a verifier pointing at contracts with rollup transactions posted (starting at an L1 block number before they were posted)
- Verify that
l1_rollup_txentries all have anindex_within_submissionof0
Expected behavior
The l1_rollup_tx.index_within_submission should be unique in combination with geth_submission_queue_index, and the first transaction in the rollup batch should get index 0, the second gets index 1, and so on...
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels