Blockchain, Zero Knowledge Proofs, Zero Knowledge, Cryptography, Security.
can calculate “in-the-exponent” H(z) evaluated at Tau — H(Tau)! Why do we do that? Since by evaluating at the random point Tau, the prover shows with high probability that the equation H=(A*B-C)/Z holds for all z. From a different perspective on the same matter, without knowing Tau, the prover,