sumcheck_round.hpp File Reference

#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/common/thread.hpp"
#include "barretenberg/ecc/fields/vector_field.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/flavor_concepts.hpp"
#include "barretenberg/polynomials/gate_separator.hpp"
#include "barretenberg/polynomials/row_disabling_polynomial.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/relation_types.hpp"
#include "barretenberg/relations/utils.hpp"
#include "barretenberg/stdlib/primitives/bool/bool.hpp"
#include "zk_sumcheck_data.hpp"
#include <algorithm>
#include <array>
#include <bitset>
#include <optional>

Go to the source code of this file.

Classes
class	bb::SumcheckProverRound< Flavor >
	Imlementation of the Sumcheck prover round. More...
class	bb::SumcheckProverRound< Flavor >::LazyExtendedEdges< Multivariates, Element >
	Lazy edge container for USE_SHORT_MONOMIALS flavors, generic over the lane element type. More...
struct	bb::SumcheckProverRound< Flavor >::EdgeRange
struct	bb::SumcheckProverRound< Flavor >::ContiguousEdgeChunks
struct	bb::SumcheckProverRound< Flavor >::ListedEdgeChunks
class	bb::SumcheckVerifierRound< Flavor, CommittedSumcheck >
	Implementation of the Sumcheck Verifier Round. More...
class	bb::SumcheckVerifierRound< Flavor, true >
	Specialization for Grumpkin flavors: receive commitments and evaluations, defer per-round verification to Shplemini. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Concepts
concept	bb::isAvmFlavor
concept	bb::IsVectorField

Variables
template<typename T >
constexpr size_t	bb::lane_count = 1
template<IsVectorField T>
constexpr size_t	bb::lane_count< T > = T::SIZE