Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::TranslatorCircuitBuilder Member List

This is the complete list of members for bb::TranslatorCircuitBuilder, including all inherited members.

_errbb::CircuitBuilderBase< bb::fr >
_failedbb::CircuitBuilderBase< bb::fr >
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
ACCUMULATORS_BINARY_LIMBS_0 enum valuebb::TranslatorCircuitBuilder
ACCUMULATORS_BINARY_LIMBS_1 enum valuebb::TranslatorCircuitBuilder
ACCUMULATORS_BINARY_LIMBS_2 enum valuebb::TranslatorCircuitBuilder
ACCUMULATORS_BINARY_LIMBS_3 enum valuebb::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::TranslatorCircuitBuilderstatic
assert_well_formed_ultra_op(const UltraOp &ultra_op)bb::TranslatorCircuitBuilderstatic
batching_challenge_vbb::TranslatorCircuitBuilder
BINARY_BASIS_MODULUSbb::TranslatorCircuitBuilderstatic
CircuitBuilderBase(size_t size_hint=0, bool has_dummy_witnesses=false)bb::CircuitBuilderBase< bb::fr >
CircuitBuilderBase(const CircuitBuilderBase &other)=defaultbb::CircuitBuilderBase< bb::fr >
CircuitBuilderBase(CircuitBuilderBase &&other) noexcept=defaultbb::CircuitBuilderBase< bb::fr >
create_accumulation_gate(const AccumulationInput &acc_step)bb::TranslatorCircuitBuilder
create_add_gate(const add_triple_< Fr > &) overridebb::TranslatorCircuitBuilderinlinevirtual
create_bool_gate(const uint32_t) overridebb::TranslatorCircuitBuilderinlinevirtual
create_mul_gate(const mul_triple_< Fr > &) overridebb::TranslatorCircuitBuilderinlinevirtual
create_poly_gate(const poly_triple_< Fr > &) overridebb::TranslatorCircuitBuilderinlinevirtual
current_tagbb::CircuitBuilderBase< bb::fr >
DEFAULT_TRANSLATOR_VM_LENGTHbb::TranslatorCircuitBuilderstatic
EmbeddedCurve typedefbb::CircuitBuilderBase< bb::fr >
err() constbb::CircuitBuilderBase< bb::fr >
evaluation_input_xbb::TranslatorCircuitBuilder
export_circuit()bb::CircuitBuilderBase< bb::fr >virtual
failed() constbb::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 typedefbb::CircuitBuilderBase< bb::fr >
finalize_public_inputs()bb::CircuitBuilderBase< bb::fr >inline
FIRST_VARIABLE_IN_CLASSbb::CircuitBuilderBase< bb::fr >static
Fq typedefbb::TranslatorCircuitBuilderprivate
Fr typedefbb::TranslatorCircuitBuilderprivate
generate_witness_values(const UltraOp &ultra_op, const Fq &previous_accumulator, const Fq &batching_challenge_v, const Fq &evaluation_input_x)bb::TranslatorCircuitBuilderstatic
get_circuit_subgroup_size(size_t num_gates) constbb::CircuitBuilderBase< bb::fr >
get_estimated_num_finalized_gates() constbb::CircuitBuilderBase< bb::fr >virtual
get_first_variable_in_class(uint32_t index) constbb::CircuitBuilderBase< bb::fr >
get_num_constant_gates() const overridebb::TranslatorCircuitBuilderinlinevirtual
get_num_finalized_gates() constbb::CircuitBuilderBase< bb::fr >virtual
get_num_variables() constbb::CircuitBuilderBase< bb::fr >virtual
get_public_input(const uint32_t index) constbb::CircuitBuilderBase< bb::fr >
get_public_input_index(const uint32_t witness_index) constbb::CircuitBuilderBase< bb::fr >
get_variable(const uint32_t index) constbb::CircuitBuilderBase< bb::fr >inline
get_variable_reference(const uint32_t index) constbb::CircuitBuilderBase< bb::fr >inline
get_variables() constbb::CircuitBuilderBase< bb::fr >inline
has_dummy_witnessesbb::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::TranslatorCircuitBuilderinline
is_recursive_circuitbb::CircuitBuilderBase< bb::fr >
MAX_HIGH_WIDE_LIMB_SIZEbb::TranslatorCircuitBuilderstatic
MAX_LOW_WIDE_LIMB_SIZEbb::TranslatorCircuitBuilderstatic
MAX_MICRO_LIMB_SIZEbb::TranslatorCircuitBuilderstatic
MAX_RELATION_WIDE_LIMB_SIZEbb::TranslatorCircuitBuilderstatic
MICRO_LIMB_BITSbb::TranslatorCircuitBuilderstatic
MICRO_SHIFTbb::TranslatorCircuitBuilderstatic
MODULUS_U512bb::TranslatorCircuitBuilderstatic
NAME_STRINGbb::TranslatorCircuitBuilderstatic
NEGATIVE_MODULUS_LIMBSbb::TranslatorCircuitBuilderstatic
NEGATIVE_PRIME_MODULUSbb::TranslatorCircuitBuilderstatic
next_var_indexbb::CircuitBuilderBase< bb::fr >
NUM_BINARY_LIMBSbb::TranslatorCircuitBuilderstatic
num_gatesbb::CircuitBuilderBase< bb::fr >
NUM_LAST_LIMB_BITSbb::TranslatorCircuitBuilderstatic
NUM_LAST_QUOTIENT_LIMB_BITSbb::TranslatorCircuitBuilderstatic
NUM_LIMB_BITSbb::TranslatorCircuitBuilderstatic
NUM_MICRO_LIMBSbb::TranslatorCircuitBuilderstatic
num_public_inputs() constbb::CircuitBuilderBase< bb::fr >inline
NUM_QUOTIENT_BITSbb::TranslatorCircuitBuilderstatic
NUM_RELATION_WIDE_LIMBSbb::TranslatorCircuitBuilderstatic
NUM_SELECTORSbb::TranslatorCircuitBuilderstatic
NUM_WIRESbb::TranslatorCircuitBuilderstatic
NUM_Z_BITSbb::TranslatorCircuitBuilderstatic
NUM_Z_LIMBSbb::TranslatorCircuitBuilderstatic
one_idxbb::CircuitBuilderBase< bb::fr >
OP enum valuebb::TranslatorCircuitBuilder
operator=(const TranslatorCircuitBuilder &other)=deletebb::TranslatorCircuitBuilder
operator=(TranslatorCircuitBuilder &&other) noexceptbb::TranslatorCircuitBuilderinline
CircuitBuilderBase< bb::fr >::operator=(const CircuitBuilderBase &other)=defaultbb::CircuitBuilderBase< bb::fr >
CircuitBuilderBase< bb::fr >::operator=(CircuitBuilderBase &&other) noexcept=defaultbb::CircuitBuilderBase< bb::fr >
operator==(const CircuitBuilderBase &other) const=defaultbb::CircuitBuilderBase< bb::fr >
P_X_HIGH_LIMBS enum valuebb::TranslatorCircuitBuilder
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
P_X_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
P_X_LOW_LIMBS enum valuebb::TranslatorCircuitBuilder
P_X_LOW_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
P_X_LOW_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
P_X_LOW_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
P_X_LOW_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
P_X_LOW_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
P_X_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
P_Y_HIGH_LIMBS enum valuebb::TranslatorCircuitBuilder
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
P_Y_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
P_Y_LOW_LIMBS enum valuebb::TranslatorCircuitBuilder
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
P_Y_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
populate_wires_from_ultra_op(const UltraOp &ultra_op)bb::TranslatorCircuitBuilder
prev_var_indexbb::CircuitBuilderBase< bb::fr >
print_num_estimated_finalized_gates() constbb::CircuitBuilderBase< bb::fr >virtual
public_inputs() constbb::CircuitBuilderBase< bb::fr >inline
public_inputs_bb::CircuitBuilderBase< bb::fr >private
public_inputs_finalized_bb::CircuitBuilderBase< bb::fr >private
QUOTIENT_HIGH_BINARY_LIMBS enum valuebb::TranslatorCircuitBuilder
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_0 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_1 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_2 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_3 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_4 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_HIGH_LIMBS_RANGE_CONSTRAIN_TAIL enum valuebb::TranslatorCircuitBuilder
QUOTIENT_LOW_BINARY_LIMBS enum valuebb::TranslatorCircuitBuilder
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_0 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_1 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_2 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_3 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_4 enum valuebb::TranslatorCircuitBuilder
QUOTIENT_LOW_LIMBS_RANGE_CONSTRAIN_TAIL enum valuebb::TranslatorCircuitBuilder
REAL_VARIABLEbb::CircuitBuilderBase< bb::fr >static
real_variable_indexbb::CircuitBuilderBase< bb::fr >
real_variable_tagsbb::CircuitBuilderBase< bb::fr >
RELATION_WIDE_LIMB_BITSbb::TranslatorCircuitBuilderstatic
RELATION_WIDE_LIMBS enum valuebb::TranslatorCircuitBuilder
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
RELATION_WIDE_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
RESULT_ROWbb::TranslatorCircuitBuilderstatic
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_1bb::TranslatorCircuitBuilderstatic
SHIFT_2bb::TranslatorCircuitBuilderstatic
SHIFT_2_INVERSEbb::TranslatorCircuitBuilderstatic
SHIFT_3bb::TranslatorCircuitBuilderstatic
split_fq_into_limbs(const Fq &base)bb::TranslatorCircuitBuilderinlinestatic
taubb::CircuitBuilderBase< bb::fr >
TOTAL_COUNT enum valuebb::TranslatorCircuitBuilder
TranslatorCircuitBuilder(Fq batching_challenge_v_, Fq evaluation_input_x_)bb::TranslatorCircuitBuilderinline
TranslatorCircuitBuilder(Fq batching_challenge_v_, Fq evaluation_input_x_, std::shared_ptr< ECCOpQueue > op_queue)bb::TranslatorCircuitBuilderinline
TranslatorCircuitBuilder()=defaultbb::TranslatorCircuitBuilder
TranslatorCircuitBuilder(const TranslatorCircuitBuilder &other)=deletebb::TranslatorCircuitBuilder
TranslatorCircuitBuilder(TranslatorCircuitBuilder &&other) noexceptbb::TranslatorCircuitBuilderinline
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_namesbb::CircuitBuilderBase< bb::fr >
variablesbb::CircuitBuilderBase< bb::fr >private
WireIds enum namebb::TranslatorCircuitBuilder
wiresbb::TranslatorCircuitBuilder
X_HIGH_Z_1 enum valuebb::TranslatorCircuitBuilder
X_LOW_Y_HI enum valuebb::TranslatorCircuitBuilder
Y_LOW_Z_2 enum valuebb::TranslatorCircuitBuilder
Z_HIGH_LIMBS enum valuebb::TranslatorCircuitBuilder
Z_HIGH_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
Z_HIGH_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
Z_HIGH_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
Z_HIGH_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
Z_HIGH_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
Z_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
Z_LOW_LIMBS enum valuebb::TranslatorCircuitBuilder
Z_LOW_LIMBS_RANGE_CONSTRAINT_0 enum valuebb::TranslatorCircuitBuilder
Z_LOW_LIMBS_RANGE_CONSTRAINT_1 enum valuebb::TranslatorCircuitBuilder
Z_LOW_LIMBS_RANGE_CONSTRAINT_2 enum valuebb::TranslatorCircuitBuilder
Z_LOW_LIMBS_RANGE_CONSTRAINT_3 enum valuebb::TranslatorCircuitBuilder
Z_LOW_LIMBS_RANGE_CONSTRAINT_4 enum valuebb::TranslatorCircuitBuilder
Z_LOW_LIMBS_RANGE_CONSTRAINT_TAIL enum valuebb::TranslatorCircuitBuilder
zero_idxbb::CircuitBuilderBase< bb::fr >
~CircuitBuilderBase()=defaultbb::CircuitBuilderBase< bb::fr >virtual
~TranslatorCircuitBuilder() override=defaultbb::TranslatorCircuitBuilder