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)

Definition at line 53 of file merge_verifier.hpp.

Member Data Documentation

t_commitments

template<typename Curve >

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

Definition at line 54 of file merge_verifier.hpp.

T_prev_commitments

template<typename Curve >

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

Definition at line 55 of file merge_verifier.hpp.

---

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

• src/barretenberg/goblin/merge_verifier.hpp