bb::MergeVerifier::InputCommitments Struct Reference

#include <merge_verifier.hpp>

Public Attributes
TableCommitments	t_commitments
TableCommitments	T_prev_commitments

Detailed Description

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

• t_commitments: the subtable commitments data, containing the commitments to t_j read from the transcript by the PG verifier with which the Merge verifier shares a transcript
• T_prev_commitments: the commitments to the full op_queue table after the previous iteration of merge

Definition at line 43 of file merge_verifier.hpp.

Member Data Documentation

t_commitments

TableCommitments bb::MergeVerifier::InputCommitments::t_commitments

Definition at line 44 of file merge_verifier.hpp.

T_prev_commitments

TableCommitments bb::MergeVerifier::InputCommitments::T_prev_commitments

Definition at line 45 of file merge_verifier.hpp.

---

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

• src/barretenberg/ultra_honk/merge_verifier.hpp