oe下载：电路、验证密钥或公开输入结构变化可能导致新旧证明不兼容。
不一定，需看新旧验证器是否兼容。
不能保证有效，应按系统版本对应关系处理。
读取证明生成时使用的电路版本标识。
确认当前验证器是否对应同一版本。
按证明版本使用匹配验证器，不擅自改写证明数据。