> I appreciate if you'd prefer mathematical rigor, but if that's the case, you're not the audience. There is a rather big gap between "have never heard about Z

> I appreciate if you'd prefer mathematical rigor, but if that's the case, you're not the audience. There is a rather big gap between "have never heard about ZKP" and "mathematician comfortable reading complicated proofs all day long". I suspect here on HN there are enough people who wouldn't mind some more rigor in the examples - in fact, some good articles mentioned here do just that. I don't mean to say that for this subject there aren't any materials available with more rigor than an introductory article, but some more wouldn't hurt.