Rollups

• "Blockchain within a blockchain"
• "Proof of correctness"