More than a little interesting.
I'm surprised they don't reference Arbitrum, it seems like the same paradigm.
I remember thinking along the same lines, but it's great to see people are actually trying to do it (or at least, make a start!)
Discussion
Haven’t heard about arbitrum. Just googled and my guess is that they didn’t mention it because it’s on eth 💩 ? 😅
But yeah that’s gonna be interesting development, and seems like no softfork needed.
The answer to my question is probably related to why you're wrong there: the paper's first reference is to an ETH research blog post about optimistic rollups. Arbitrum is just one of the two popular implementations of that, I'd forgotten.
The main idea is to use challenge-response as fraud proofs.
Now I gotta read the whole proposal 🫣