- 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
Linking pages
- Bitcoin Core :: The first successful Zero-Knowledge Contingent Payment https://bitcoincore.org/en/2016/02/26/zero-knowledge-contingent-payments-announcement/ 80 comments
- Exploring Zero-Knowledge Proofs - In Pursuit of Laziness http://manishearth.github.io/blog/2016/03/05/exploring-zero-knowledge-proofs/ 11 comments