sumcheck.hpp File Reference

#include "barretenberg/flavor/multilinear_batching_flavor.hpp"
#include "barretenberg/honk/library/grand_product_delta.hpp"
#include "barretenberg/polynomials/eq_polynomial.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/polynomials/polynomial_arithmetic.hpp"
#include "barretenberg/sumcheck/sumcheck_output.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include "sumcheck_round.hpp"

Go to the source code of this file.

Classes
struct	bb::RoundUnivariateHandler< Flavor, IsGrumpkin >
	Handler for processing round univariates in sumcheck. Default implementation: send evaluations directly to transcript. More...
struct	bb::RoundUnivariateHandler< Flavor, true >
	Specialization for Grumpkin flavors: commit to round univariates. More...
struct	bb::VerifierZKCorrectionHandler< Flavor, HasZK >
	Handler for ZK-related verification adjustments in sumcheck. Default implementation: no ZK adjustments needed. More...
struct	bb::VerifierZKCorrectionHandler< Flavor, true >
	Specialization for ZK flavors: handle Libra masking and row disabling. More...
class	bb::SumcheckProver< Flavor >
	The implementation of the sumcheck Prover for statements of the form \(\sum_{\vec \ell \in \{0,1\}^d} pow_{\beta}(\vec \ell) \cdot F \left(P_1(\vec \ell),\ldots, P_N(\vec \ell) \right) = 0 \) for multilinear polynomials \(P_1, \ldots, P_N \). More...
class	bb::SumcheckVerifier< Flavor >
	Implementation of the sumcheck Verifier for statements of the form \(\sum_{\vec \ell \in \{0,1\}^d} pow_{\beta}(\vec \ell) \cdot F \left(P_1(\vec \ell),\ldots, P_N(\vec \ell) \right) = 0 \) for multilinear polynomials \(P_1, \ldots, P_N \). More...

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

Functions
template<typename FF , size_t N>
std::array< FF, N >	bb::initialize_relation_separator (const FF &alpha)