#BOS @coineasydao.near ZK Proofs have several important properties: Completeness: If the statement is true and both the prover and verifier follow the protocol correctly, the verifier will accept the proof with high probability. Soundness: If the statement is false, no efficient prover can convince the verifier with high probability. Zero-Knowledge: The verifier learns nothing other than the validity of the statement being proven. It doesn't gain any additional information about the secret or the proof itself.