Proof of Diligence: Cryptoeconomic Security for Rollups. - Peiyao Sheng; Ranvir Rana; Senthil Bala; Himanshu Tyagi; Pramod Viswanath (AFT, 2024)