SNARK for developers