Proof download function