check_circuit.cpp File Reference

#include "barretenberg/vm2/constraining/check_circuit.hpp"
#include <array>
#include <functional>
#include <span>
#include <stdexcept>
#include "barretenberg/common/constexpr_utils.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/common/thread.hpp"
#include "barretenberg/honk/proof_system/logderivative_library.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/columns.hpp"

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
void	bb::avm2::constraining::run_check_circuit (AvmFlavor::ProverPolynomials &polys, size_t num_rows, bool skippable_enabled)