Towards a Formal Foundation for Blockchain ZK RollupsChaliasos, Stefanos; Firsov, Denis; Livshits, BenjaminCCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security2025 / p. 2714-2728 : illhttps://doi.org/10.1145/3719027.3765115