Stores the fixed AVM VK commitments (to precomputed polynomials) that depend only on the precomputed columns. More...

#include <avm_fixed_vk.hpp>

Public Types
using	VerificationKey = AvmFlavor::VerificationKey

using	Commitment = AvmFlavor::VerificationKey::Commitment

Static Public Member Functions
static constexpr std::array< Commitment, VerificationKey::NUM_PRECOMPUTED_COMMITMENTS >	get_all ()

Detailed Description

Stores the fixed AVM VK commitments (to precomputed polynomials) that depend only on the precomputed columns.

If the precomputed columns change, these commitments must be updated accordingly. Their values can be obtained from the test AvmFixedVKTests.FixedVKCommitments. If the NUM_PRECOMPUTED_COMMITMENTS changes, fill the extra with Commitment::one() or trim the extra items, and run the test to get the new values.

Definition at line 13 of file avm_fixed_vk.hpp.

Member Typedef Documentation

◆ Commitment

using bb::avm2::constraining::AvmFixedVKCommitments::Commitment = AvmFlavor::VerificationKey::Commitment

Definition at line 16 of file avm_fixed_vk.hpp.

◆ VerificationKey

using bb::avm2::constraining::AvmFixedVKCommitments::VerificationKey = AvmFlavor::VerificationKey

Definition at line 15 of file avm_fixed_vk.hpp.

Member Function Documentation

◆ get_all()

static constexpr std::array< Commitment, VerificationKey::NUM_PRECOMPUTED_COMMITMENTS > bb::avm2::constraining::AvmFixedVKCommitments::get_all ( )

inlinestaticconstexpr

Definition at line 18 of file avm_fixed_vk.hpp.

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

src/barretenberg/vm2/constraining/avm_fixed_vk.hpp