SNARKs have no relation to SAT solving. Also, there is no a priori reason for encrypted Turing Machine evaluation to look like a SNARK. Indeed, the operations a

SNARKs have no relation to SAT solving. Also, there is no a priori reason for encrypted Turing Machine evaluation to look like a SNARK. Indeed, the operations are very different: the first involves performing computation, while the second involves checking computation