Projects using zero-knowledge proofs, math that verifies a computation without revealing the data. ZK powers layer-2 networks (zkSync, Starknet, Linea), private payments and identity systems.