Skip to main content

General Purpose SNARK

Definition

A General Purpose SNARK is a type of Zero-Knowledge Succinct Non-Interactive Argument of Knowledge that can prove the correctness of any arbitrary computation without revealing sensitive inputs. Unlike SNARKs designed for specific applications, these systems offer broad utility across a wide array of computational tasks. They represent a significant advancement in verifiable computation.