Zero-Knowledge Proof

A zero knowledge proof is a method of verifying information relative to a set of parameters without actually accessing the information itself; thus, it is possible to verify the correctness of computations without actually computing them. The first instantiation of zk-SNARKS on a blockchain came from Zcash, allowing proof that a particular transaction is valid without revealing any of the information specific to the transaction, such as the value or identity of parties transacting.