Ultrahonk Verifier

settlementUltrahonkPallet

Statement hash components

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

Verifier implementation

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

1. only the zk flavor of proofs generated by bb is supported;
2. only Keccak256 is supported as the hash function for transcript generation;
3. recursion is not supported.

• verify_proof() uses the ultrahonk_verifier crate to verify proofs.