|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Range constraint wires (64 wires that go into concatenated groups 0-3) More...
#include <translator_flavor.hpp>
Public Member Functions | |
| DEFINE_FLAVOR_MEMBERS (DataType, p_x_low_limbs_range_constraint_0, p_x_low_limbs_range_constraint_1, p_x_low_limbs_range_constraint_2, p_x_low_limbs_range_constraint_3, p_x_low_limbs_range_constraint_4, p_x_low_limbs_range_constraint_tail, p_x_high_limbs_range_constraint_0, p_x_high_limbs_range_constraint_1, p_x_high_limbs_range_constraint_2, p_x_high_limbs_range_constraint_3, p_x_high_limbs_range_constraint_4, p_x_high_limbs_range_constraint_tail, p_y_low_limbs_range_constraint_0, p_y_low_limbs_range_constraint_1, p_y_low_limbs_range_constraint_2, p_y_low_limbs_range_constraint_3, p_y_low_limbs_range_constraint_4, p_y_low_limbs_range_constraint_tail, p_y_high_limbs_range_constraint_0, p_y_high_limbs_range_constraint_1, p_y_high_limbs_range_constraint_2, p_y_high_limbs_range_constraint_3, p_y_high_limbs_range_constraint_4, p_y_high_limbs_range_constraint_tail, z_low_limbs_range_constraint_0, z_low_limbs_range_constraint_1, z_low_limbs_range_constraint_2, z_low_limbs_range_constraint_3, z_low_limbs_range_constraint_4, z_low_limbs_range_constraint_tail, z_high_limbs_range_constraint_0, z_high_limbs_range_constraint_1, z_high_limbs_range_constraint_2, z_high_limbs_range_constraint_3, z_high_limbs_range_constraint_4, z_high_limbs_range_constraint_tail, accumulator_low_limbs_range_constraint_0, accumulator_low_limbs_range_constraint_1, accumulator_low_limbs_range_constraint_2, accumulator_low_limbs_range_constraint_3, accumulator_low_limbs_range_constraint_4, accumulator_low_limbs_range_constraint_tail, accumulator_high_limbs_range_constraint_0, accumulator_high_limbs_range_constraint_1, accumulator_high_limbs_range_constraint_2, accumulator_high_limbs_range_constraint_3, accumulator_high_limbs_range_constraint_4, accumulator_high_limbs_range_constraint_tail, quotient_low_limbs_range_constraint_0, quotient_low_limbs_range_constraint_1, quotient_low_limbs_range_constraint_2, quotient_low_limbs_range_constraint_3, quotient_low_limbs_range_constraint_4, quotient_low_limbs_range_constraint_tail, quotient_high_limbs_range_constraint_0, quotient_high_limbs_range_constraint_1, quotient_high_limbs_range_constraint_2, quotient_high_limbs_range_constraint_3, quotient_high_limbs_range_constraint_4, quotient_high_limbs_range_constraint_tail, relation_wide_limbs_range_constraint_0, relation_wide_limbs_range_constraint_1, relation_wide_limbs_range_constraint_2, relation_wide_limbs_range_constraint_3) | |
Range constraint wires (64 wires that go into concatenated groups 0-3)
Definition at line 212 of file translator_flavor.hpp.
| bb::TranslatorFlavor::RangeConstraintWires< DataType >::DEFINE_FLAVOR_MEMBERS | ( | DataType | , |
| p_x_low_limbs_range_constraint_0 | , | ||
| p_x_low_limbs_range_constraint_1 | , | ||
| p_x_low_limbs_range_constraint_2 | , | ||
| p_x_low_limbs_range_constraint_3 | , | ||
| p_x_low_limbs_range_constraint_4 | , | ||
| p_x_low_limbs_range_constraint_tail | , | ||
| p_x_high_limbs_range_constraint_0 | , | ||
| p_x_high_limbs_range_constraint_1 | , | ||
| p_x_high_limbs_range_constraint_2 | , | ||
| p_x_high_limbs_range_constraint_3 | , | ||
| p_x_high_limbs_range_constraint_4 | , | ||
| p_x_high_limbs_range_constraint_tail | , | ||
| p_y_low_limbs_range_constraint_0 | , | ||
| p_y_low_limbs_range_constraint_1 | , | ||
| p_y_low_limbs_range_constraint_2 | , | ||
| p_y_low_limbs_range_constraint_3 | , | ||
| p_y_low_limbs_range_constraint_4 | , | ||
| p_y_low_limbs_range_constraint_tail | , | ||
| p_y_high_limbs_range_constraint_0 | , | ||
| p_y_high_limbs_range_constraint_1 | , | ||
| p_y_high_limbs_range_constraint_2 | , | ||
| p_y_high_limbs_range_constraint_3 | , | ||
| p_y_high_limbs_range_constraint_4 | , | ||
| p_y_high_limbs_range_constraint_tail | , | ||
| z_low_limbs_range_constraint_0 | , | ||
| z_low_limbs_range_constraint_1 | , | ||
| z_low_limbs_range_constraint_2 | , | ||
| z_low_limbs_range_constraint_3 | , | ||
| z_low_limbs_range_constraint_4 | , | ||
| z_low_limbs_range_constraint_tail | , | ||
| z_high_limbs_range_constraint_0 | , | ||
| z_high_limbs_range_constraint_1 | , | ||
| z_high_limbs_range_constraint_2 | , | ||
| z_high_limbs_range_constraint_3 | , | ||
| z_high_limbs_range_constraint_4 | , | ||
| z_high_limbs_range_constraint_tail | , | ||
| accumulator_low_limbs_range_constraint_0 | , | ||
| accumulator_low_limbs_range_constraint_1 | , | ||
| accumulator_low_limbs_range_constraint_2 | , | ||
| accumulator_low_limbs_range_constraint_3 | , | ||
| accumulator_low_limbs_range_constraint_4 | , | ||
| accumulator_low_limbs_range_constraint_tail | , | ||
| accumulator_high_limbs_range_constraint_0 | , | ||
| accumulator_high_limbs_range_constraint_1 | , | ||
| accumulator_high_limbs_range_constraint_2 | , | ||
| accumulator_high_limbs_range_constraint_3 | , | ||
| accumulator_high_limbs_range_constraint_4 | , | ||
| accumulator_high_limbs_range_constraint_tail | , | ||
| quotient_low_limbs_range_constraint_0 | , | ||
| quotient_low_limbs_range_constraint_1 | , | ||
| quotient_low_limbs_range_constraint_2 | , | ||
| quotient_low_limbs_range_constraint_3 | , | ||
| quotient_low_limbs_range_constraint_4 | , | ||
| quotient_low_limbs_range_constraint_tail | , | ||
| quotient_high_limbs_range_constraint_0 | , | ||
| quotient_high_limbs_range_constraint_1 | , | ||
| quotient_high_limbs_range_constraint_2 | , | ||
| quotient_high_limbs_range_constraint_3 | , | ||
| quotient_high_limbs_range_constraint_4 | , | ||
| quotient_high_limbs_range_constraint_tail | , | ||
| relation_wide_limbs_range_constraint_0 | , | ||
| relation_wide_limbs_range_constraint_1 | , | ||
| relation_wide_limbs_range_constraint_2 | , | ||
| relation_wide_limbs_range_constraint_3 | |||
| ) |