Proofs, Circuits, and Communication