zkSNARKs, short for “Zero-Knowledge Succinct Non-Interactive Argument of Knowledge,” are a type of zero-knowledge proof...