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

    # Proof in Gt/Gt
    pi = proveGt(x, tTilde, kw, y)
    verifyGt(x, tTilde, y, pi, errorOnFail=True)

    # Proof in G1/Gt
    pi = proveG1(x, tTilde, kw, y)
    verifyG1(x, tTilde, y, pi, errorOnFail=True)

    z = deblind(r, y)