SNARK

Definition of SNARK