BitVM is such a protocol.
The verifies is split into small pieces, which are linked using Lamport signatures. One of these pieces must fail in case the SNARK is invalid.
Discussion
This can work on Bitcoin, but it comes with a large on-chain footprint (around 4MB).
Alternative approaches appeared using Garbled Circuits.
BitVMs mechanism can be substituted with Garbled Circuits.
Garbler (prover) encodes a proof on-chain.
Evaluator (verifier) derives a secret through a GC.
If the proof is invalid, the secret is used to slash the Grarbler.
Drawback: need to generate a Garbled Circuit, which can is very large. The cost can quickly explode.