I'm reading Matthew Green's great blog, especially the Zero Knowledge Proofs: An illustrated primer post and I'm wondering what is the difference between completeness and soundness?
In the post, there is this part:
- Completeness If Google is telling the truth, then they will eventually convince me (at least with high probability).
- Soundness Google can only convince me if they're actually telling the truth.
Can I have some explanation? I don't understand the difference.