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 bybarretenberg
backend into the format compatible with this pallet.