snarkvm-synthesizer-snark