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