#include "barretenberg/translator_vm/translator_selectors.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include <gtest/gtest.h>

Functions
	TEST (TranslatorSelectors, SmallCircuit)

	TEST (TranslatorSelectors, RealCircuit)

template<typename Builder , size_t LOG_MINI>
void	test_translator_selector_circuit_cost ()
	Measure the in-circuit cost of computing all 11 Translator selector evaluations.

	TEST (TranslatorSelectors, CircuitCostUltra)

	TEST (TranslatorSelectors, CircuitCostMega)

Function Documentation

◆ TEST() [1/4]

TEST	(	TranslatorSelectors	,
		CircuitCostMega
	)

Definition at line 190 of file translator_selectors.test.cpp.

◆ TEST() [2/4]

TEST	(	TranslatorSelectors	,
		CircuitCostUltra
	)

Definition at line 185 of file translator_selectors.test.cpp.

◆ TEST() [3/4]

TEST	(	TranslatorSelectors	,
		RealCircuit
	)

Definition at line 124 of file translator_selectors.test.cpp.

◆ TEST() [4/4]

TEST	(	TranslatorSelectors	,
		SmallCircuit
	)

Definition at line 118 of file translator_selectors.test.cpp.

◆ test_translator_selector_circuit_cost()

template<typename Builder , size_t LOG_MINI>

void test_translator_selector_circuit_cost ( )

Measure the in-circuit cost of computing all 11 Translator selector evaluations.

Creates witness challenge values in a circuit builder, runs the analytical computation, measures the gate delta, and verifies correctness against native field computation.