A Subversion-Resistant SNARK