Transaction commitment requires comprehensive callData to compute state, emphasizing data availability.
Natural names of states depend on transaction order and transformations from checkpoints.
Feasibility in layered design needs verifiable data availability, ensuring security against adversaries.