check_relation.hpp File Reference

#include <array>
#include <cstdlib>
#include <span>
#include <stdexcept>
#include "barretenberg/common/log.hpp"
#include "barretenberg/honk/proof_system/logderivative_library.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/relation_types.hpp"
#include "barretenberg/vm2/constraining/polynomials.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.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
namespace	bb::avm2::constraining::detail

Functions
const RelationParameters< FF > &	bb::avm2::constraining::detail::get_test_params ()
template<typename Relation >
constexpr bool	bb::avm2::constraining::detail::subrelation_is_linearly_independent (size_t subrelation_index)
template<typename Relation , typename Trace >
void	bb::avm2::constraining::detail::check_relation_internal (const Trace &trace, std::span< const size_t > subrelations, uint32_t num_rows)
template<typename Relation , typename... Ts>
void	bb::avm2::constraining::check_relation (const tracegen::TestTraceContainer &trace, Ts... subrelation)
template<typename Relation >
void	bb::avm2::constraining::check_relation (const tracegen::TestTraceContainer &trace)
template<typename TraceBuilder , typename... Setting>
void	bb::avm2::constraining::check_interaction (tracegen::TestTraceContainer &trace)
template<typename TraceBuilder , typename... Setting>
void	bb::avm2::constraining::check_multipermutation_interaction (tracegen::TestTraceContainer &trace)
template<typename TraceBuilder >
void	bb::avm2::constraining::check_all_interactions (tracegen::TestTraceContainer &trace)