同一个小程序，配置业务域名的校验文件，每次下载的文件名称都是一样的吗？微信用这个校验文件是怎么校验的？为什么校验文件的名称不能修改，原理是什么呢