Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
learns secret parameters of other participants unless they are colluding. In fact, in order to learn s and α, one must collude with every other participant. Therefore even if one out of all is honest, it will be infeasible to produce fake proofs. Note: this process can be repeated for as many