Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
active research [DK18]). Hence it is necessary to minimize or eliminate that trust. Otherwise, a dishonest party would be able to produce fake proofs without being detected. One way to achieve that is by generating a composite CRS by multiple parties employing mathematical tools introduced in