A cryptographic proof that requires the user to complete a computationally expensive task before providing the application.