| add_gates_to_ensure_all_polys_are_non_zero() | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| add_public_variable(const FF &in) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| add_recursive_proof(const std::vector< uint32_t > &proof_output_witness_indices) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inline |
| add_simple typedef (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| add_table_column_selector_poly_to_proving_key(barretenberg::polynomial &small, const std::string &tag) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| add_variable(const FF &in) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| apply_aux_selectors(const AUX_SELECTORS type) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| assert_equal(const uint32_t a_idx, const uint32_t b_idx, std::string const &msg="assert_equal") | proof_system::CircuitBuilderBase< Arithmetization::FF > | virtual |
| assert_equal_constant(const uint32_t a_idx, const FF &b, std::string const &msg="assert equal constant") (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| assign_tag(const uint32_t variable_index, const uint32_t tag) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| AUX_SELECTORS enum name (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| cached_partial_non_native_field_multiplications (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| check_circuit() | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| check_selector_length_consistency() | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| circuit_finalized (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| CIRCUIT_TYPE (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| commitment_type (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| compute_arithmetic_identity(FF q_arith_value, FF q_1_value, FF q_2_value, FF q_3_value, FF q_4_value, FF q_m_value, FF q_c_value, FF w_1_value, FF w_2_value, FF w_3_value, FF w_4_value, FF w_1_shifted_value, FF w_4_shifted_value, const FF alpha_base, const FF alpha) const | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| compute_auxilary_identity(FF q_aux_value, FF q_arith_value, FF q_1_value, FF q_2_value, FF q_3_value, FF q_4_value, FF q_m_value, FF q_c_value, FF w_1_value, FF w_2_value, FF w_3_value, FF w_4_value, FF w_1_shifted_value, FF w_2_shifted_value, FF w_3_shifted_value, FF w_4_shifted_value, FF alpha_base, FF alpha, FF eta) const | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| compute_elliptic_identity(FF q_elliptic_value, FF q_1_value, FF q_m_value, FF w_2_value, FF w_3_value, FF w_1_shifted_value, FF w_2_shifted_value, FF w_3_shifted_value, FF w_4_shifted_value, FF alpha_base, FF alpha) const | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| compute_genperm_sort_identity(FF q_sort_value, FF w_1_value, FF w_2_value, FF w_3_value, FF w_4_value, FF w_1_shifted_value, FF alpha_base, FF alpha) const | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| constant_variable_indices (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_add_gate(const add_triple_< FF > &in) override | proof_system::UltraCircuitBuilder_< Arithmetization > | virtual |
| create_and_constraint(const uint32_t a, const uint32_t b, const size_t num_bits) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_balanced_add_gate(const add_quad_< FF > &in) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_big_add_gate(const add_quad_< FF > &in, const bool use_next_gate_w_4=false) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_big_add_gate_with_bit_extraction(const add_quad_< FF > &in) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_big_mul_gate(const mul_quad_< FF > &in) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_bool_gate(const uint32_t a) override | proof_system::UltraCircuitBuilder_< Arithmetization > | virtual |
| create_dummy_constraints(const std::vector< uint32_t > &variable_index) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_ecc_add_gate(const ecc_add_gate_< FF > &in) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_ecc_dbl_gate(const ecc_dbl_gate_< FF > &in) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_final_sorted_RAM_gate(RamRecord &record, const size_t ram_array_size) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| 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) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_logic_constraint(const uint32_t a, const uint32_t b, const size_t num_bits, bool is_xor_gate) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_mul_gate(const mul_triple_< FF > &in) override | proof_system::UltraCircuitBuilder_< Arithmetization > | virtual |
| create_new_range_constraint(const uint32_t variable_index, const uint64_t target_range, std::string const msg="create_new_range_constraint") | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_poly_gate(const poly_triple_< FF > &in) override | proof_system::UltraCircuitBuilder_< Arithmetization > | virtual |
| create_RAM_array(const size_t array_size) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_RAM_gate(RamRecord &record) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_range_constraint(const uint32_t variable_index, const size_t num_bits, std::string const &msg) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| create_range_list(const uint64_t target_range) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_ROM_array(const size_t array_size) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_ROM_gate(RomRecord &record) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_sort_constraint(const std::vector< uint32_t > &variable_index) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_sort_constraint_with_edges(const std::vector< uint32_t > &variable_index, const FF &, const FF &) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_sorted_RAM_gate(RamRecord &record) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_sorted_ROM_gate(RomRecord &record) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_table(const plookup::MultiTableId id) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| create_tag(const uint32_t tag_index, const uint32_t tau_index) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| create_xor_constraint(const uint32_t a, const uint32_t b, const size_t num_bits) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| 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") | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| decompose_into_default_range_better_for_oddlimbnum(const uint32_t variable_index, const size_t num_bits, std::string const &msg="decompose_into_default_range_better_for_oddlimbnum") (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| 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)) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| DEFAULT_NON_NATIVE_FIELD_LIMB_BITS (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| DEFAULT_PLOOKUP_RANGE_BITNUM (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| DEFAULT_PLOOKUP_RANGE_SIZE (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| DEFAULT_PLOOKUP_RANGE_STEP_SIZE (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| 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) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| evaluate_non_native_field_multiplication(const non_native_field_witnesses< FF > &input, const bool range_constrain_quotient_and_remainder=true) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| 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) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| export_circuit() | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| FF typedef (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| finalize_circuit() | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| finalize_variable_names() | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| fix_witness(const uint32_t witness_index, const FF &witness_value) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| GATES_PER_NON_NATIVE_FIELD_MULTIPLICATION_ARITHMETIC (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| get_first_variable_in_class(uint32_t index) const | proof_system::CircuitBuilderBase< Arithmetization::FF > | inline |
| get_new_tag() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| get_num_constant_gates() const override (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inlinevirtual |
| get_num_gates() const override | proof_system::UltraCircuitBuilder_< Arithmetization > | inlinevirtual |
| get_num_gates_split_into_components(size_t &count, size_t &rangecount, size_t &romcount, size_t &ramcount, size_t &nnfcount) const | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| get_table(const plookup::BasicTableId id) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| get_total_circuit_size() const | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| get_variable(const uint32_t index) const | proof_system::CircuitBuilderBase< Arithmetization::FF > | inline |
| get_variable_reference(const uint32_t index) const | proof_system::CircuitBuilderBase< Arithmetization::FF > | inline |
| init_RAM_element(const size_t ram_id, const size_t index_value, const uint32_t value_witness) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| 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 >)) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| LIMB_ACCUMULATE_1 enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| LIMB_ACCUMULATE_2 enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| lookup_multi_tables (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| lookup_tables (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| memory_read_records (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| memory_write_records (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| merkle_hash_type (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| NAME_STRING (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| NON_NATIVE_FIELD_1 enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| NON_NATIVE_FIELD_2 enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| NON_NATIVE_FIELD_3 enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| NONE enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| NUM_RESERVED_GATES (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| num_selectors (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| num_vars_added_in_constructor (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| NUM_WIRES (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| NUMBER_OF_ARITHMETIC_GATES_PER_RAM_ARRAY (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| NUMBER_OF_GATES_PER_RAM_ACCESS (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| operator=(const UltraCircuitBuilder_ &other)=default (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| operator=(UltraCircuitBuilder_ &&other) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| print_num_gates() const override | proof_system::UltraCircuitBuilder_< Arithmetization > | inlinevirtual |
| process_non_native_field_multiplications() | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| process_RAM_array(const size_t ram_id) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| process_RAM_arrays() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| process_range_list(RangeList &list) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| process_range_lists() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| process_ROM_array(const size_t rom_id) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| process_ROM_arrays() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| program_width (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| put_constant_variable(const FF &variable) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| q_1() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_1() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_2() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_2() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_3() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_3() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_4() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_4() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_arith() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_arith() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_aux() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_aux() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_c() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_c() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_elliptic() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_elliptic() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_lookup_type() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_lookup_type() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_m() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_m() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_sort() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| q_sort() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| queue_partial_non_native_field_multiplication(const non_native_field_witnesses< FF > &input) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| ram_arrays | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| RAM_CONSISTENCY_CHECK enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| RAM_READ enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| RAM_TIMESTAMP_CHECK enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| RAM_WRITE enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| 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) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| range_lists (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| read_RAM_array(const size_t ram_id, const uint32_t index_witness) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| read_ROM_array(const size_t rom_id, const uint32_t index_witness) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| read_ROM_array_pair(const size_t rom_id, const uint32_t index_witness) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| rom_arrays | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| ROM_CONSISTENCY_CHECK enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| ROM_READ enum value (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| scaled_witness typedef (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| selector_names (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| selectors (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| SelectorVector typedef (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| set_public_input(const uint32_t witness_index) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| set_recursive_proof(const std::vector< uint32_t > &proof_output_witness_indices) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inline |
| set_ROM_element(const size_t rom_id, const size_t index_value, const uint32_t value_witness) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| set_ROM_element_pair(const size_t rom_id, const size_t index_value, const std::array< uint32_t, 2 > &value_witnesses) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| set_variable_name(uint32_t index, const std::string &name) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| UINT_LOG2_BASE (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| UltraCircuitBuilder_(const size_t size_hint=0) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| UltraCircuitBuilder_(const UltraCircuitBuilder_ &other)=default (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| UltraCircuitBuilder_(UltraCircuitBuilder_ &&other) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| UNINITIALIZED_MEMORY_RECORD (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | static |
| update_real_variable_indices(uint32_t index, uint32_t new_real_index) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inline |
| update_variable_names(uint32_t index) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| w_4() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| w_4() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| w_l() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| w_l() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| w_o() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| w_o() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| w_r() (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| w_r() const (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | inline |
| wires (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| WireVector typedef (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| write_RAM_array(const size_t ram_id, const uint32_t index_witness, const uint32_t value_witness) (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
| ~UltraCircuitBuilder_() override=default (defined in proof_system::UltraCircuitBuilder_< Arithmetization >) | proof_system::UltraCircuitBuilder_< Arithmetization > | |
