信息验证与初始精简验证