Zero Knowledge Proofs, Zkp, Zero Knowledge, Blockchain, Cryptocurrency.
they all produce the correct output. Here, even if a correct circuit exists among the unrevealed ones, the prover must create at least 128 incorrect copies to avoid detection. The probability of the verifier selecting only the incorrect copies for revelation is incredibly small (essentially zero),