avm_fixed_vk.test.cpp File Reference

#include "barretenberg/vm2/constraining/avm_fixed_vk.hpp"
#include "barretenberg/vm2/constraining/polynomials.hpp"
#include "barretenberg/vm2/proving_helper.hpp"
#include "barretenberg/vm2/tracegen_helper.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::constraining

Functions
	bb::avm2::constraining::TEST (AvmFixedVKTests, FixedVKCommitments)
	Test that the fixed VK commitments agree with the ones computed from precomputed columns.