using split verifier