New: Wallet recovery made easy with Ledger Recover, provided by Coincover

Get started

Up your Web3 game

Ledger Academy Quests

  • Test your knowledge
  • Earn POK NFTs
Play now See all quests

Zk-SNARKs Meaning

Jul 11, 2023 | Updated Jul 19, 2023
A Zk-SNARK is a special mathematical technique that allows individuals to prove that something is true without revealing specific details about it.

What are Zk-SNARKs and How They are Used in Cryptocurrency?

Zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) are cryptographic proofs that allows a prover to demonstrate knowledge of a computation without revealing the inputs or information.

Suppose you are a member of a spy agency. To be allowed into the facilities, you have to prove that you are truly part of the agency without explicitly disclosing your personal details or sharing sensitive information. The club has a secret code or symbol, like a special emblem or card, that serves as proof of your membership. 

When you show up at the agency, you can use the secret code or symbol to verify your membership to gain entry. For instance, you may have to answer a question that only members could know the answer to. There may be other steps to complete to ensure that your answer was not just a lucky guess. This way, you can engage in your spy activities while maintaining every member’s privacy and security.

Zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) use a similar concept, where an individual (prover) can demonstrate the truth of a statement to another party (verifier) without divulging additional information other than the statement’s validity. This statement parameter that is held in secret is called a witness.

Within the acronym, “zero knowledge” refers to the party validating the secret having no knowledge of the secret besides its validity. The “Succinct” means that this verification process takes only a few milliseconds since the proof size is small. On the other hand, “non-interactive” implies there’s no interaction between the prover and the verifier. The prover only has to dispatch a single message to the verifier. “Argument” depicts the proofs, while “knowledge” refers to the witness that the party proving the claim has.

Blockchains use Zk-SNARKs to facilitate private transactions by recording only the proof of transactions. The details about the sender, recipient, and the transaction are concealed. The Zk-SNARKs concept was popularized in cryptocurrency by ZCash.

Offline Storage

Offline storage is the method of holding private keys in devices not connected to the internet.

Full definition

Liquidity Pool

A liquidity pool is a collection of digital assets or tokens supplied by platform users and locked in a smart contract to facilitate faster transactions.

Full definition

Flippening

The “Flippening” is the hypothetical moment when Ethereum will potentially surpass Bitcoin in terms of market capitalization.

Full definition