diff --git a/barretenberg/cpp/src/barretenberg/relations/relation_types.hpp b/barretenberg/cpp/src/barretenberg/relations/relation_types.hpp index aa4ba8820b7..e134c4e0341 100644 --- a/barretenberg/cpp/src/barretenberg/relations/relation_types.hpp +++ b/barretenberg/cpp/src/barretenberg/relations/relation_types.hpp @@ -122,7 +122,7 @@ consteval std::array compute_composed_subrelation_part template concept isSkippable = requires(const AllEntities& input) { { - Relation::is_active(input) + Relation::skip(input) } -> std::same_as; }; diff --git a/barretenberg/cpp/src/barretenberg/sumcheck/sumcheck_round.hpp b/barretenberg/cpp/src/barretenberg/sumcheck/sumcheck_round.hpp index de237e915de..c1ac763379a 100644 --- a/barretenberg/cpp/src/barretenberg/sumcheck/sumcheck_round.hpp +++ b/barretenberg/cpp/src/barretenberg/sumcheck/sumcheck_round.hpp @@ -245,7 +245,7 @@ template class SumcheckProverRound { std::get(univariate_accumulators), extended_edges, relation_parameters, scaling_factor); } else { // If so, only compute the contribution if the relation is active - if (!Relation::skip(extended_edges, relation_parameters)) { + if (!Relation::skip(extended_edges)) { Relation::accumulate(std::get(univariate_accumulators), extended_edges, relation_parameters,