Using Celestia with snapps

I’ve been looking into celestia.org, and the protocol looks like a really interesting way of solving the data availability problem. It looks like for rollups, this could be used as is to provide a way for the state merkle tree to be reconstructed from transactions committed to celestia. Users could simply send their transactions to celestia and the rollup service would just watch for events and create rollups periodically, this way you also get instant finality for your transactions. What do people think of this? I’m just wondering how mass exit could be implemented.

1 Like

I’ve been looking at Celestia as well, but it’s till not clear to me how the DA problem on Mina is defined and how Celestia can help solve the problem. As a L1, Mina does not need to release all block data, it only needs to release proof of DA, which it already does because all transactions are snarked (ie proved) before putting into blocks. Snapps are similar, the state changes will be sent as transactions, which will also be proved.

1 Like

What’s a proof of data availability though? A proof that most of the network has that data? How does it work?