Proof Systems Based on Structured Circuits. - Matthäus Micun; Christoph Berkholz (CoRR, 2026)