translator_verifier.hpp File Reference

#include "barretenberg/commitment_schemes/pairing_points.hpp"
#include "barretenberg/goblin/translation_evaluations.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/translator_vm_verifier/translator_recursive_flavor.hpp"
#include "barretenberg/translator_vm/translator_flavor.hpp"
#include "barretenberg/translator_vm/translator_prover.hpp"

Go to the source code of this file.

Classes
class	bb::TranslatorVerifier_< Flavor >
	Translator verifier class that verifies the proof of the Translator circuit. More...
struct	bb::TranslatorVerifier_< Flavor >::ReductionResult
	Result of reducing translator proof to pairing check. More...

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

Typedefs
using	bb::TranslatorVerifier = TranslatorVerifier_< TranslatorFlavor >
using	bb::TranslatorRecursiveVerifier = TranslatorVerifier_< TranslatorRecursiveFlavor >