SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs

arXiv:2402.15293v1 Announce Type: new
Abstract: Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing privacy and verifiability to having practical, real-world implementations, with SNARKs (Succinct Non-Interactive Argument of Knowledge) emerging as one of the most significant innovations. Prior work has mainly focused on designing more efficient SNARK systems and providing security proofs for them. Many think of SNARKs as "just math," implying that what is proven to be correct and secure is correct in practice. In contrast, this …

argument arxiv concept cs.cr don emerging innovations knowledge non privacy real security systems understanding vulnerabilities work world zkps