In the coming release Casper, I am assuming after Casper reaches finality, the finalized block will never reorg. Is it safe for the full nodes to delete everything (e.g., all transactions) other than block header and state tree before than block?
A new full block can recover without all transactions by:
- Replay the block headers till the last finalized block, to get the latest state merkle root.
- Asks for a full copy of the state tree, verify with the merkle root.
- Continue normally