zk-SNARK

A zk-SNARK is a type of zero-knowledge proof that is short and quick to verify. It is used by privacy coins such as Zcash and by many zk-rollups.