Common use of Proof of Theorem Clause in Contracts

Proof of Theorem. In Lemma C.1, we prove succinctness, in Lemma C.2, we prove robustness, and in Lemma C.5, we prove unforgeability.