Skip to main content

zk-SNARK

A succinct non-interactive proof that can verify knowledge or computation without revealing the underlying witness.

Definition

A succinct non-interactive proof that can verify knowledge or computation without revealing the underlying witness.

Why it matters

Zero-knowledge systems enable verification of claims or computation while minimizing disclosure of underlying information.
Canonical knowledge ID: glossary:zk-snark