Skip to main content

Ultraplonk Verifier

settlementUltraplonkPallet

Statement hash components

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

Verifier implementation

This pallet implements a verifier for UltraPlonk proofs generated with barretenberg library. This library is part of the Aztec Protocol's suite of cryptographic tools. The Noir compiler generates UltraPlonk zk-SNARK proofs using the barretenberg library as the backend. To generate proofs from Noir code, the nargo tool is used.

  • verify_proof() uses the ultraplonk_verifier crate to verify proofs. The noir-cli tool can be used to transform the proving artifacts generated by barretenberg backend into the format compatible with this pallet.