Each crash effect is usually verifiable via blockchain-style cryptography. –