Codifying Consequences in Crypto