跳到主要内容

Ultrahonk Verifier

settlementUltrahonkPallet​

Statement hash components​

  • context: keccak256(b"ultrahonk")
  • vk: keccak256(vk.encode())
  • pubs: keccak256(pubs)

Verifier 实现​

该 pallet 验证由 barretenberg 生成的 UltraHonk 证明（Aztec 工具链）。Noir 编译器以其为后端生成 UltraHonk zk-SNARK，生成证明使用 nargo。当前限制：

  1. 仅支持 bb 生成的 zk 版证明；
  2. 仅支持 Keccak256 作为 transcript 哈希；
  3. 不支持递归。