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?

  • $\begingroup$ Very roughly speaking, you make an interactive proof non-interactive by using trusted randomness, which can be used to simulate the interaction. $\endgroup$ Sep 24 '20 at 7:38
  • $\begingroup$ There is a question on crypto.SE about understanding NIZKs with very good answers (they're more technical than an allegory, but "abstract-length"): crypto.stackexchange.com/questions/14365/… $\endgroup$
    – integrator
    Sep 24 '20 at 15:04
  • $\begingroup$ @eru-cs - that seems to be somewhat in line for what I'm looking for, but that only goes over zk-snarks esque techniques. Would there be anything similar for zk-stark? $\endgroup$
    – user760900
    Sep 28 '20 at 9:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.