Zero Knowledge Proofs, Zkp, Zero Knowledge, Blockchain, Cryptocurrency.
various purposes. For instance, if the prover claims to know the factorization of a number n, the function would output 1 only if the input x represents two factors of n. We can build a Boolean circuit to achieve this logic. The prover can then create a garbled circuit of this function. Here’s how