RT DF A1 Cecchetti, Ethan Benjamin. T1 Mechanisms for Provable Integrity Protection in Decentralized Systems