ipa.test.cpp File Reference

#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "./mock_transcript.hpp"
#include "barretenberg/commitment_schemes/commitment_key.test.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.

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

Macros
#define	IPA_TEST

Functions
	TEST_F (IPATest, CommitOnManyZeroCoeffPolyWorks)
	TEST_F (IPATest, OpenZeroPolynomial)
	TEST_F (IPATest, OpenAtZero)
	bb::TEST_F (IPATest, ChallengesAreZero)
	bb::TEST_F (IPATest, AIsZeroAfterOneRound)
	TEST_F (IPATest, Commit)
	TEST_F (IPATest, Open)
	TEST_F (IPATest, GeminiShplonkIPAWithShift)
	TEST_F (IPATest, ShpleminiIPAWithShift)
	TEST_F (IPATest, ShpleminiIPAShiftsRemoval)
	Test the behaviour of the method ShpleminiVerifier::remove_shifted_commitments.

Macro Definition Documentation

IPA_TEST

#define IPA_TEST

Definition at line 47 of file ipa.test.cpp.

Function Documentation

TEST_F() [1/8]

TEST_F	(	IPATest	,
		Commit
	)

Definition at line 208 of file ipa.test.cpp.

TEST_F() [2/8]

TEST_F	(	IPATest	,
		CommitOnManyZeroCoeffPolyWorks
	)

Definition at line 50 of file ipa.test.cpp.

TEST_F() [3/8]

TEST_F	(	IPATest	,
		GeminiShplonkIPAWithShift
	)

Definition at line 246 of file ipa.test.cpp.

TEST_F() [4/8]

TEST_F	(	IPATest	,
		Open
	)

Definition at line 223 of file ipa.test.cpp.

TEST_F() [5/8]

TEST_F	(	IPATest	,
		OpenAtZero
	)

Definition at line 98 of file ipa.test.cpp.

TEST_F() [6/8]

TEST_F	(	IPATest	,
		OpenZeroPolynomial
	)

Definition at line 72 of file ipa.test.cpp.

TEST_F() [7/8]

TEST_F	(	IPATest	,
		ShpleminiIPAShiftsRemoval
	)

Test the behaviour of the method ShpleminiVerifier::remove_shifted_commitments.

Definition at line 325 of file ipa.test.cpp.

TEST_F() [8/8]

TEST_F	(	IPATest	,
		ShpleminiIPAWithShift
	)

Definition at line 282 of file ipa.test.cpp.