Improve the efficiency and performance of the proof generation process to reduce proof generation time and resource consumption.
Improve the efficiency and performance of the proof generation process to reduce proof generation time and resource consumption.