Text this: Proof Systems Based on Structured Circuits