A Bitcoin-family coin with optional shielded transactions using zk-SNARKs.

A proof that a statement is true without revealing the secret that makes it true.

A rollup that posts a validity proof so L1 can check the new state without re-executing every trade.

A succinct zero-knowledge proof used by Zcash and many ZK rollups to prove a statement without revealing inputs.

A transparent cryptographic argument that can verify a large computation efficiently, with zero-knowledge when the construction includes the required privacy protections.

A protocol and software ecosystem for validity-proof-based chains, including ZKsync Era; a deployment's execution environment, data availability, and settlement configuration determine its actual guarantees.