def render_proof_statement(self):
        s = r'$'

        if len(self.Const) > 0:
            variables = []
            for con in sorted(list(self.Const)):
                variables += ["{\mathrm{%s}}" % tex_encode(con)]
            s += r"\text{Constants: } %s \\" % (', '.join(variables))


        if len(self.Pub) > 0:
            variables = []
            for pub in sorted(list(self.Pub)):
                variables += ["{\mathrm{%s}}" % tex_encode(pub)]
            s += r"\text{Public: } %s \\" % (', '.join(variables))

        s += r"\text{NIZK}\{" + """("""
        variables = []
        for sec in sorted(list(self.Sec)):
            variables += ["{%s}" % tex_encode(sec)]
        variables = ', '.join(variables)
        s += variables

        s += r"): \\ \qquad "

        formulas = []
        for base, expr in self.proofs:
            formulas += ["%s = %s" % (base.tex(), expr.tex())]

        s += r" \wedge \\ \qquad ".join(formulas)

        s+= r'\}$'
        return s
dataset/ETHPy150Open gdanezis/petlib/examples/genzkp.py/ZKProof.render_proof_statement/original