bb::RelationChecker< Flavor > Class Template Reference

A debugging utility for checking whether a set of polynomials satisfies the relations for a given Flavor. More...

#include <relation_checker.hpp>

Public Types
using	FirstSubrelationFailures = std::map< size_t, uint32_t >
using	AllSubrelationFailures = std::map< std::string, FirstSubrelationFailures >

Static Public Member Functions
static AllSubrelationFailures	check_all (const auto &polynomials, const auto &params)
	Check that the provided polynomials satisfy all relations for a given Flavor.
template<typename Relation , bool has_linearly_dependent = false>
static FirstSubrelationFailures	check (const auto &polynomials, const auto &params, std::string label="Relation")
	Check that a single specified relation is satisfied for a set of polynomials.

Detailed Description

template<typename Flavor>
class bb::RelationChecker< Flavor >

A debugging utility for checking whether a set of polynomials satisfies the relations for a given Flavor.

Template Parameters

Flavor

Definition at line 21 of file relation_checker.hpp.

Member Typedef Documentation

AllSubrelationFailures

template<typename Flavor >

using bb::RelationChecker< Flavor >::AllSubrelationFailures = std::map<std::string, FirstSubrelationFailures>

Definition at line 30 of file relation_checker.hpp.

FirstSubrelationFailures

template<typename Flavor >

using bb::RelationChecker< Flavor >::FirstSubrelationFailures = std::map<size_t, uint32_t>

Definition at line 23 of file relation_checker.hpp.

Member Function Documentation

check()

template<typename Flavor >

template<typename Relation , bool has_linearly_dependent = false>

static FirstSubrelationFailures bb::RelationChecker< Flavor >::check ( const auto &  polynomials, const auto &  params, std::string  label = "Relation"  )

inlinestatic

Check that a single specified relation is satisfied for a set of polynomials.

Definition at line 48 of file relation_checker.hpp.

check_all()

template<typename Flavor >

static AllSubrelationFailures bb::RelationChecker< Flavor >::check_all ( const auto &  polynomials, const auto &  params  )

inlinestatic

Check that the provided polynomials satisfy all relations for a given Flavor.

Definition at line 37 of file relation_checker.hpp.

---

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

• src/barretenberg/honk/relation_checker.hpp