4 ms·
I wrote a primer on ZKPs[1], with a follow up post[2] that proves and implements ZKPs for 3-coloring (mentioned in the first link of the article, but not proved
by j2kun 8y ago
I wrote a primer on ZKPs[1], with a follow up post[2] that proves and implements ZKPs for 3-coloring (mentioned in the first link of the article, but not proved) in Python, and a third post[3] that gets into more nitty gritty theoretical details about computational and statistical zero knowledge that were swept under the rug in [2].
[1]: https://jeremykun.com/2016/07/05/zero-knowledge-proofs-a-primer/ https://jeremykun.com/2016/07/05/zero-knowledge-proofs-a-pri...
[2]: https://jeremykun.com/2016/08/01/zero-knowledge-proofs-for-np/ https://jeremykun.com/2016/08/01/zero-knowledge-proofs-for-n...
[3]: https://jeremykun.com/2016/09/19/zero-knowledge-definitions-and-theory/ https://jeremykun.com/2016/09/19/zero-knowledge-definitions-...
- j2kun 8y agoI should add, the implementations are neither secure nor fast, but rather designed for ease of human understanding.