Proof generation complete server