fn get_proof_size(num_shreds: usize) -> u8