读取公开输入
保存证明公开输入中的批次标识和状态根。
保存证明公开输入中的批次标识和状态根。
比较公开输入与链上实际提交的批次记录。
将证明验证结果和批次身份匹配分开检查。
不能，还需核对公开输入中的批次标识。
比较证明公开输入和链上批次承诺字段。
不能，还需核对公开输入中的批次标识。
比较证明公开输入和链上批次承诺字段。
不能，还需核对公开输入中的批次标识。
比较证明公开输入和链上批次承诺字段。
保存证明公开输入中的批次标识和状态根。
比较公开输入与链上实际提交的批次记录。
将证明验证结果和批次身份匹配分开检查。
不能，还需核对公开输入中的批次标识。
比较证明公开输入和链上批次承诺字段。