extended edge verifier