# Zero Knowledge Proofs -- A Primer

DevFeed: [Zero Knowledge Proofs -- A Primer](<https://devfeed.tech/articles/zero-knowledge-proofs-a-primer-40400.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2016/07/05/zero-knowledge-proofs-a-primer/>)

Published: 2016-07-05T08:00:29Z

Content type: tutorial

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [Zero-knowledge proof](<https://devfeed.tech/topics/zkp.md>), [zero-knowledge](<https://devfeed.tech/topics/zero-knowledge.md>), [Graphs](<https://devfeed.tech/topics/graphs.md>), [Algorithm](<https://devfeed.tech/topics/algorithm.md>)

Tags: [algorithm](<https://devfeed.tech/tags/algorithm.md>), [complexity-theory](<https://devfeed.tech/tags/complexity-theory.md>), [cryptography](<https://devfeed.tech/tags/cryptography.md>), [graph](<https://devfeed.tech/tags/graph.md>), [graph-isomorphism](<https://devfeed.tech/tags/graph-isomorphism.md>), [mathematics](<https://devfeed.tech/tags/mathematics.md>), [programming](<https://devfeed.tech/tags/programming.md>), [python](<https://devfeed.tech/tags/python.md>), [simulator](<https://devfeed.tech/tags/simulator.md>), [zero-knowledge](<https://devfeed.tech/tags/zero-knowledge.md>)

## AI overview

This primer explains zero-knowledge proofs through the graph isomorphism problem. It introduces the roles of the prover, verifier, and simulator, and describes graph isomorphism using vertex-label permutations.

## Source excerpt

In this post we'll get a strong taste for zero knowledge proofs by exploring the graph isomorphism problem in detail. In the next post, we'll see how this relates to cryptography and the bigger picture. The goal of this post is to get a strong understanding of the terms "prover," "verifier," and "simulator," and "zero knowledge" in the context of a specific zero-knowledge proof. Then next time we'll see how the same concepts (though not the same proof) generalizes to a cryptographically interesting setting.