Non Interactive Zero knowledge proofs as used in that paper are just a set of mathematical equations and values that you check the equations hold for. They are

Non Interactive Zero knowledge proofs as used in that paper are just a set of mathematical equations and values that you check the equations hold for. They are not even close to turing complete.