Each crash result is verifiable via blockchain-style cryptography. –