TIL > … zero-knowledge succinct non-interactive argument of knowledge (zkSNARK), which is a type of zero-knowledge proof system with short proofs and fast veri

TIL > … zero-knowledge succinct non-interactive argument of knowledge (zkSNARK), which is a type of zero-knowledge proof system with short proofs and fast verification times. [1] [1] Microsoft Spartan: High-speed zkSNARKs without trusted setup https://github.com/microsoft/Spartan https://github.com/microsoft/Spartan