zk-SNARK

Non-interactive zero-knowledge proofs are cryptographic primitives that allow for the authentication of information between a prover and verifier without revealing any specific information beyond the validity of the statement. They are useful in decentralized systems like blockchains, as they can be used to verify transactions without the need for a central authority. Most non-interactive zero-knowledge proofs are based on mathematical constructs like elliptic curve cryptography or pairing-based cryptography, which allow for the creation of short and easily verifiable proofs.