为什么要证明？

索引器扫描 PIVX 区块链并构建名称注册表。但为什么有人要相信它呢？如果：

• 伪造一个从未在链上发生过的注册？
• 收取错误费用？
• 名字注册两次？
• 篡改注册表状态？

ZK 证明消除了这些问题。每个证明都是一个加密证书，表明注册已正确处理。任何人都可以独立验证证明。

每个证明验证什么

PIVX 证明器使用 SP1 - RISC-V 零知识虚拟机。对于每个带有域的交易，证明者在 zkVM 内执行以下检查：

1. 名称有效性 -- 1-64 个字符，小写字母数字 + 连字符
2. 费用充足 -- 交易为名称长度支付了足够的 PIVX
3. 协议命令完整性 -- 交易为名称长度支付了足够的 PIVX
4. Ed25519 签名 -- memo command 上的签名有效
5. Merkle树插入 -- 该名称尚不存在，并且新的状态根是正确的

如果任何检查失败，则无法生成证明。

公共输出

每个证明提交 3 个永久绑定到它的值：

输出	描述
old_root	默克尔树根 在此注册之前
new_root	此次注册之后默克尔树根
end_block_height	注册批次最新PIVX区块

block_height 将证明固定到特定的 PIVX 块（如检查点）。任何人都可以在 PIVX 节点上查找交易并确认备忘录和值匹配。