Smart contract or program that checks a zero knowledge or validity proof using a verification key, returning true if the proof is correct.