Mechanisms for Provable Integrity Protection in Decentralized Systems