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

This is the complete list of members for bb::UltraCircuitBuilder_< ExecutionTrace_ >, including all inherited members.

_errbb::CircuitBuilderBase< ExecutionTrace_::FF >private
_failedbb::CircuitBuilderBase< ExecutionTrace_::FF >private
_zero_idxbb::CircuitBuilderBase< ExecutionTrace_::FF >private
add_gates_to_ensure_all_polys_are_non_zero()bb::UltraCircuitBuilder_< ExecutionTrace_ >
add_public_variable(const FF &in)bb::CircuitBuilderBase< ExecutionTrace_::FF >virtual
add_simple typedefbb::UltraCircuitBuilder_< ExecutionTrace_ >
add_variable(const FF &in)bb::CircuitBuilderBase< ExecutionTrace_::FF >virtual
apply_memory_selectors(const MEMORY_SELECTORS type)bb::UltraCircuitBuilder_< ExecutionTrace_ >
apply_nnf_selectors(const NNF_SELECTORS type)bb::UltraCircuitBuilder_< ExecutionTrace_ >
assert_equal(uint32_t a_idx, uint32_t b_idx, std::string const &msg="assert_equal")bb::CircuitBuilderBase< ExecutionTrace_::FF >virtual
assert_equal_constant(const uint32_t a_idx, const FF &b, std::string const &msg="assert equal constant")bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
assert_valid_variables(const std::vector< uint32_t > &variable_indices)bb::CircuitBuilderBase< ExecutionTrace_::FF >
assign_tag(const uint32_t variable_index, const uint32_t tag)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
blocksbb::UltraCircuitBuilder_< ExecutionTrace_ >
cached_partial_non_native_field_multiplicationsbb::UltraCircuitBuilder_< ExecutionTrace_ >
check_selector_length_consistency()bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
circuit_finalizedbb::UltraCircuitBuilder_< ExecutionTrace_ >
CircuitBuilderBase(size_t size_hint=0, bool has_dummy_witnesses=false)bb::CircuitBuilderBase< ExecutionTrace_::FF >
CircuitBuilderBase(const CircuitBuilderBase &other)=defaultbb::CircuitBuilderBase< ExecutionTrace_::FF >
CircuitBuilderBase(CircuitBuilderBase &&other) noexcept=defaultbb::CircuitBuilderBase< ExecutionTrace_::FF >
constant_variable_indicesbb::UltraCircuitBuilder_< ExecutionTrace_ >
create_add_gate(const add_triple_< FF > &in) overridebb::UltraCircuitBuilder_< ExecutionTrace_ >
CircuitBuilderBase< ExecutionTrace_::FF >::create_add_gate(const add_triple_< FF > &in)=0bb::CircuitBuilderBase< ExecutionTrace_::FF >pure virtual
create_big_add_gate(const add_quad_< FF > &in, const bool use_next_gate_w_4=false)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_big_mul_add_gate(const mul_quad_< FF > &in, const bool use_next_gate_w_4=false)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_big_mul_gate(const mul_quad_< FF > &in)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_bool_gate(const uint32_t a) overridebb::UltraCircuitBuilder_< ExecutionTrace_ >virtual
create_ecc_add_gate(const ecc_add_gate_< FF > &in)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_ecc_dbl_gate(const ecc_dbl_gate_< FF > &in)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_gates_from_plookup_accumulators(const plookup::MultiTableId &id, const plookup::ReadData< FF > &read_values, const uint32_t key_a_index, std::optional< uint32_t > key_b_index=std::nullopt)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_mul_gate(const mul_triple_< FF > &in) overridebb::UltraCircuitBuilder_< ExecutionTrace_ >
CircuitBuilderBase< ExecutionTrace_::FF >::create_mul_gate(const mul_triple_< FF > &in)=0bb::CircuitBuilderBase< ExecutionTrace_::FF >pure virtual
create_new_range_constraint(const uint32_t variable_index, const uint64_t target_range, std::string const msg="create_new_range_constraint")bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_poly_gate(const poly_triple_< FF > &in) overridebb::UltraCircuitBuilder_< ExecutionTrace_ >
CircuitBuilderBase< ExecutionTrace_::FF >::create_poly_gate(const poly_triple_< FF > &in)=0bb::CircuitBuilderBase< ExecutionTrace_::FF >pure virtual
create_poseidon2_external_gate(const poseidon2_external_gate_< FF > &in)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_poseidon2_internal_gate(const poseidon2_internal_gate_< FF > &in)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_RAM_array(const size_t array_size)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_range_constraint(const uint32_t variable_index, const size_t num_bits, std::string const &msg)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
create_range_list(const uint64_t target_range)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_ROM_array(const size_t array_size)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_sort_constraint(const std::vector< uint32_t > &variable_index)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_sort_constraint_with_edges(const std::vector< uint32_t > &variable_index, const FF &, const FF &)bb::UltraCircuitBuilder_< ExecutionTrace_ >
create_tag(const uint32_t tag_index, const uint32_t tau_index)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
create_unconstrained_gate(auto &block, const uint32_t &idx_1, const uint32_t &idx_2, const uint32_t &idx_3, const uint32_t &idx_4)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
create_unconstrained_gates(const std::vector< uint32_t > &variable_index)bb::UltraCircuitBuilder_< ExecutionTrace_ >
current_tagbb::CircuitBuilderBase< ExecutionTrace_::FF >
decompose_into_default_range(const uint32_t variable_index, const uint64_t num_bits, const uint64_t target_range_bitnum=DEFAULT_PLOOKUP_RANGE_BITNUM, std::string const &msg="decompose_into_default_range")bb::UltraCircuitBuilder_< ExecutionTrace_ >
decompose_non_native_field_double_width_limb(const uint32_t limb_idx, const size_t num_limb_bits=(2 *DEFAULT_NON_NATIVE_FIELD_LIMB_BITS))bb::UltraCircuitBuilder_< ExecutionTrace_ >
DEFAULT_NON_NATIVE_FIELD_LIMB_BITSbb::UltraCircuitBuilder_< ExecutionTrace_ >static
DEFAULT_PLOOKUP_RANGE_BITNUMbb::UltraCircuitBuilder_< ExecutionTrace_ >static
DEFAULT_PLOOKUP_RANGE_SIZEbb::UltraCircuitBuilder_< ExecutionTrace_ >static
DEFAULT_PLOOKUP_RANGE_STEP_SIZEbb::UltraCircuitBuilder_< ExecutionTrace_ >static
EmbeddedCurve typedefbb::CircuitBuilderBase< ExecutionTrace_::FF >
err() constbb::CircuitBuilderBase< ExecutionTrace_::FF >
evaluate_non_native_field_addition(add_simple limb0, add_simple limb1, add_simple limb2, add_simple limb3, std::tuple< uint32_t, uint32_t, FF > limbp)bb::UltraCircuitBuilder_< ExecutionTrace_ >
evaluate_non_native_field_multiplication(const non_native_multiplication_witnesses< FF > &input)bb::UltraCircuitBuilder_< ExecutionTrace_ >
evaluate_non_native_field_subtraction(add_simple limb0, add_simple limb1, add_simple limb2, add_simple limb3, std::tuple< uint32_t, uint32_t, FF > limbp)bb::UltraCircuitBuilder_< ExecutionTrace_ >
ExecutionTrace typedefbb::UltraCircuitBuilder_< ExecutionTrace_ >
export_circuit() overridebb::UltraCircuitBuilder_< ExecutionTrace_ >virtual
failed() constbb::CircuitBuilderBase< ExecutionTrace_::FF >
failure(std::string msg)bb::CircuitBuilderBase< ExecutionTrace_::FF >
FF typedefbb::UltraCircuitBuilder_< ExecutionTrace_ >
finalize_circuit(const bool ensure_nonzero)bb::UltraCircuitBuilder_< ExecutionTrace_ >
finalize_public_inputs()bb::CircuitBuilderBase< ExecutionTrace_::FF >inline
finalize_witnessesbb::UltraCircuitBuilder_< ExecutionTrace_ >
FIRST_VARIABLE_IN_CLASSbb::CircuitBuilderBase< ExecutionTrace_::FF >privatestatic
fix_witness(const uint32_t witness_index, const FF &witness_value)bb::UltraCircuitBuilder_< ExecutionTrace_ >
get_circuit_subgroup_size(size_t num_gates) constbb::CircuitBuilderBase< ExecutionTrace_::FF >
get_estimated_num_finalized_gates() const overridebb::UltraCircuitBuilder_< ExecutionTrace_ >inlinevirtual
get_estimated_total_circuit_size() constbb::UltraCircuitBuilder_< ExecutionTrace_ >inline
get_finalized_total_circuit_size() constbb::UltraCircuitBuilder_< ExecutionTrace_ >inline
get_first_variable_in_class(uint32_t index) constbb::CircuitBuilderBase< ExecutionTrace_::FF >
get_lookups_size() constbb::UltraCircuitBuilder_< ExecutionTrace_ >inline
get_multitable(const plookup::MultiTableId id)bb::UltraCircuitBuilder_< ExecutionTrace_ >
get_new_tag()bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
get_num_constant_gates() const overridebb::UltraCircuitBuilder_< ExecutionTrace_ >inlinevirtual
get_num_estimated_gates_split_into_components(size_t &count, size_t &rangecount, size_t &romcount, size_t &ramcount, size_t &nnfcount) constbb::UltraCircuitBuilder_< ExecutionTrace_ >inline
get_num_finalized_gates() const overridebb::UltraCircuitBuilder_< ExecutionTrace_ >inlinevirtual
get_num_variables() constbb::CircuitBuilderBase< ExecutionTrace_::FF >virtual
get_public_input(const uint32_t index) constbb::CircuitBuilderBase< ExecutionTrace_::FF >
get_public_input_index(const uint32_t witness_index) constbb::CircuitBuilderBase< ExecutionTrace_::FF >
get_table(const plookup::BasicTableId id)bb::UltraCircuitBuilder_< ExecutionTrace_ >
get_tables_size() constbb::UltraCircuitBuilder_< ExecutionTrace_ >inline
get_used_witnesses() constbb::UltraCircuitBuilder_< ExecutionTrace_ >inline
get_variable(const uint32_t index) constbb::CircuitBuilderBase< ExecutionTrace_::FF >inline
get_variable_reference(const uint32_t index) constbb::CircuitBuilderBase< ExecutionTrace_::FF >inline
get_variables() constbb::CircuitBuilderBase< ExecutionTrace_::FF >inline
has_dummy_witnesses() constbb::CircuitBuilderBase< ExecutionTrace_::FF >inline
has_dummy_witnesses_bb::CircuitBuilderBase< ExecutionTrace_::FF >private
init_RAM_element(const size_t ram_id, const size_t index_value, const uint32_t value_witness)bb::UltraCircuitBuilder_< ExecutionTrace_ >
initialize_precomputed_table(const plookup::BasicTableId id, bool(*generator)(std::vector< FF > &, std::vector< FF > &, std::vector< FF > &), std::array< FF, 2 >(*get_values_from_key)(const std::array< uint64_t, 2 >))bb::UltraCircuitBuilder_< ExecutionTrace_ >
initialize_public_inputs(const std::vector< uint32_t > &public_inputs)bb::CircuitBuilderBase< ExecutionTrace_::FF >inline
ipa_proofbb::UltraCircuitBuilder_< ExecutionTrace_ >
LIMB_ACCUMULATE_1 enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
LIMB_ACCUMULATE_2 enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
lookup_tablesbb::UltraCircuitBuilder_< ExecutionTrace_ >
MEM_NONE enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
memory_read_recordsbb::UltraCircuitBuilder_< ExecutionTrace_ >
MEMORY_SELECTORS enum namebb::UltraCircuitBuilder_< ExecutionTrace_ >
memory_write_recordsbb::UltraCircuitBuilder_< ExecutionTrace_ >
NAME_STRINGbb::UltraCircuitBuilder_< ExecutionTrace_ >static
next_var_indexbb::CircuitBuilderBase< ExecutionTrace_::FF >private
NNF_NONE enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
NNF_SELECTORS enum namebb::UltraCircuitBuilder_< ExecutionTrace_ >
NON_NATIVE_FIELD_1 enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
NON_NATIVE_FIELD_2 enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
NON_NATIVE_FIELD_3 enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
num_gatesbb::CircuitBuilderBase< ExecutionTrace_::FF >
num_public_inputs() constbb::CircuitBuilderBase< ExecutionTrace_::FF >inline
NUM_WIRESbb::UltraCircuitBuilder_< ExecutionTrace_ >static
operator=(const UltraCircuitBuilder_ &other)=defaultbb::UltraCircuitBuilder_< ExecutionTrace_ >
operator=(UltraCircuitBuilder_ &&other)=defaultbb::UltraCircuitBuilder_< ExecutionTrace_ >
CircuitBuilderBase< ExecutionTrace_::FF >::operator=(const CircuitBuilderBase &other)=defaultbb::CircuitBuilderBase< ExecutionTrace_::FF >
CircuitBuilderBase< ExecutionTrace_::FF >::operator=(CircuitBuilderBase &&other) noexcept=defaultbb::CircuitBuilderBase< ExecutionTrace_::FF >
operator==(const CircuitBuilderBase &other) const=defaultbb::CircuitBuilderBase< ExecutionTrace_::FF >
populate_public_inputs_block()bb::UltraCircuitBuilder_< ExecutionTrace_ >
prev_var_indexbb::CircuitBuilderBase< ExecutionTrace_::FF >private
print_num_estimated_finalized_gates() const overridebb::UltraCircuitBuilder_< ExecutionTrace_ >inlinevirtual
process_non_native_field_multiplications()bb::UltraCircuitBuilder_< ExecutionTrace_ >
process_range_list(RangeList &list)bb::UltraCircuitBuilder_< ExecutionTrace_ >
process_range_lists()bb::UltraCircuitBuilder_< ExecutionTrace_ >
public_inputs() constbb::CircuitBuilderBase< ExecutionTrace_::FF >inline
public_inputs_bb::CircuitBuilderBase< ExecutionTrace_::FF >private
public_inputs_finalized_bb::CircuitBuilderBase< ExecutionTrace_::FF >private
put_constant_variable(const FF &variable)bb::UltraCircuitBuilder_< ExecutionTrace_ >
queue_partial_non_native_field_multiplication(const non_native_partial_multiplication_witnesses< FF > &input)bb::UltraCircuitBuilder_< ExecutionTrace_ >
RAM_CONSISTENCY_CHECK enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
RAM_READ enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
RAM_TIMESTAMP_CHECK enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
RAM_WRITE enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
range_constrain_two_limbs(const uint32_t lo_idx, const uint32_t hi_idx, const size_t lo_limb_bits=DEFAULT_NON_NATIVE_FIELD_LIMB_BITS, const size_t hi_limb_bits=DEFAULT_NON_NATIVE_FIELD_LIMB_BITS, std::string const &msg="range_constrain_two_limbs")bb::UltraCircuitBuilder_< ExecutionTrace_ >
range_listsbb::UltraCircuitBuilder_< ExecutionTrace_ >
read_RAM_array(const size_t ram_id, const uint32_t index_witness)bb::UltraCircuitBuilder_< ExecutionTrace_ >
read_ROM_array(const size_t rom_id, const uint32_t index_witness)bb::UltraCircuitBuilder_< ExecutionTrace_ >
read_ROM_array_pair(const size_t rom_id, const uint32_t index_witness)bb::UltraCircuitBuilder_< ExecutionTrace_ >
REAL_VARIABLEbb::CircuitBuilderBase< ExecutionTrace_::FF >privatestatic
real_variable_indexbb::CircuitBuilderBase< ExecutionTrace_::FF >
real_variable_tagsbb::CircuitBuilderBase< ExecutionTrace_::FF >
ROM_CONSISTENCY_CHECK enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
rom_ram_logicbb::UltraCircuitBuilder_< ExecutionTrace_ >
ROM_READ enum valuebb::UltraCircuitBuilder_< ExecutionTrace_ >
RomRamLogic typedefbb::UltraCircuitBuilder_< ExecutionTrace_ >
scaled_witness typedefbb::UltraCircuitBuilder_< ExecutionTrace_ >
set_public_input(uint32_t witness_index)bb::CircuitBuilderBase< ExecutionTrace_::FF >virtual
set_ROM_element(const size_t rom_id, const size_t index_value, const uint32_t value_witness)bb::UltraCircuitBuilder_< ExecutionTrace_ >
set_ROM_element_pair(const size_t rom_id, const size_t index_value, const std::array< uint32_t, 2 > &value_witnesses)bb::UltraCircuitBuilder_< ExecutionTrace_ >
set_variable(const uint32_t index, const FF &value)bb::CircuitBuilderBase< ExecutionTrace_::FF >inline
set_variable_name(uint32_t index, const std::string &name)bb::CircuitBuilderBase< ExecutionTrace_::FF >virtual
set_zero_idx(uint32_t value)bb::CircuitBuilderBase< ExecutionTrace_::FF >inlineprotected
taubb::CircuitBuilderBase< ExecutionTrace_::FF >
UltraCircuitBuilder_(const size_t size_hint=0)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
UltraCircuitBuilder_(const size_t size_hint, auto &witness_values, const std::vector< uint32_t > &public_inputs, size_t varnum)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
UltraCircuitBuilder_(const UltraCircuitBuilder_ &other)=defaultbb::UltraCircuitBuilder_< ExecutionTrace_ >
UltraCircuitBuilder_(UltraCircuitBuilder_ &&other)=defaultbb::UltraCircuitBuilder_< ExecutionTrace_ >
update_finalize_witnesses(uint32_t var_idx)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
update_finalize_witnesses(const std::vector< uint32_t > &finalize_indices)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
update_real_variable_indices(uint32_t index, uint32_t new_real_index)bb::CircuitBuilderBase< ExecutionTrace_::FF >
update_used_witnesses(uint32_t var_idx)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
update_used_witnesses(const std::vector< uint32_t > &used_indices)bb::UltraCircuitBuilder_< ExecutionTrace_ >inline
used_witnessesbb::UltraCircuitBuilder_< ExecutionTrace_ >
variable_namesbb::CircuitBuilderBase< ExecutionTrace_::FF >protected
variablesbb::CircuitBuilderBase< ExecutionTrace_::FF >private
write_RAM_array(const size_t ram_id, const uint32_t index_witness, const uint32_t value_witness)bb::UltraCircuitBuilder_< ExecutionTrace_ >
zero_idx() constbb::CircuitBuilderBase< ExecutionTrace_::FF >inline
~CircuitBuilderBase()=defaultbb::CircuitBuilderBase< ExecutionTrace_::FF >virtual
~UltraCircuitBuilder_() override=defaultbb::UltraCircuitBuilder_< ExecutionTrace_ >