Source: wikibot/snark-theorem-prover
= SNARK (theorem prover)
{wiki=SNARK_(theorem_prover)}
SNARK, which stands for "Succinct Non-interactive ARguments of Knowledge," is a cryptographic proof system that allows one party (the prover) to convince another party (the verifier) that a statement is true without disclosing any additional information regarding the statement itself. This is particularly useful in contexts where privacy and efficiency are critical.