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