• - verifiable evidence of computation or statement correctness using cryptography