@profile<EOL>def protoWithProof():
r, x = blind(m)<EOL>y,kw,tTilde = eval(w,t,x,msk,s)<EOL>pi = prove(x, tTilde, kw, y)<EOL>verify(x, t, y, pi, errorOnFail=True)<EOL>z = deblind(r, y)<EOL>
Run the full protocol including proof generation and verification.