We propose an intuitive and practical ZK-Rollup interworking scheme, which does not rely on the intermediate relayer and directly uses the ZK-Proof of the interworking parties at the Execution Layer to verify the correctness of the cross-transaction. To achieve Rollup interoperability, we define a set of Rollup specifications:
- 1.Each Rollup needs to register a Rollup Slot so that other Rollups can find the corresponding Root Contract address.
- 2.For the Merkle/Verkle tree query, the interface of Rollup is unified, and other Rollups can use the same method to query the current Merkle tree state of the Rollup. Merkle trees are more efficient than Merkle trees - smaller proof size, faster verification.
- 3.Each Rollup circuit must also support Merkle Proof query and verification.