Every crash result is usually verifiable via blockchain-style cryptography. –