kzg.test.cpp File Reference

#include "kzg.hpp"
#include "../commitment_key.test.hpp"
#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplemini.hpp"
#include "barretenberg/commitment_schemes/utils/mock_witness_generator.hpp"

Go to the source code of this file.

Classes
class	bb::KZGTest

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

Functions
	bb::TEST_F (KZGTest, Single)
	bb::TEST_F (KZGTest, ZeroEvaluation)
	bb::TEST_F (KZGTest, ZeroPolynomial)
	bb::TEST_F (KZGTest, ConstantPolynomial)
	bb::TEST_F (KZGTest, EmptyPolynomial)
	bb::TEST_F (KZGTest, SingleInLagrangeBasis)
	Test opening proof of a polynomial given by its evaluations at \( i = 0, \ldots, n \). Should only be used for small values of \( n \).
	bb::TEST_F (KZGTest, GeminiShplonkKzgWithShift)
	Test full PCS protocol: Gemini, Shplonk, KZG and pairing check.
	bb::TEST_F (KZGTest, ShpleminiKzgWithShift)
	bb::TEST_F (KZGTest, ShpleminiKzgWithShiftAndInterleaving)
	bb::TEST_F (KZGTest, ShpleminiKzgShiftsRemoval)