跳到主要内容

SP1 Verifier

settlementSp1Pallet​

Statement hash components​

  • context: keccak256(b"sp1")
  • vk: vk
  • pubs: keccak256(pubs)

Verifier 实现​

该 pallet 支持验证 SP1 succinct 证明。下述为 proof、vk、public values 的格式，获取产物的详细流程见教程。

Proof​

Proof 应为 shrink 类型，可在 Compressed 证明上调用 SP1Prover::shrink 获得。

Verification Key​

Verification key 需通过 SP1VerifyingKey::hash_babybear 哈希为 8 个 BabyBear 域元素，使用小端序列化并拼成 32 字节数组。

Public Values​

Public values 作为字节数组传入。