Verification has traditionally required disclosure. Show the document, expose the birthdate, hand over the transaction history. Zero-knowledge proofs cut that link by letting one party prove a statement is true while revealing nothing beyond its truth.
The taxonomy splits along three axes: proof size, trusted setup, and proving cost. SNARKs produce tiny proofs after setup. STARKs drop the setup and add quantum resistance. Zcash, validity rollups, and Sui zkLogin carry real load today.
The taxonomy splits along three axes: proof size, trusted setup, and proving cost. SNARKs produce tiny proofs after setup. STARKs drop the setup and add quantum resistance. Zcash, validity rollups, and Sui zkLogin carry real load today.







