bb::MergeVerifier_< Curve >::InputCommitments Struct Reference

#include <merge_verifier.hpp>

Public Attributes
TableCommitments	t_commitments
TableCommitments	T_prev_commitments

Detailed Description

template<typename Curve>
struct bb::MergeVerifier_< Curve >::InputCommitments

Commitments used by the verifier to run the verification algorithm. They contain:

• t_commitments: commitments to the subtable being merged (t_j), read from the transcript by the HN verifier with which the Merge verifier shares a transcript
• T_prev_commitments: commitments to the aggregate op_queue table prior to this merge (i.e. covering all subtables up to and including the tail subtable, but excluding the one currently being appended)

The Merge verifier receives these commitments from its caller rather than from the merge proof. Callers must ensure they are already bound to the shared Fiat-Shamir transcript before Merge samples its challenges. Chonk satisfies this by running MegaZK Oink first on the same transcript: t_commitments are the ecc-op wire commitments read by Oink, and T_prev_commitments are reconstructed from public inputs read by Oink.

Definition at line 58 of file merge_verifier.hpp.

Member Data Documentation

t_commitments

template<typename Curve >

TableCommitments bb::MergeVerifier_< Curve >::InputCommitments::t_commitments

Definition at line 59 of file merge_verifier.hpp.

T_prev_commitments

template<typename Curve >

TableCommitments bb::MergeVerifier_< Curve >::InputCommitments::T_prev_commitments

Definition at line 60 of file merge_verifier.hpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/goblin/merge_verifier.hpp