zk-SNARK steht für Zero-knowledge, Succinct, Non-Interactive Argument of Knowledge und ist eine Variante des Zero-knowledge Proof, bei der keine Interaktion zwischen Beweiser und Validator nötig ist. Eine Referenzsumme reicht aus, um den Beweis für ein Geheimnis zu erbringen. zk-SNARKs finden Anwendung als Privacy-Option im Protokoll von Zcash.