Zkp, Zero Knowledge Proofs, Groth16, Zksnark, Market Analysis.
operations, polynomial arithmetic, and other mathematical transformations. These operations are computationally expensive and can contribute to the prover time. In addition, the number of these operations are linear to the size of the circuit, which means that the prover work almost grows linearly