Run the full protocol including proof generation and verification.

def protoWithProof():
    """
    Run the full protocol including proof generation and verification.
    """
    r, x = blind(m)
    y,kw,tTilde = eval(w,t,x,msk,s)

    pi = prove(x, tTilde, kw, y)
    verify(x, t, y, pi, errorOnFail=True)

    z = deblind(r, y)