A Theory of Composition for Proofs of Knowledge