The Proof Protocol Cheap