1/ Not everyone needs to understand how ZK-SNARKs work, but you should at least know the three main properties: - Completeness: Assuming the statement is true & the verifier and the prover are honest, the proof is accepted.

2/ - 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.