ipa_recursive.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/commitment_key.test.hpp"
#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplemini.hpp"
#include "barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp"
#include "barretenberg/stdlib/primitives/curves/grumpkin.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"

Go to the source code of this file.

Macros
#define	IPA_TEST

Functions
	TEST_F (IPARecursiveTests, RecursiveSmallSparse)
	Tests IPA recursion with polynomial of length 4.
	TEST_F (IPARecursiveTests, RecursiveMediumManyZeros)
	Tests IPA recursion with polynomial of length 1024.
	TEST_F (IPARecursiveTests, RecursiveMediumZeroPoly)
	TEST_F (IPARecursiveTests, RecursiveMediumZeroChallenge)
	TEST_F (IPARecursiveTests, RecursiveMediumZeroEvaluation)
	TEST_F (IPARecursiveTests, RecursiveLargeRandom)
	Tests IPA recursion with polynomial of length 1<<CONST_ECCVM_LOG_N.
	TEST_F (IPARecursiveTests, RecursiveMediumRandomFailure)
	Tests IPA failure modes.
	TEST_F (IPARecursiveTests, AccumulateSmallRandom)
	Test accumulation with polynomials of length 4.
	TEST_F (IPARecursiveTests, AccumulateMediumRandom)
	Test accumulation with polynomials of length 1024.
	TEST_F (IPARecursiveTests, AccumulateMediumFirstZeroPoly)
	TEST_F (IPARecursiveTests, AccumulateMediumBothZeroPoly)
	TEST_F (IPARecursiveTests, AccumulateMediumSparseManyZeros)
	TEST_F (IPARecursiveTests, FullRecursiveVerifierMediumZeroPoly)
	TEST_F (IPARecursiveTests, FullRecursiveVerifierMediumRandom)
	TEST_F (IPARecursiveTests, AccumulationAndFullRecursiveVerifierMediumRandom)

Macro Definition Documentation

IPA_TEST

#define IPA_TEST

Definition at line 248 of file ipa_recursive.test.cpp.

Function Documentation

TEST_F() [1/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumBothZeroPoly
	)

Definition at line 346 of file ipa_recursive.test.cpp.

TEST_F() [2/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumFirstZeroPoly
	)

Definition at line 337 of file ipa_recursive.test.cpp.

TEST_F() [3/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumRandom
	)

Test accumulation with polynomials of length 1024.

Definition at line 330 of file ipa_recursive.test.cpp.

TEST_F() [4/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumSparseManyZeros
	)

Definition at line 356 of file ipa_recursive.test.cpp.

TEST_F() [5/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateSmallRandom
	)

Test accumulation with polynomials of length 4.

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

TEST_F() [6/15]

TEST_F	(	IPARecursiveTests	,
		AccumulationAndFullRecursiveVerifierMediumRandom
	)

Definition at line 409 of file ipa_recursive.test.cpp.

TEST_F() [7/15]

TEST_F	(	IPARecursiveTests	,
		FullRecursiveVerifierMediumRandom
	)

Definition at line 387 of file ipa_recursive.test.cpp.

TEST_F() [8/15]

TEST_F	(	IPARecursiveTests	,
		FullRecursiveVerifierMediumZeroPoly
	)

Definition at line 364 of file ipa_recursive.test.cpp.

TEST_F() [9/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveLargeRandom
	)

Tests IPA recursion with polynomial of length 1<<CONST_ECCVM_LOG_N.

Definition at line 296 of file ipa_recursive.test.cpp.

TEST_F() [10/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumManyZeros
	)

Tests IPA recursion with polynomial of length 1024.

Definition at line 263 of file ipa_recursive.test.cpp.

TEST_F() [11/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumRandomFailure
	)

Tests IPA failure modes.

Definition at line 307 of file ipa_recursive.test.cpp.

TEST_F() [12/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumZeroChallenge
	)

Definition at line 277 of file ipa_recursive.test.cpp.

TEST_F() [13/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumZeroEvaluation
	)

Definition at line 284 of file ipa_recursive.test.cpp.

TEST_F() [14/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumZeroPoly
	)

Definition at line 270 of file ipa_recursive.test.cpp.

TEST_F() [15/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveSmallSparse
	)

Tests IPA recursion with polynomial of length 4.

Definition at line 253 of file ipa_recursive.test.cpp.