A zero-knowledge proof methodology. The abbreviation stands for ‘zero-knowledge Succinct Non-interactive Argument of Knowledge’. They make use of the basic idea that any computational condition can be represented by an arithmetic circuit, which takes some data as input and gives an answer of ‘true’ or ‘false’ in response.
