The actual proving mechanism is either a) too amazing for me to understand or b) not quite figured out yet. But first blobs..
Rollups use either optimistic proofs or zero knowledge proofs for settlement
> The blob stuff is about "ok if that's a thing how do I prove to some L1 contract that I own these L2 funds?".
It's about data availability
> there's (supposedly) a way for you to slowly get your funds back by exiting on L1
They're called escape hatches, you can view the state of each L2 on L2Beat: https://l2beat.com/scaling/summary
Can you post an example of a code that implements either of these? (the fraud proof, not the happy path)
I ask because in the past when I researched L2s such as Optimism, that code was "to be developed".
Sequencer side:
https://github.com/OffchainLabs/nitro/blob/d28682b9300d50214...
Contract side:
https://github.com/OffchainLabs/nitro-contracts/blob/90037b9...
It seems to me that Optimism is lagging way behind - I'm not sure if they have fraud proofs yet even to this day. I consider Arbitrum to have "picked up the torch" so-to-say.
https://github.com/search?q=test+repo%3AOffchainLabs%2Fnitro...
Not sure why it doesn't show up in GitHub's search, but it's right there in front of both of our faces.