Blockchain, Zero Knowledge Proofs, Zero Knowledge, Cryptography, Security.
and C take the inputs of the prover into account, H can only be calculated when the numerator also zeros at the same points — attesting to the fact the prover actually knows a solution to the problem, that which yields A*B-C = 0. The important part happens now — the prover, while not knowing Tau,