验证器和全节点必须升级。修复了证明器中不安全的公理，并添加了原生位置类型。