> for proving you know something without revealing exactly what it is IMO more useful description, at least for developers the math-inclined, is that they allo

> for proving you know something without revealing exactly what it is IMO more useful description, at least for developers the math-inclined, is that they allow you to take a function f(x, y) = z and create a very small, easy to verify proof that this expression/computation is valid for a given x and z and an undisclosed y. If you imagine a function like isBlockchainValid(latestHash, allTransactionsEver) a snark would let you prove that x=latestHash, z=true is a valid solution to isValidBlockchain without the verifier needing allTransactionsEver.