The Stack Exchange post links to the mailinglist post by Antoine Poinsot. It it turn uses Citrea as the example. They use some sort of watch-tower scheme that needs to look for zero-knowledge proofs on chain and then react.
Discussion
And from that I'm assuming various BitVM schemes will work in similar ways. Hard to predict what ends up being successful here.
Okay, thanks. I was pretty much in the 'let's ossify except for bug fixing and unforeseen future needs, cut off all feature discussions and level up with focus on 2nd layers with a stable base' camp.
This adds to that conviction.
I hope we get there asap.
Clarity - hard to achieve in an open source world...
One way to look at OP_RETURN usage by "L2" projects, is to get a sense of what future op codes could look like. If people keep sticking zero knowledge proofs there, maybe at some it makes sense to just add a zero knowledge proof output type. Obviously that's a _very_ long time out, and there might be very good reasons to never do it. But you can look at it as a (permissionless) draft.