L2HistoryCCS

Mechanization of proofs in the paper 'A Secure Sequencer and Data Availability Committee for Rollups' to appear in CCS2025.