shplemini.test.cpp File Reference

#include "barretenberg/commitment_schemes/shplonk/shplemini.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/commitment_key.test.hpp"
#include "barretenberg/commitment_schemes/kzg/kzg.hpp"
#include "barretenberg/commitment_schemes/utils/mock_witness_generator.hpp"
#include "barretenberg/eccvm/eccvm_prover.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/padding_indicator_array/padding_indicator_array.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	ShpleminiRecursionTest< PCS >
struct	ShpleminiUltraPCS
struct	ShpleminiMegaPCS

Typedefs
using	ShpleminiUltraTest = ShpleminiRecursionTest< ShpleminiUltraPCS >
using	ShpleminiMegaTest = ShpleminiRecursionTest< ShpleminiMegaPCS >

Functions
	TEST_F (ShpleminiUltraTest, ProveAndVerifySingleFullScalars)
	TEST_F (ShpleminiUltraTest, ProveAndVerifySingleShortScalars)
	TEST_F (ShpleminiMegaTest, ProveAndVerifySingleFullScalars)
	TEST_F (ShpleminiMegaTest, GoblinProveAndVerifyShortScalars)
	TEST_F (ShpleminiMegaTest, ManyCommitmentsWithECCVMProving)

Typedef Documentation

ShpleminiMegaTest

using ShpleminiMegaTest = ShpleminiRecursionTest<ShpleminiMegaPCS>

Definition at line 319 of file shplemini.test.cpp.

ShpleminiUltraTest

using ShpleminiUltraTest = ShpleminiRecursionTest<ShpleminiUltraPCS>

Definition at line 318 of file shplemini.test.cpp.

Function Documentation

TEST_F() [1/5]

TEST_F	(	ShpleminiMegaTest	,
		GoblinProveAndVerifyShortScalars
	)

Definition at line 344 of file shplemini.test.cpp.

TEST_F() [2/5]

TEST_F	(	ShpleminiMegaTest	,
		ManyCommitmentsWithECCVMProving
	)

Definition at line 354 of file shplemini.test.cpp.

TEST_F() [3/5]

TEST_F	(	ShpleminiMegaTest	,
		ProveAndVerifySingleFullScalars
	)

Definition at line 334 of file shplemini.test.cpp.

TEST_F() [4/5]

TEST_F	(	ShpleminiUltraTest	,
		ProveAndVerifySingleFullScalars
	)

Definition at line 321 of file shplemini.test.cpp.

TEST_F() [5/5]

TEST_F	(	ShpleminiUltraTest	,
		ProveAndVerifySingleShortScalars
	)

Definition at line 327 of file shplemini.test.cpp.