跳到主要内容

术语表

这一页是接入 zkVerify 时最常遇到的术语速查表。重点不是完整理论，而是这些词分别出现在流程的哪一步、忽略它会带来什么问题。

Aggregation engine​

它是什么（工程直觉）：把一批已验证 proof 打包成一个可被合约验证的 receipt（Merkle root）。

为什么会出现：链上合约不会逐条验证 proof，需要一个“批量验收单”。

忽略会怎样：验证通过但没有 receipt，合约端无法消费。

Commitment​

它是什么（工程直觉）：先承诺一个值，再在需要时打开它。承诺值可公开，原始值私有。

为什么会出现：你需要在不泄露隐私的情况下绑定一个事实。

忽略会怎样：要么泄露隐私，要么验证无法对齐。

Poseidon​

它是什么（工程直觉）：电路友好的哈希函数，成本低，适合在电路里做大量哈希。

为什么会出现：普通哈希在电路里代价高，proof 会变慢或变大。

忽略会怎样：电路约束数暴涨，证明生成时间失控。

Witness​

它是什么（工程直觉）：生成 proof 的私有输入和中间值集合。

为什么会出现：proof 不是凭空生成，必须有具体输入材料支撑。

忽略会怎样：witness 泄露会破坏隐私；witness 构造错误会导致 proof 验证失败。

pk / vk / SRS​

它们是什么（工程直觉）：

  • pk：证明生成所需的密钥或参数。
  • vk：验证 proof 的公开参数。
  • SRS：某些系统的可信 setup 公共参考串。

为什么会出现：没有这些产物，proof 无法生成或无法验证。

忽略会怎样：vk 与 proof 不匹配是最常见的验证失败原因。

Domain​

它是什么（工程直觉）：proof 进入聚合队列的“收件箱”。

为什么会出现：需要把 proof 按目标链或策略分流，才能做可控聚合。

忽略会怎样：验证通过但无法聚合，结果无法被链上消费。

怎么用这页​

当你在提交、验证、聚合或消费阶段看到一个不熟悉的词时，就回到这里看它属于哪一步。排错时，这通常比先改参数更有效。