| add_accum_op_idx (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| add_gates_to_ensure_all_polys_are_non_zero() | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| 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_table_column_selector_poly_to_proving_key(barretenberg::polynomial &small, const std::string &tag) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| add_variable(const FF &in) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| apply_aux_selectors(const AUX_SELECTORS type) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| assert_equal(const uint32_t a_idx, const uint32_t b_idx, std::string const &msg="assert_equal") | proof_system::CircuitBuilderBase< Arithmetization::FF > | virtual |
| calldata_read_counts (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| check_circuit() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| check_selector_length_consistency() | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | inline |
| CIRCUIT_TYPE (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | 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::UltraHonk< FF > > | 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::UltraHonk< FF > > | 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::UltraHonk< FF > > | 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::UltraHonk< FF > > | inline |
| compute_poseidon2_external_identity(FF q_poseidon2_external_value, FF q_1_value, FF q_2_value, FF q_3_value, FF q_4_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) const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| compute_poseidon2_internal_identity(FF q_poseidon2_internal_value, FF q_1_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) const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| create_add_gate(const add_triple_< FF > &in) override | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | virtual |
| create_big_add_gate(const add_quad_< FF > &in, const bool use_next_gate_w_4=false) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_big_add_gate_with_bit_extraction(const add_quad_< FF > &in) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_big_mul_gate(const mul_quad_< FF > &in) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_bool_gate(const uint32_t a) override | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | virtual |
| create_ecc_add_gate(const ecc_add_gate_< FF > &in) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_ecc_dbl_gate(const ecc_dbl_gate_< FF > &in) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_final_sorted_RAM_gate(RamRecord &record, const size_t ram_array_size) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| 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::UltraHonk< FF > > | |
| create_mul_gate(const mul_triple_< FF > &in) override | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | 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::UltraHonk< FF > > | |
| create_poly_gate(const poly_triple_< FF > &in) override | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | virtual |
| create_poseidon2_external_gate(const poseidon2_external_gate_< FF > &in) (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| create_poseidon2_internal_gate(const poseidon2_internal_gate_< FF > &in) (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| create_RAM_array(const size_t array_size) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_RAM_gate(RamRecord &record) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_range_constraint(const uint32_t variable_index, const size_t num_bits, std::string const &msg) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | inline |
| create_range_list(const uint64_t target_range) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_ROM_array(const size_t array_size) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_ROM_gate(RomRecord &record) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_sorted_RAM_gate(RamRecord &record) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| create_sorted_ROM_gate(RomRecord &record) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< 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") | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| 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::UltraHonk< FF > > | |
| DEFAULT_NON_NATIVE_FIELD_LIMB_BITS (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | static |
| ecc_op_wire_1() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wire_1() const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wire_2() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wire_2() const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wire_3() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wire_3() const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wire_4() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wire_4() const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| ecc_op_wires (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| equality_op_idx (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< 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) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| evaluate_non_native_field_multiplication(const non_native_field_witnesses< FF > &input, const bool range_constrain_quotient_and_remainder=true) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| 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::UltraHonk< FF > > | |
| export_circuit() | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| finalize_circuit() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| finalize_variable_names() | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| fix_witness(const uint32_t witness_index, const FF &witness_value) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| get_first_variable_in_class(uint32_t index) const | proof_system::CircuitBuilderBase< Arithmetization::FF > | inline |
| get_num_constant_gates() const override (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inlinevirtual |
| get_num_gates() const override | proof_system::GoblinUltraCircuitBuilder_< FF > | 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::UltraHonk< FF > > | inline |
| get_total_circuit_size() const | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | 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 |
| GoblinUltraCircuitBuilder_(const size_t size_hint=0, std::shared_ptr< ECCOpQueue > op_queue_in=std::make_shared< ECCOpQueue >()) (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| GoblinUltraCircuitBuilder_(std::shared_ptr< ECCOpQueue > op_queue_in) (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| init_RAM_element(const size_t ram_id, const size_t index_value, const uint32_t value_witness) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| mul_accum_op_idx (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| NAME_STRING (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | static |
| null_op_idx (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| num_ecc_op_gates (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| num_vars_added_in_constructor (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| op_queue (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| print_num_gates() const override | proof_system::GoblinUltraCircuitBuilder_< FF > | inlinevirtual |
| process_non_native_field_multiplications() | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| process_RAM_array(const size_t ram_id) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| process_ROM_array(const size_t rom_id) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| public_calldata (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| public_return_data (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| q_busread() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| q_busread() const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| q_poseidon2_external() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| q_poseidon2_external() const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| q_poseidon2_internal() (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| q_poseidon2_internal() const (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| queue_ecc_add_accum(const g1::affine_element &point) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| queue_ecc_eq() | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| queue_ecc_mul_accum(const g1::affine_element &point, const FF &scalar) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| queue_partial_non_native_field_multiplication(const non_native_field_witnesses< FF > &input) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| ram_arrays | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| 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::UltraHonk< FF > > | |
| read_ROM_array(const size_t rom_id, const uint32_t index_witness) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| read_ROM_array_pair(const size_t rom_id, const uint32_t index_witness) | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| rom_arrays | proof_system::UltraCircuitBuilder_< arithmetization::UltraHonk< FF > > | |
| SelectorVector typedef (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
| set_public_calldata(const uint32_t witness_index) | proof_system::GoblinUltraCircuitBuilder_< FF > | inline |
| 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::UltraHonk< FF > > | |
| 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::UltraHonk< FF > > | |
| set_variable_name(uint32_t index, const std::string &name) | proof_system::CircuitBuilderBase< Arithmetization::FF > | inlinevirtual |
| 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 |
| WireVector typedef (defined in proof_system::GoblinUltraCircuitBuilder_< FF >) | proof_system::GoblinUltraCircuitBuilder_< FF > | |
