SNARKS

Definition of SNARKS