Estimating Proving costs overhead