Before revision:  However, designing a  verifier which can handle realistic networks in a precise manner remains an open and difficult challenge.
After revision:  However, designing a precise and scalable verifier which can handle realistic networks in a precise manner remains an open and difficult challenge.