# The Three Main Properties of ZK-SNARKs - **Completeness:** Assuming the statement is true & the verifier and the prover are honest, the proof is accepted. - **Knowledge soundness:** If the statement is false, a fraudulent prover cannot convince an honest verifier that it is true except by a tiny probability. - **Zero-Knowledge:** Given that the statement is true, a verifier learns nothing more than the fact that the statement is true. Thus, we get: > Zero-Knowledge Proof = I know the secret. I can't tell you the secret. But I can prove to you that I know the secret. ## References - https://taiko.mirror.xyz/9kGUby8h_dyu-t8jcPkDADfbWUMJw3mlGxvZAZk9sV0