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 >, 2 >	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 over 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 283 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 297 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 298 of file translator_circuit_builder.hpp.

◆ P_x_limbs

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

Definition at line 286 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 287 of file translator_circuit_builder.hpp.

◆ P_y_limbs

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

Definition at line 288 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 289 of file translator_circuit_builder.hpp.

◆ previous_accumulator

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

Definition at line 296 of file translator_circuit_builder.hpp.

◆ quotient_binary_limbs

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

Definition at line 299 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 300 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 301 of file translator_circuit_builder.hpp.

◆ relation_wide_microlimbs

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

Definition at line 302 of file translator_circuit_builder.hpp.

◆ ultra_op

UltraOp bb::TranslatorCircuitBuilder::AccumulationInput::ultra_op

Definition at line 285 of file translator_circuit_builder.hpp.

◆ z_1_limbs

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

Definition at line 291 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 292 of file translator_circuit_builder.hpp.

◆ z_2_limbs

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

Definition at line 293 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 294 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