ZK-SNARK
A succinct, non-interactive argument of knowledge that can demonstrate a claim with a compact zero-knowledge proof.
In more detail
A prover does the work of constructing a proof, and a verifier checks it without interactive rounds with the prover. Succinctness makes the proof compact relative to the computation being demonstrated. Different SNARK schemes use different setup and security assumptions, so the acronym does not describe one universal implementation.
How you might use it
The verifier receives a compact proof that the computation followed its rules, without seeing the private witness or running interactive rounds.
- Written out
- Zero-Knowledge Succinct Non-Interactive Argument of Knowledge
Listen uses a browser-generated voice. Accents and pronunciation can vary.
Got a way to make ZK-SNARK click?
Add your takeBy Crypto Dictionary · Published · Updated
Go to the source
Use the original reference to explore the details behind this entry.
Read the referenceAn original explanation with a reference to follow. Protocol details and community usage can evolve. Sources & standards