5.4.3 密态计算与验证