bb::TranslatorCircuitChecker Class Reference

#include <translator_circuit_checker.hpp>

Classes
struct	RelationInputs

Public Member Functions
	TranslatorCircuitChecker ()=default

Static Public Member Functions
static Fq	get_computation_result (const Builder &circuit)
	Get the result of accumulation, stored as 4 binary limbs in the first row of the circuit.
static RelationInputs	compute_relation_inputs_limbs (const Fq &batching_challenge_v, const Fq &evaluation_input_x)
	Create limb representations of x and powers of v that are needed to compute the witness or check circuit correctness.
static bool	check (const Builder &circuit)
	Check the witness satisifies the circuit.

Private Types
using	Fr = bb::fr
using	Fq = bb::fq
using	Builder = TranslatorCircuitBuilder
using	WireIds = Builder::WireIds

Static Private Attributes
static constexpr size_t	NUM_BINARY_LIMBS = Builder::NUM_BINARY_LIMBS
static constexpr size_t	RESULT_ROW = Builder::RESULT_ROW

Detailed Description

Definition at line 4 of file translator_circuit_checker.hpp.

Member Typedef Documentation

Builder

using bb::TranslatorCircuitChecker::Builder = TranslatorCircuitBuilder

private

Definition at line 7 of file translator_circuit_checker.hpp.

Fq

using bb::TranslatorCircuitChecker::Fq = bb::fq

private

Definition at line 6 of file translator_circuit_checker.hpp.

Fr

using bb::TranslatorCircuitChecker::Fr = bb::fr

private

Definition at line 5 of file translator_circuit_checker.hpp.

WireIds

using bb::TranslatorCircuitChecker::WireIds = Builder::WireIds

private

Definition at line 8 of file translator_circuit_checker.hpp.

Constructor & Destructor Documentation

TranslatorCircuitChecker()

bb::TranslatorCircuitChecker::TranslatorCircuitChecker ( )

default

Member Function Documentation

check()

bool bb::TranslatorCircuitChecker::check ( const Builder &  circuit )

static

Check the witness satisifies the circuit.

Goes through each gate and checks the correctness of accumulation

Returns

true

false

Get elements at the same index from several sequential circuit.wires and put them into a vector

Reconstruct the value of one regular limb used in relation computation from micro chunks used to create range constraints

We might want to skip several items at the end, since those will be shifted or used for another decomposition

Definition at line 20 of file translator_circuit_checker.cpp.

compute_relation_inputs_limbs()

TranslatorCircuitChecker::RelationInputs bb::TranslatorCircuitChecker::compute_relation_inputs_limbs ( const Fq &  batching_challenge_v, const Fq &  evaluation_input_x  )

static

Create limb representations of x and powers of v that are needed to compute the witness or check circuit correctness.

Parameters

evaluation_input_x	The point at which the polynomials are being evaluated
batching_challenge_v	The batching challenge

Returns

RelationInputs

Definition at line 5 of file translator_circuit_checker.cpp.

get_computation_result()

static Fq bb::TranslatorCircuitChecker::get_computation_result ( const Builder &  circuit )

inlinestatic

Get the result of accumulation, stored as 4 binary limbs in the first row of the circuit.

Definition at line 29 of file translator_circuit_checker.hpp.

Member Data Documentation

NUM_BINARY_LIMBS

constexpr size_t bb::TranslatorCircuitChecker::NUM_BINARY_LIMBS = Builder::NUM_BINARY_LIMBS

staticconstexprprivate

Definition at line 11 of file translator_circuit_checker.hpp.

RESULT_ROW

constexpr size_t bb::TranslatorCircuitChecker::RESULT_ROW = Builder::RESULT_ROW

staticconstexprprivate

Definition at line 13 of file translator_circuit_checker.hpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/circuit_checker/translator_circuit_checker.hpp
• src/barretenberg/circuit_checker/translator_circuit_checker.cpp