- Slow proof generation: Prover might be inefficient for complex circuits, leading to long verification times and high gas costs. - Large proof size: Generated proofs might be too large for efficient storage and transmission, impacting scalability.
Slow proof generation: Prover might be inefficient for complex circuits, leading to long verification times and high gas costs.
Large proof size: Generated proofs might be too large for efficient storage and transmission, impacting scalability.