Overview

ZKPs allow for 'trustless' verification. For example, you could prove you are over 18 without revealing your actual birthdate, or prove you have enough money for a transaction without revealing your total balance.

Types in Blockchain

  • zk-SNARKs: Succinct Non-Interactive Argument of Knowledge (used by Zcash and many rollups).
  • zk-STARKs: Scalable Transparent Argument of Knowledge (more scalable and quantum-resistant).

Applications

  • Privacy: Hiding transaction details on public ledgers.
  • Scalability: Powering ZK-Rollups to verify thousands of transactions at once.

Related Terms