GrandProductTests< FF > Class Template Reference

Inheritance diagram for GrandProductTests< FF >:

Public Member Functions
void	SetUp ()

Static Public Member Functions
static void	populate_span (auto &polynomial_view, const auto &polynomial)
template<typename Flavor >
static void	test_permutation_grand_product_construction ()
	Check consistency of the computation of the permutation grand product polynomial z_permutation.

Private Types
using	Polynomial = bb::Polynomial< FF >

Detailed Description

template<class FF>
class GrandProductTests< FF >

Definition at line 8 of file grand_product_library.test.cpp.

Member Typedef Documentation

Polynomial

template<class FF >

using GrandProductTests< FF >::Polynomial = bb::Polynomial<FF>

private

Definition at line 10 of file grand_product_library.test.cpp.

Member Function Documentation

populate_span()

template<class FF >

static void GrandProductTests< FF >::populate_span ( auto &  polynomial_view, const auto &  polynomial  )

inlinestatic

Definition at line 15 of file grand_product_library.test.cpp.

SetUp()

template<class FF >

void GrandProductTests< FF >::SetUp ( )

inline

Definition at line 13 of file grand_product_library.test.cpp.

test_permutation_grand_product_construction()

template<class FF >

template<typename Flavor >

static void GrandProductTests< FF >::test_permutation_grand_product_construction ( )

inlinestatic

Check consistency of the computation of the permutation grand product polynomial z_permutation.

This test compares a simple, unoptimized, easily readable calculation of the grand product z_permutation to the optimized implementation used by the prover. It's purpose is to provide confidence that some optimization introduced into the calculation has not changed the result.

Note

This test does confirm the correctness of z_permutation, only that the two implementations yield an identical result.

Definition at line 31 of file grand_product_library.test.cpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/flavor/grand_product_library.test.cpp