Every crash effect is usually verifiable through blockchain-style cryptography. –