_err | bb::CircuitBuilderBase< bb::fr > | |
_failed | bb::CircuitBuilderBase< bb::fr > | |
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATORS_BINARY_LIMBS_0 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATORS_BINARY_LIMBS_1 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATORS_BINARY_LIMBS_2 enum value | bb::TranslatorCircuitBuilder | |
ACCUMULATORS_BINARY_LIMBS_3 enum value | bb::TranslatorCircuitBuilder | |
add_public_variable(const FF &in) | bb::CircuitBuilderBase< bb::fr > | virtual |
add_variable(const FF &in) | bb::CircuitBuilderBase< bb::fr > | virtual |
assert_equal(uint32_t a_idx, uint32_t b_idx, std::string const &msg="assert_equal") | bb::CircuitBuilderBase< bb::fr > | virtual |
assert_valid_variables(const std::vector< uint32_t > &variable_indices) | bb::CircuitBuilderBase< bb::fr > | |
assert_well_formed_accumulation_input(const AccumulationInput &acc_step) | bb::TranslatorCircuitBuilder | static |
assert_well_formed_ultra_op(const UltraOp &ultra_op) | bb::TranslatorCircuitBuilder | static |
batching_challenge_v | bb::TranslatorCircuitBuilder | |
BINARY_BASIS_MODULUS | bb::TranslatorCircuitBuilder | static |
CircuitBuilderBase(size_t size_hint=0, bool has_dummy_witnesses=false) | bb::CircuitBuilderBase< bb::fr > | |
CircuitBuilderBase(const CircuitBuilderBase &other)=default | bb::CircuitBuilderBase< bb::fr > | |
CircuitBuilderBase(CircuitBuilderBase &&other) noexcept=default | bb::CircuitBuilderBase< bb::fr > | |
create_accumulation_gate(const AccumulationInput &acc_step) | bb::TranslatorCircuitBuilder | |
create_add_gate(const add_triple_< Fr > &) override | bb::TranslatorCircuitBuilder | inlinevirtual |
create_bool_gate(const uint32_t) override | bb::TranslatorCircuitBuilder | inlinevirtual |
create_mul_gate(const mul_triple_< Fr > &) override | bb::TranslatorCircuitBuilder | inlinevirtual |
create_poly_gate(const poly_triple_< Fr > &) override | bb::TranslatorCircuitBuilder | inlinevirtual |
current_tag | bb::CircuitBuilderBase< bb::fr > | |
DEFAULT_TRANSLATOR_VM_LENGTH | bb::TranslatorCircuitBuilder | static |
EmbeddedCurve typedef | bb::CircuitBuilderBase< bb::fr > | |
err() const | bb::CircuitBuilderBase< bb::fr > | |
evaluation_input_x | bb::TranslatorCircuitBuilder | |
export_circuit() | bb::CircuitBuilderBase< bb::fr > | virtual |
failed() const | bb::CircuitBuilderBase< bb::fr > | |
failure(std::string msg) | bb::CircuitBuilderBase< bb::fr > | |
feed_ecc_op_queue_into_circuit(const std::shared_ptr< ECCOpQueue > ecc_op_queue) | bb::TranslatorCircuitBuilder | |
FF typedef | bb::CircuitBuilderBase< bb::fr > | |
finalize_public_inputs() | bb::CircuitBuilderBase< bb::fr > | inline |
FIRST_VARIABLE_IN_CLASS | bb::CircuitBuilderBase< bb::fr > | static |
Fq typedef | bb::TranslatorCircuitBuilder | private |
Fr typedef | bb::TranslatorCircuitBuilder | private |
generate_witness_values(const UltraOp &ultra_op, const Fq &previous_accumulator, const Fq &batching_challenge_v, const Fq &evaluation_input_x) | bb::TranslatorCircuitBuilder | static |
get_circuit_subgroup_size(size_t num_gates) const | bb::CircuitBuilderBase< bb::fr > | |
get_estimated_num_finalized_gates() const | bb::CircuitBuilderBase< bb::fr > | virtual |
get_first_variable_in_class(uint32_t index) const | bb::CircuitBuilderBase< bb::fr > | |
get_num_constant_gates() const override | bb::TranslatorCircuitBuilder | inlinevirtual |
get_num_finalized_gates() const | bb::CircuitBuilderBase< bb::fr > | virtual |
get_num_variables() const | bb::CircuitBuilderBase< bb::fr > | virtual |
get_public_input(const uint32_t index) const | bb::CircuitBuilderBase< bb::fr > | |
get_public_input_index(const uint32_t witness_index) const | bb::CircuitBuilderBase< bb::fr > | |
get_variable(const uint32_t index) const | bb::CircuitBuilderBase< bb::fr > | inline |
get_variable_reference(const uint32_t index) const | bb::CircuitBuilderBase< bb::fr > | inline |
get_variables() const | bb::CircuitBuilderBase< bb::fr > | inline |
has_dummy_witnesses | bb::CircuitBuilderBase< bb::fr > | |
initialize_public_inputs(const std::vector< uint32_t > &public_inputs) | bb::CircuitBuilderBase< bb::fr > | inline |
insert_pair_into_wire(WireIds wire_index, Fr first, Fr second) | bb::TranslatorCircuitBuilder | inline |
is_recursive_circuit | bb::CircuitBuilderBase< bb::fr > | |
MAX_HIGH_WIDE_LIMB_SIZE | bb::TranslatorCircuitBuilder | static |
MAX_LOW_WIDE_LIMB_SIZE | bb::TranslatorCircuitBuilder | static |
MAX_MICRO_LIMB_SIZE | bb::TranslatorCircuitBuilder | static |
MAX_RELATION_WIDE_LIMB_SIZE | bb::TranslatorCircuitBuilder | static |
MICRO_LIMB_BITS | bb::TranslatorCircuitBuilder | static |
MICRO_SHIFT | bb::TranslatorCircuitBuilder | static |
MODULUS_U512 | bb::TranslatorCircuitBuilder | static |
NAME_STRING | bb::TranslatorCircuitBuilder | static |
NEGATIVE_MODULUS_LIMBS | bb::TranslatorCircuitBuilder | static |
NEGATIVE_PRIME_MODULUS | bb::TranslatorCircuitBuilder | static |
next_var_index | bb::CircuitBuilderBase< bb::fr > | |
NUM_BINARY_LIMBS | bb::TranslatorCircuitBuilder | static |
num_gates | bb::CircuitBuilderBase< bb::fr > | |
NUM_LAST_LIMB_BITS | bb::TranslatorCircuitBuilder | static |
NUM_LAST_QUOTIENT_LIMB_BITS | bb::TranslatorCircuitBuilder | static |
NUM_LIMB_BITS | bb::TranslatorCircuitBuilder | static |
NUM_MICRO_LIMBS | bb::TranslatorCircuitBuilder | static |
num_public_inputs() const | bb::CircuitBuilderBase< bb::fr > | inline |
NUM_QUOTIENT_BITS | bb::TranslatorCircuitBuilder | static |
NUM_RELATION_WIDE_LIMBS | bb::TranslatorCircuitBuilder | static |
NUM_SELECTORS | bb::TranslatorCircuitBuilder | static |
NUM_WIRES | bb::TranslatorCircuitBuilder | static |
NUM_Z_BITS | bb::TranslatorCircuitBuilder | static |
NUM_Z_LIMBS | bb::TranslatorCircuitBuilder | static |
one_idx | bb::CircuitBuilderBase< bb::fr > | |
OP enum value | bb::TranslatorCircuitBuilder | |
operator=(const TranslatorCircuitBuilder &other)=delete | bb::TranslatorCircuitBuilder | |
operator=(TranslatorCircuitBuilder &&other) noexcept | bb::TranslatorCircuitBuilder | inline |
CircuitBuilderBase< bb::fr >::operator=(const CircuitBuilderBase &other)=default | bb::CircuitBuilderBase< bb::fr > | |
CircuitBuilderBase< bb::fr >::operator=(CircuitBuilderBase &&other) noexcept=default | bb::CircuitBuilderBase< bb::fr > | |
operator==(const CircuitBuilderBase &other) const=default | bb::CircuitBuilderBase< bb::fr > | |
P_X_HIGH_LIMBS enum value | bb::TranslatorCircuitBuilder | |
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
P_X_LOW_LIMBS enum value | bb::TranslatorCircuitBuilder | |
P_X_LOW_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
P_X_LOW_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
P_X_LOW_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
P_X_LOW_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
P_X_LOW_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
P_X_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
P_Y_HIGH_LIMBS enum value | bb::TranslatorCircuitBuilder | |
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
P_Y_LOW_LIMBS enum value | bb::TranslatorCircuitBuilder | |
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
populate_wires_from_ultra_op(const UltraOp &ultra_op) | bb::TranslatorCircuitBuilder | |
prev_var_index | bb::CircuitBuilderBase< bb::fr > | |
print_num_estimated_finalized_gates() const | bb::CircuitBuilderBase< bb::fr > | virtual |
public_inputs() const | bb::CircuitBuilderBase< bb::fr > | inline |
public_inputs_ | bb::CircuitBuilderBase< bb::fr > | private |
public_inputs_finalized_ | bb::CircuitBuilderBase< bb::fr > | private |
QUOTIENT_HIGH_BINARY_LIMBS enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_0 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_1 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_2 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_3 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_4 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_TAIL enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_LOW_BINARY_LIMBS enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_0 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_1 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_2 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_3 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_4 enum value | bb::TranslatorCircuitBuilder | |
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_TAIL enum value | bb::TranslatorCircuitBuilder | |
REAL_VARIABLE | bb::CircuitBuilderBase< bb::fr > | static |
real_variable_index | bb::CircuitBuilderBase< bb::fr > | |
real_variable_tags | bb::CircuitBuilderBase< bb::fr > | |
RELATION_WIDE_LIMB_BITS | bb::TranslatorCircuitBuilder | static |
RELATION_WIDE_LIMBS enum value | bb::TranslatorCircuitBuilder | |
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
RESULT_ROW | bb::TranslatorCircuitBuilder | static |
set_err(std::string msg) | bb::CircuitBuilderBase< bb::fr > | |
set_public_input(uint32_t witness_index) | bb::CircuitBuilderBase< bb::fr > | virtual |
set_variable(const uint32_t index, const FF &value) | bb::CircuitBuilderBase< bb::fr > | inline |
set_variable_name(uint32_t index, const std::string &name) | bb::CircuitBuilderBase< bb::fr > | virtual |
SHIFT_1 | bb::TranslatorCircuitBuilder | static |
SHIFT_2 | bb::TranslatorCircuitBuilder | static |
SHIFT_2_INVERSE | bb::TranslatorCircuitBuilder | static |
SHIFT_3 | bb::TranslatorCircuitBuilder | static |
split_fq_into_limbs(const Fq &base) | bb::TranslatorCircuitBuilder | inlinestatic |
tau | bb::CircuitBuilderBase< bb::fr > | |
TOTAL_COUNT enum value | bb::TranslatorCircuitBuilder | |
TranslatorCircuitBuilder(Fq batching_challenge_v_, Fq evaluation_input_x_) | bb::TranslatorCircuitBuilder | inline |
TranslatorCircuitBuilder(Fq batching_challenge_v_, Fq evaluation_input_x_, std::shared_ptr< ECCOpQueue > op_queue) | bb::TranslatorCircuitBuilder | inline |
TranslatorCircuitBuilder()=default | bb::TranslatorCircuitBuilder | |
TranslatorCircuitBuilder(const TranslatorCircuitBuilder &other)=delete | bb::TranslatorCircuitBuilder | |
TranslatorCircuitBuilder(TranslatorCircuitBuilder &&other) noexcept | bb::TranslatorCircuitBuilder | inline |
update_real_variable_indices(uint32_t index, uint32_t new_real_index) | bb::CircuitBuilderBase< bb::fr > | |
update_variable_names(uint32_t index) | bb::CircuitBuilderBase< bb::fr > | virtual |
variable_names | bb::CircuitBuilderBase< bb::fr > | |
variables | bb::CircuitBuilderBase< bb::fr > | private |
WireIds enum name | bb::TranslatorCircuitBuilder | |
wires | bb::TranslatorCircuitBuilder | |
X_HIGH_Z_1 enum value | bb::TranslatorCircuitBuilder | |
X_LOW_Y_HI enum value | bb::TranslatorCircuitBuilder | |
Y_LOW_Z_2 enum value | bb::TranslatorCircuitBuilder | |
Z_HIGH_LIMBS enum value | bb::TranslatorCircuitBuilder | |
Z_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
Z_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
Z_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
Z_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
Z_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
Z_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
Z_LOW_LIMBS enum value | bb::TranslatorCircuitBuilder | |
Z_LOW_LIMBS_RANGE_CONSTRAINT_0 enum value | bb::TranslatorCircuitBuilder | |
Z_LOW_LIMBS_RANGE_CONSTRAINT_1 enum value | bb::TranslatorCircuitBuilder | |
Z_LOW_LIMBS_RANGE_CONSTRAINT_2 enum value | bb::TranslatorCircuitBuilder | |
Z_LOW_LIMBS_RANGE_CONSTRAINT_3 enum value | bb::TranslatorCircuitBuilder | |
Z_LOW_LIMBS_RANGE_CONSTRAINT_4 enum value | bb::TranslatorCircuitBuilder | |
Z_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum value | bb::TranslatorCircuitBuilder | |
zero_idx | bb::CircuitBuilderBase< bb::fr > | |
~CircuitBuilderBase()=default | bb::CircuitBuilderBase< bb::fr > | virtual |
~TranslatorCircuitBuilder() override=default | bb::TranslatorCircuitBuilder | |