Proofs and Protocols