Hooks: A Simple and Modular Checkpointing Protocol for Blockchains. - Pedro Antonino; Antoine Durand; Namrata Jain; Garry Lancaster; Jonathan Lawrence; A. W. Roscoe 001 (NCA, 2024)