Een zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) is een cryptografisch bewijs waarmee een partij aan een andere partij kan bewijzen dat ze bepaalde informatie bezit, zonder de daadwerkelijke data te onthullen. "Succinct" betekent dat de bewijzen klein en snel te verifiëren zijn, terwijl "non-interactive" betekent dat er geen heen-en-weer communicatie nodig is tussen bewijzer en verifieerder. zk-SNARKs worden gebruikt in privacy-gerichte cryptocurrencies zoals Zcash en steeds vaker in Layer-2 schaaloplossingen (zk-rollups) om duizenden transacties te bundelen in een enkel verifieerbaar bewijs.