验证计算