I read up on an abstract example of ZKPs (the cave and the door), but I'm trying to understand NIZKs (specifically zk-snarks and zk-stark). All the examples I can find online seem to have some interactive component even when trying to explain nizks. I don't particularly fancy reading some 300 pages of papers to understand this topic. Is there some sort of example (perhaps abstract) a la the cave for regular ZKPs that I could use to understand nizks?
Asked
Active
Viewed 100 times