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/stdlib/transcript/transcript.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"

Go to the source code of this file.

Macros
#define	IPA_TEST

Functions
	TEST_F (IPARecursiveTests, RecursiveSmall)
	Tests IPA recursion with polynomial of length 4.
	TEST_F (IPARecursiveTests, RecursiveMedium)
	Tests IPA recursion with polynomial of length 1024.
	TEST_F (IPARecursiveTests, RecursiveLarge)
	Tests IPA recursion with polynomial of length 1<<CONST_ECCVM_LOG_N.
	TEST_F (IPARecursiveTests, AccumulateSmall)
	Test accumulation with polynomials of length 4.
	TEST_F (IPARecursiveTests, AccumulateMedium)
	Test accumulation with polynomials of length 1024.
	TEST_F (IPARecursiveTests, FullRecursiveVerifier)
	TEST_F (IPARecursiveTests, AccumulationAndFullRecursiveVerifier)

Macro Definition Documentation

IPA_TEST

#define IPA_TEST

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

Function Documentation

TEST_F() [1/7]

TEST_F	(	IPARecursiveTests	,
		AccumulateMedium
	)

Test accumulation with polynomials of length 1024.

More details in test_accumulation

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

TEST_F() [2/7]

TEST_F	(	IPARecursiveTests	,
		AccumulateSmall
	)

Test accumulation with polynomials of length 4.

More details in test_accumulation

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

TEST_F() [3/7]

TEST_F	(	IPARecursiveTests	,
		AccumulationAndFullRecursiveVerifier
	)

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

TEST_F() [4/7]

TEST_F	(	IPARecursiveTests	,
		FullRecursiveVerifier
	)

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

TEST_F() [5/7]

TEST_F	(	IPARecursiveTests	,
		RecursiveLarge
	)

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

More details in test_recursive_ipa

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

TEST_F() [6/7]

TEST_F	(	IPARecursiveTests	,
		RecursiveMedium
	)

Tests IPA recursion with polynomial of length 1024.

More details in test_recursive_ipa

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

TEST_F() [7/7]

TEST_F	(	IPARecursiveTests	,
		RecursiveSmall
	)

Tests IPA recursion with polynomial of length 4.

More details in test_recursive_ipa

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