Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add ERC: Verifiable Cross Rollup Links #863

Open
wants to merge 8 commits into
base: master
Choose a base branch
from

Conversation

notbdu
Copy link

@notbdu notbdu commented Jan 24, 2025

This ERC proposes a specification for verifiable cross rollup links to enable settlement time verification of cross rollup transactions across different rollup frameworks.

The goal is to enable rollups of any framework to join a cluster and have cross rollup communication within that cluster secured by the L1.

@eip-review-bot
Copy link
Collaborator

eip-review-bot commented Jan 24, 2025

File ERCS/erc-7868.md

Requires 1 more reviewers from @g11tech, @SamWilsn, @xinbenlv

ERCS/erc-XXXX.md Outdated
@@ -0,0 +1,117 @@
---
eip: XXXX
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
eip: XXXX
eip: 7868

Also rename the file and assets directories please!

@notbdu notbdu changed the title Add ERC: Verifiable Cross Rollup Links Add ERC-7868: Verifiable Cross Rollup Links Jan 27, 2025
@eip-review-bot eip-review-bot changed the title Add ERC-7868: Verifiable Cross Rollup Links Add ERC: Verifiable Cross Rollup Links Jan 27, 2025
@github-actions github-actions bot removed the w-ci label Jan 27, 2025
Copy link

The commit c90b69f (as a parent of 7398416) contains errors.
Please inspect the Run Summary for details.

@github-actions github-actions bot added the w-ci label Jan 27, 2025

We propose a log and storage key identifier. Both are verifiable by cryptographically linking them to the execution results (e.g. block header) produced by communicating rollups (and the L1). The creation of either identifier creates a "cross rollup link" between the execution of the origin and the destination rollup. These cross rollup links can either be pessimistically or optimistically validated depending on the type of proof system used.

The `LogIdentifier` specification below borrows heavily from Optimism's [message identifier](https://github.com/ethereum-optimism/specs/blob/main/specs/interop/messaging.md#message-identifier) format. It uniquely identifies a log emitted on the origin rollup.

Choose a reason for hiding this comment

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

There is an issue with the link on line 42 in ERCS/erc-7868.md. To resolve this, please ensure the link is a relative link as described in the Markdown Relative Links guidelines. You can also refer to the correct method for linking external resources here: Linking to External Resources.


### Settlement

Rollup frameworks are then expected to use this information at settlement time to validate all cross rollup inputs. This means that we now introduce a dependency of a single rollup STF on the STF of communicating rollups in a cluster. There are two general approaches for implementing this cross rollup dependency - shared or chained settlement.

Choose a reason for hiding this comment

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

Could you please clarify the meaning of STF in the context of the Rollup frameworks? It would help readers understand the document better.

Copy link

Choose a reason for hiding this comment

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

state transition function

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants