Blockchain, Zero Knowledge Proofs, Zero Knowledge, Cryptography, Security.
the solution. Essentially, these polynomials represent constraints of the form “a*b=c”, or equivalently “a*b-c=0”. The prover also calculates H(z) = (A(z)B(z)-C(z))/Z(z), where Z(z) is a publicly known polynomial which zeros at the points representing the constraint system. Take note that since A,B