Zero-knowledge proof
en.wikipedia.org