triple_ipa_recursive.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/pcs_test_utils.hpp"
#include "barretenberg/commitment_schemes/triple_ipa/triple_ipa.hpp"
#include "barretenberg/srs/factories/grumpkin_srs_gen.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/curves/grumpkin.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"

Go to the source code of this file.

Functions
	TEST_F (TripleIPARecursiveTest, RecursiveReduceVerifyEmitsAccumulator)
	TEST_F (TripleIPARecursiveTest, RecursiveReduceVerifyRejectsTamperedProof)

Function Documentation

TEST_F() [1/2]

TEST_F	(	TripleIPARecursiveTest	,
		RecursiveReduceVerifyEmitsAccumulator
	)

Definition at line 162 of file triple_ipa_recursive.test.cpp.

TEST_F() [2/2]

TEST_F	(	TripleIPARecursiveTest	,
		RecursiveReduceVerifyRejectsTamperedProof
	)

Definition at line 184 of file triple_ipa_recursive.test.cpp.