translator_recursive_verifier.test.cpp File Reference

#include "barretenberg/stdlib/translator_vm_verifier/translator_recursive_verifier.hpp"
#include "barretenberg/circuit_checker/translator_circuit_checker.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_verification_keys_comparator.hpp"
#include "barretenberg/translator_vm/translator_verifier.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::TranslatorRecursiveTests
	Test suite for standalone recursive verification of translation proofs. More...

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

Functions
	bb::TEST_F (TranslatorRecursiveTests, SingleRecursiveVerification)
	bb::TEST_F (TranslatorRecursiveTests, IndependentVKHash)