Simplified verifier