> Rootstock already solved DA
I think my proposal is superior to theirs because it also solves the DA problem but puts less data on the blockchain
> you can't just make smart contracts by promising that you can ask for your merkle proof before a contested withdraw... You need data availability all the time
My proposal gives you data availability all the time. The moment the sequencer tries to withhold data, that's the moment when you issue the challenge and force them to reveal the data or get slashed. They can never withhold data without undergoing such a challenge, whereupon it gets revealed or you get your exit. Since they can never withhold data, the data is always available.
