Preprocessing SNARK
A SNARK in which the circuit - or any equivalent description of the computation - in encoded into oracles separately from the proof.
A SNARK in which the circuit - or any equivalent description of the computation - in encoded into oracles separately from the proof.