Zero-Knowledge Proofs Simplified

Demonstrating how these go beyond 'take my word for it' with a simple python example

UPDATE 11/13/2019: This post originally had a Where’s Waldo image used as an analogy, but it turns out the publisher didn’t like that. I’ve replaced it with a different example. UPDATE 06/20/2020: Scott Moses Sunarto has created “Dark Forest”, a massively multiplayer online real-time strategy (MMORTS) space conquest game build on top of the Ethereum blockchain. It’s based on the concept of ZK-SNARKS mentioned in this article, as well as the popular “The Body Problem” Trilogy. I had no involvement in the creation of this game, but if you enjoy this post below you should definitely go check it out. UPDATE 10/21/2021: zk-SNARKs are great, but you know what might do them better? zk-STARKs. My current hypothesis is that zk-SNARKs will become more popular for web3 applications, before being quickly taken over by zk-STARKs.

References


Cited as:

@article{mcateer2019zkproof,
    title = "Zero-Knowledge Proofs Simplified",
    author = "McAteer, Matthew",
    journal = "matthewmcateer.me",
    year = "2019",
    url = "https://matthewmcateer.me/blog/zk-proofs-simplified/"
}

If you notice mistakes and errors in this post, don’t hesitate to contact me at [contact at matthewmcateer dot me] and I will be very happy to correct them right away! Alternatily, you can follow me on Twitter and reach out to me there.

See you in the next post 😄

I write about AI, Biotech, and a bunch of other topics. Subscribe to get new posts by email!


This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

At least this isn't a full-screen popup

That'd be more annoying. Anyways, subscribe to my newsletter to get new posts by email! I write about AI, Biotech, and a bunch of other topics.


This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.