ipa_recursive.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/commitment_schemes/pcs_test_utils.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/stdlib/special_public_inputs/special_public_inputs.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 247 of file ipa_recursive.test.cpp.

Function Documentation

TEST_F() [1/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumBothZeroPoly
	)

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

TEST_F() [2/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumFirstZeroPoly
	)

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

TEST_F() [3/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumRandom
	)

Test accumulation with polynomials of length 1024.

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

TEST_F() [4/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateMediumSparseManyZeros
	)

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

TEST_F() [5/15]

TEST_F	(	IPARecursiveTests	,
		AccumulateSmallRandom
	)

Test accumulation with polynomials of length 4.

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

TEST_F() [6/15]

TEST_F	(	IPARecursiveTests	,
		AccumulationAndFullRecursiveVerifierMediumRandom
	)

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

TEST_F() [7/15]

TEST_F	(	IPARecursiveTests	,
		FullRecursiveVerifierMediumRandom
	)

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

TEST_F() [8/15]

TEST_F	(	IPARecursiveTests	,
		FullRecursiveVerifierMediumZeroPoly
	)

Definition at line 363 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 295 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 262 of file ipa_recursive.test.cpp.

TEST_F() [11/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumRandomFailure
	)

Tests IPA failure modes.

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

TEST_F() [12/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumZeroChallenge
	)

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

TEST_F() [13/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumZeroEvaluation
	)

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

TEST_F() [14/15]

TEST_F	(	IPARecursiveTests	,
		RecursiveMediumZeroPoly
	)

Definition at line 269 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 252 of file ipa_recursive.test.cpp.