A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)October 2025 — Margarita Capretto, Martin Ceresa, Antonio Fernandez Anta, Pedro Moreno-SanchezACM CCS '25#formalmethods#rollups
