The accumulation input structure contains all the necessary values to initalize an accumulation gate as well as additional values for checking its correctness. More...

#include <translator_circuit_builder.hpp>

Public Attributes
UltraOp	ultra_op

std::array< Fr, NUM_BINARY_LIMBS >	P_x_limbs

std::array< std::array< Fr, NUM_MICRO_LIMBS >, NUM_BINARY_LIMBS >	P_x_microlimbs

std::array< Fr, NUM_BINARY_LIMBS >	P_y_limbs

std::array< std::array< Fr, NUM_MICRO_LIMBS >, NUM_BINARY_LIMBS >	P_y_microlimbs

std::array< Fr, NUM_Z_LIMBS >	z_1_limbs

std::array< std::array< Fr, NUM_MICRO_LIMBS >, NUM_Z_LIMBS >	z_1_microlimbs

std::array< Fr, NUM_Z_LIMBS >	z_2_limbs

std::array< std::array< Fr, NUM_MICRO_LIMBS >, NUM_Z_LIMBS >	z_2_microlimbs

std::array< Fr, NUM_BINARY_LIMBS >	previous_accumulator

std::array< Fr, NUM_BINARY_LIMBS >	current_accumulator

std::array< std::array< Fr, NUM_MICRO_LIMBS >, NUM_BINARY_LIMBS >	current_accumulator_microlimbs

std::array< Fr, NUM_BINARY_LIMBS >	quotient_binary_limbs

std::array< std::array< Fr, NUM_MICRO_LIMBS >, NUM_BINARY_LIMBS >	quotient_microlimbs

std::array< Fr, NUM_RELATION_WIDE_LIMBS >	relation_wide_limbs

std::array< std::array< Fr, NUM_MICRO_LIMBS >, NUM_RELATION_WIDE_LIMBS >	relation_wide_microlimbs

Detailed Description

The accumulation input structure contains all the necessary values to initalize an accumulation gate as well as additional values for checking its correctness.

For example, we don't really need the prime limbs, but they serve to check the correctness of other values. We also don't need the values of x's and v's limbs during circuit construction, since they are added to relations directly, but this allows us to check correctness of the computed accumulator

Definition at line 306 of file translator_circuit_builder.hpp.

Member Data Documentation

◆ current_accumulator

std::array<Fr, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::current_accumulator

Definition at line 320 of file translator_circuit_builder.hpp.

◆ current_accumulator_microlimbs

std::array<std::array<Fr, NUM_MICRO_LIMBS>, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::current_accumulator_microlimbs

Definition at line 321 of file translator_circuit_builder.hpp.

◆ P_x_limbs

std::array<Fr, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::P_x_limbs

Definition at line 309 of file translator_circuit_builder.hpp.

◆ P_x_microlimbs

std::array<std::array<Fr, NUM_MICRO_LIMBS>, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::P_x_microlimbs

Definition at line 310 of file translator_circuit_builder.hpp.

◆ P_y_limbs

std::array<Fr, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::P_y_limbs

Definition at line 311 of file translator_circuit_builder.hpp.

◆ P_y_microlimbs

std::array<std::array<Fr, NUM_MICRO_LIMBS>, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::P_y_microlimbs

Definition at line 312 of file translator_circuit_builder.hpp.

◆ previous_accumulator

std::array<Fr, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::previous_accumulator

Definition at line 319 of file translator_circuit_builder.hpp.

◆ quotient_binary_limbs

std::array<Fr, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::quotient_binary_limbs

Definition at line 322 of file translator_circuit_builder.hpp.

◆ quotient_microlimbs

std::array<std::array<Fr, NUM_MICRO_LIMBS>, NUM_BINARY_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::quotient_microlimbs

Definition at line 323 of file translator_circuit_builder.hpp.

◆ relation_wide_limbs

std::array<Fr, NUM_RELATION_WIDE_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::relation_wide_limbs

Definition at line 324 of file translator_circuit_builder.hpp.

◆ relation_wide_microlimbs

std::array<std::array<Fr, NUM_MICRO_LIMBS>, NUM_RELATION_WIDE_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::relation_wide_microlimbs

Definition at line 325 of file translator_circuit_builder.hpp.

◆ ultra_op

UltraOp bb::TranslatorCircuitBuilder::AccumulationInput::ultra_op

Definition at line 308 of file translator_circuit_builder.hpp.

◆ z_1_limbs

std::array<Fr, NUM_Z_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::z_1_limbs

Definition at line 314 of file translator_circuit_builder.hpp.

◆ z_1_microlimbs

std::array<std::array<Fr, NUM_MICRO_LIMBS>, NUM_Z_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::z_1_microlimbs

Definition at line 315 of file translator_circuit_builder.hpp.

◆ z_2_limbs

std::array<Fr, NUM_Z_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::z_2_limbs

Definition at line 316 of file translator_circuit_builder.hpp.

◆ z_2_microlimbs

std::array<std::array<Fr, NUM_MICRO_LIMBS>, NUM_Z_LIMBS> bb::TranslatorCircuitBuilder::AccumulationInput::z_2_microlimbs

Definition at line 317 of file translator_circuit_builder.hpp.

The documentation for this struct was generated from the following file:

src/barretenberg/translator_vm/translator_circuit_builder.hpp

Public Attributes