snarkvm-synthesizer-process