eccvm_recursive_verifier.test.cpp File Reference

#include "barretenberg/stdlib/eccvm_verifier/eccvm_recursive_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/commitment_key.test.hpp"
#include "barretenberg/eccvm/eccvm_prover.hpp"
#include "barretenberg/eccvm/eccvm_verifier.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_verification_keys_comparator.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/test_utils/tamper_proof.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	bb::ECCVMRecursiveTests

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Functions
	bb::TEST_F (ECCVMRecursiveTests, SingleRecursiveVerification)
	bb::TEST_F (ECCVMRecursiveTests, SingleRecursiveVerificationFailure)
	bb::TEST_F (ECCVMRecursiveTests, SingleRecursiveVerificationFailureTamperedProof)
	bb::TEST_F (ECCVMRecursiveTests, IndependentVKHash)