Preprocessing SNARK

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