Is this what is called zero-knowledge proof?