- A cryptographic system which lets a person run an arbitrary program with a mixture of public and secret inputs and prove to others that this specific program accepted the inputs, without revealing anything more about its operation or the secret inputs. https://people.xiph.org/~greg/simple_verifyable_execution.txt 32 comments math