Blockchain, Zero Knowledge Proofs, Zero Knowledge, Cryptography, Security.
relevant to this post: Tau is a point in a finite field sampled at random, part of the “toxic waste”, during the setup process. The prover, during the proving process, calculates some polynomials — A(z),B(z) and C(z), which are derived from the constraint system and the public and private inputs to