Cryptographic method to prove a statement is true without revealing the underlying information. Powers private payments, identity, and L2 rollups.