docs: 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)