client_ivc_recursive_verifier.test.cpp File Reference

#include "barretenberg/stdlib/client_ivc_verifier/client_ivc_recursive_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/client_ivc/test_bench_shared.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_verification_keys_comparator.hpp"

Go to the source code of this file.

Classes
class	bb::stdlib::recursion::honk::ClientIVCRecursionTests
struct	bb::stdlib::recursion::honk::ClientIVCRecursionTests::ClientIVCProverOutput

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::stdlib
namespace	bb::stdlib::recursion
namespace	bb::stdlib::recursion::honk

Functions
	bb::stdlib::recursion::honk::TEST_F (ClientIVCRecursionTests, NativeVerification)
	Ensure the ClientIVC proof used herein can be natively verified.
	bb::stdlib::recursion::honk::TEST_F (ClientIVCRecursionTests, Basic)
	Construct and Check a recursive ClientIVC verification circuit.
	bb::stdlib::recursion::honk::TEST_F (ClientIVCRecursionTests, ClientTubeBase)
	bb::stdlib::recursion::honk::TEST_F (ClientIVCRecursionTests, TubeVKIndependentOfInputCircuits)