use proofLen