bb::isRowSkippable Concept Reference

Check if the flavor has a static skip method to determine if accumulation of all relations can be skipped for a given row. More...

#include <relation_types.hpp>

Concept definition

template<typename Flavor, typename ProverPolynomialsOrPartiallyEvaluatedMultivariates, typename EdgeType>
concept bb::isRowSkippable = 
    requires(const ProverPolynomialsOrPartiallyEvaluatedMultivariates& input, const EdgeType edge_idx) {
        { Flavor::skip_entire_row(input, edge_idx) } -> std::same_as<bool>;
    }

Detailed Description

Check if the flavor has a static skip method to determine if accumulation of all relations can be skipped for a given row.

The skip function should return true if relation can be skipped and false if it can't

Template Parameters

Flavor	The flavor type
ProverPolynomialsOrPartiallyEvaluatedMultivariates	The type containing polynomials with witness and selector values

Definition at line 141 of file relation_types.hpp.