zk-SNARKS are a type of zero-knowledge proofs, distinguished from other varieties largely by their succinctness, a formal property of proofs whose instantiation enables zk-SNARKS to verify both simple and complex problems with comparable effort. zk-SNARKS were first applied to blockchain transactions by Zcash as a cryptographic method for proving that a particular transaction is valid without revealing any of the information specific to the transaction.