any link to presentations/papers on this? I'm interested on learning ZKPs -- the...

jmusall · 2026-09-14T07:24:47

Here's a site with a few (three) introductory articles on ZKPs: https://zkintro.com

One in particular on pratical implementation of ZKPs was popular on HN back in 2024: https://zkintro.com/articles/programming-zkps-from-zero-to-h... (discussion at https://news.ycombinator.com/item?id=41398092)

hasley · 2026-09-14T05:40:21

I liked this: "I can prove I’ve solved this Sudoku without revealing it" https://youtu.be/Otvcbw6k4eo

Cider9986 · 2026-09-14T04:02:21

nym.com might have some. They use stuff like that heavily and there's a bunch of academics involved.

Also ZCash.

jval43 · 2026-09-14T05:01:59

It's standard cryptography, not some new-fangled tech! Wikipedia even has some easy examples:

https://en.wikipedia.org/wiki/Zero-knowledge_proof

Main caveat is that ZKPs are probabilistic. The protocol (number of rounds etc) determines how sure, e.g. 99.9%. But never 100%.

Second caveat: tech- and crypto-bros play fast and loose with the term "ZKP", either because they don't know any better (marketing) or they straight up lie. Whether any application you run actually uses ZKP (or any other cryptography scheme) is unknown unless you have the source code.

irchans · 2026-09-14T10:01:10

https://eprint.iacr.org/2020/141.pdf

jval43 · 2026-09-14T13:32:23

Reading that, the execution is now deterministic but the soundness is still probabilistic and <100%, no? Unless I'm reading it wrong.