One of the biggest breakthroughs in cryptography over the past ten years is general-purpose succinct zero knowledge proofs, most commonly referred to as zk-SNARKs.