 However, designing a  verifier which can handle realistic networks in a precise manner remains an open and difficult challenge.
<meaning-changed>  However, designing a  verifier which can handle realistic networks in a precise manner remains an open and difficult challenge.
 However, designing a precise and scalable verifier which can handle realistic networks in a precise manner remains an open and difficult challenge.