Theorem A.2 ([1]}) 
Consider the \(\lambda \) -fold parallel repetition of any commit-challenge-response protocol with computationally orthogonal projectors. The probability that the verifier accepts all \(\lambda \)  parallel repetitions of the protocol is \(\mathsf {negl}(\lambda )\) .

