translator_circuit_checker.hpp File Reference

#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/translator_vm/translator_decomposition_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_extra_relations.hpp"
#include "barretenberg/relations/translator_vm/translator_non_native_field_relation.hpp"
#include "barretenberg/translator_vm/translator_circuit_builder.hpp"
#include "barretenberg/translator_vm/translator_flavor.hpp"

Go to the source code of this file.

Classes
class	bb::TranslatorCircuitChecker

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