Proof Complexity Analysis Protocol Design | Proof Complexity Analysis | Theoretical Computer Science | NEROS