Let protocol A and protocol B be HVZK proof systems. If we construct a protocol C composed of protocol A and protocol B, will it be HVZK as well? Is there some formal proof in the literature regarding this?

  • $\begingroup$ Composed how? Sequentially? Parallel? Arbitrarily? $\endgroup$
    – Maeher
    Apr 18, 2021 at 11:34
  • $\begingroup$ Arbitrarily, @Maeher. $\endgroup$
    – Fiono
    Apr 18, 2021 at 12:08


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.