sequenceDiagram
participant U as User
participant S as Sequencer Set
participant R as Rollup
participant E as Ethereum
U->>S: request Merkle proof
S-->>U: Merkle proof,
signature
opt verify inclusion and order
U->>E: call verify function with arguments:
partial Merkle proof,
signature,
Merkle Proof,
order,
root,
signature
end