Hacker News Reader

HNHacker News

Top New Best Ask Show Jobs

Comment by sysguest | Hacker News Reader

Full thread

sysguest·

any link to presentations/papers on this?

I'm interested on learning ZKPs -- they seem so much like "fairy-tale come true" because I don't know much

View on HN

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)

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

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

Also ZCash.

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.

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

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

Reply on news.ycombinator.com