ipa.test.cpp File Reference

#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "./mock_transcript.hpp"
#include "barretenberg/commitment_schemes/pcs_test_utils.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, OpenZeroPolynomial)
	TEST_F (IPATest, OpenManyZerosPolynomial)
	TEST_F (IPATest, OpenAtZero)
	TEST_F (IPATest, Open)
	TEST_F (IPATest, OpeningValueZero)
	bb::TEST_F (IPATest, ChallengesAreZero)
	bb::TEST_F (IPATest, AIsZeroAfterOneRound)
	TEST_F (IPATest, ShpleminiIPAWithoutShift)
	TEST_F (IPATest, ShpleminiIPAWithShift)
	TEST_F (IPATest, ShpleminiIPAShiftsRemoval)
	TEST_F (IPATest, BatchVerifyTwoValidProofs)
	TEST_F (IPATest, BatchVerifySingleProof)
	TEST_F (IPATest, BatchVerifyRejectsTamperedGZero)
	TEST_F (IPATest, BatchVerifyRejectsTamperedAZero)
	TEST_F (IPATest, BatchVerifyTamperedProof)
	TEST_F (IPATest, BatchVerifyRejectsClaimTranscriptMismatch)

Macro Definition Documentation

IPA_TEST

#define IPA_TEST

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

Function Documentation

TEST_F() [1/14]

TEST_F	(	IPATest	,
		BatchVerifyRejectsClaimTranscriptMismatch
	)

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

TEST_F() [2/14]

TEST_F	(	IPATest	,
		BatchVerifyRejectsTamperedAZero
	)

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

TEST_F() [3/14]

TEST_F	(	IPATest	,
		BatchVerifyRejectsTamperedGZero
	)

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

TEST_F() [4/14]

TEST_F	(	IPATest	,
		BatchVerifySingleProof
	)

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

TEST_F() [5/14]

TEST_F	(	IPATest	,
		BatchVerifyTamperedProof
	)

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

TEST_F() [6/14]

TEST_F	(	IPATest	,
		BatchVerifyTwoValidProofs
	)

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

TEST_F() [7/14]

TEST_F	(	IPATest	,
		Open
	)

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

TEST_F() [8/14]

TEST_F	(	IPATest	,
		OpenAtZero
	)

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

TEST_F() [9/14]

TEST_F	(	IPATest	,
		OpeningValueZero
	)

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

TEST_F() [10/14]

TEST_F	(	IPATest	,
		OpenManyZerosPolynomial
	)

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

TEST_F() [11/14]

TEST_F	(	IPATest	,
		OpenZeroPolynomial
	)

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

TEST_F() [12/14]

TEST_F	(	IPATest	,
		ShpleminiIPAShiftsRemoval
	)

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

TEST_F() [13/14]

TEST_F	(	IPATest	,
		ShpleminiIPAWithoutShift
	)

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

TEST_F() [14/14]

TEST_F	(	IPATest	,
		ShpleminiIPAWithShift
	)

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