Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
can check the polynomials in the last step of the protocol: Trusting One out of Many While the trusted setup is efficient, it is not effective since multiple users of CRS will have to trust that one deleted α and s, since currently there is no way to prove that (proof of ignorance is an area of