@misc{chaliasos2024towards,
  title={Towards a Formal Foundation for Blockchain Rollups},
  author={Stefanos Chaliasos and Denis Firsov and Benjamin Livshits},
  year={2024},
  eprint={2406.16219},
  archivePrefix={arXiv},
  primaryClass={cs.CR},
  url={https://arxiv.org/abs/2406.16219}
}