Mr. KZ proofs - hcp