2 ms·

I work with SNARKs on a regular basis. Soundness depends on the setup; zero-knowledge is unconditional.