How a rollup finalizes on its base chain, including data availability, proof verification, and the economic guarantees for bridging assets.