grand_product_library.hpp File Reference

#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/constexpr_utils.hpp"
#include "barretenberg/common/debug_log.hpp"
#include "barretenberg/common/thread.hpp"
#include "barretenberg/common/zip_view.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/trace_to_polynomials/trace_to_polynomials.hpp"
#include <typeinfo>

Go to the source code of this file.

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

Functions
template<typename Flavor , typename GrandProdRelation >
void	bb::compute_grand_product (typename Flavor::ProverPolynomials &full_polynomials, bb::RelationParameters< typename Flavor::FF > &relation_parameters, size_t size_override=0)
	Compute a grand product polynomial, grand_product_polynomial, which for historical reasons is sometimes also called Z_perm(X). This polynomial will bear witness to some subset of: {copy constraints, multiset-equality, public inputs}.
template<typename Flavor >
void	bb::compute_grand_products (typename Flavor::ProverPolynomials &full_polynomials, bb::RelationParameters< typename Flavor::FF > &relation_parameters, const size_t size_override=0)
	Compute the grand product corresponding to each grand-product relation defined in the Flavor.