maurelian
@maurelian.eth
We know that Superchain interoperability is hard to explain, but we're too close to the problem to know why. We would greatly appreciate you taking the time to read this, and tag @zain to complain about what's unclear to you. https://docs.optimism.io/stack/protocol/interop/explainer
4 replies
4 recasts
9 reactions
GIGAMΞSH
@gigamesh
Mostly makes sense but confused by this part. I thought L2 txs are only truly secured on L1 after the week long fault proof window?
2 replies
0 recast
0 reaction
soyboy
@soyboy
The L2 txs are secured on the L1 when the sequencer posts the L2 transaction batches onto Etherem. The sequencer and all of the nodes on the L2 must follow consensus rules, so there isn't a way to make an invalid transaction because all the nodes on the network just throw it out. The same way its handled on Ethereum, Bitcoin, etc. Like @zain mentioned, this challenge window is very specific to ensuring the withdrawals from the L2 to Ethereum are valid. Essentially the L2 txs and the L1 deposit txs into the L2 are easy to verify because the L2 is aware of both the L2 network state and L1 deposits into the L2 network state. The tricky part is proving to the L1, that the L2 state is correct. Thats where the Optimistic rollups and ZKPs come in to solve the L2 --> L1 message passing direction.
0 reply
0 recast
2 reactions
