.
Sipser have proved that they are in fact equivalent. Probabilistically Checkable Proofs (PCPs) In Part IV: ZK Fundamentals: The Fiat-Shamir Transform, we discussed Probabilistically Checkable Proofs (PCPs) at length. Intuitively, it is a way of writing down a proof in such a way that any blunder is