| add_public_variable(const FF &in) | proof_system::CircuitBuilderBase< FF > | inlinevirtual |
| add_recursive_proof(const std::vector< uint32_t > &proof_output_witness_indices) | proof_system::CircuitBuilderBase< FF > | inline |
| add_variable(const FF &in) | proof_system::CircuitBuilderBase< FF > | inlinevirtual |
| Arithmetization typedef (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| assert_equal(const uint32_t a_idx, const uint32_t b_idx, std::string const &msg="assert_equal") | proof_system::CircuitBuilderBase< FF > | virtual |
| assert_equal_constant(uint32_t const a_idx, FF const &b, std::string const &msg="assert equal constant") (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| check_circuit() | proof_system::StandardCircuitBuilder_< FF > | |
| CIRCUIT_TYPE (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| commitment_type (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| constant_variable_indices (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_add_gate(const add_triple_< FF > &in) override | proof_system::StandardCircuitBuilder_< FF > | |
| create_and_constraint(const uint32_t a, const uint32_t b, const size_t num_bits) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_balanced_add_gate(const add_quad_< FF > &in) | proof_system::StandardCircuitBuilder_< FF > | |
| create_big_add_gate(const add_quad_< FF > &in) | proof_system::StandardCircuitBuilder_< FF > | |
| create_big_add_gate_with_bit_extraction(const add_quad_< FF > &in) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_big_mul_gate(const mul_quad_< FF > &in) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_bool_gate(const uint32_t a) override | proof_system::StandardCircuitBuilder_< FF > | virtual |
| create_fixed_group_add_gate(const fixed_group_add_quad_< FF > &in) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_fixed_group_add_gate_final(const add_quad_< FF > &in) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_fixed_group_add_gate_with_init(const fixed_group_add_quad_< FF > &in, const fixed_group_init_quad_< FF > &init) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_logic_constraint(const uint32_t a, const uint32_t b, const size_t num_bits, bool is_xor_gate) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| create_mul_gate(const mul_triple_< FF > &in) override | proof_system::StandardCircuitBuilder_< FF > | |
| create_poly_gate(const poly_triple_< FF > &in) override | proof_system::StandardCircuitBuilder_< FF > | |
| create_range_constraint(const uint32_t variable_index, const size_t num_bits, std::string const &msg="create_range_constraint") (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| create_xor_constraint(const uint32_t a, const uint32_t b, const size_t num_bits) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| decompose_into_base4_accumulators(const uint32_t witness_index, const size_t num_bits, std::string const &msg="create_range_constraint") (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| export_circuit() override | proof_system::StandardCircuitBuilder_< FF > | virtual |
| finalize_variable_names() | proof_system::CircuitBuilderBase< FF > | inlinevirtual |
| fix_witness(const uint32_t witness_index, const FF &witness_value) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| get_first_variable_in_class(uint32_t index) const | proof_system::CircuitBuilderBase< FF > | inline |
| get_num_constant_gates() const override (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inlinevirtual |
| get_variable(const uint32_t index) const | proof_system::CircuitBuilderBase< FF > | inline |
| get_variable_reference(const uint32_t index) const | proof_system::CircuitBuilderBase< FF > | inline |
| merkle_hash_type (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| NAME_STRING (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| num_selectors (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| NUM_WIRES (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| operator=(const StandardCircuitBuilder_ &other)=delete (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| operator=(StandardCircuitBuilder_ &&other) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| previous_add_quad (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| program_width (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| put_constant_variable(const FF &variable) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| q_1() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_1() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_2() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_2() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_3() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_3() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_c() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_c() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_m() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| q_m() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| selector_names (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| selectors (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| SelectorVector typedef (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| set_public_input(const uint32_t witness_index) | proof_system::CircuitBuilderBase< FF > | inlinevirtual |
| set_recursive_proof(const std::vector< uint32_t > &proof_output_witness_indices) | proof_system::CircuitBuilderBase< FF > | inline |
| set_variable_name(uint32_t index, const std::string &name) | proof_system::CircuitBuilderBase< FF > | inlinevirtual |
| StandardCircuitBuilder_(const size_t size_hint=0) (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| StandardCircuitBuilder_(const StandardCircuitBuilder_ &other)=delete (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| StandardCircuitBuilder_(StandardCircuitBuilder_ &&other)=default (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| UINT_LOG2_BASE (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | static |
| update_real_variable_indices(uint32_t index, uint32_t new_real_index) | proof_system::CircuitBuilderBase< FF > | inline |
| update_variable_names(uint32_t index) | proof_system::CircuitBuilderBase< FF > | inlinevirtual |
| w_l() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| w_l() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| w_o() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| w_o() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| w_r() (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| w_r() const (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | inline |
| wires (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| WireVector typedef (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
| ~StandardCircuitBuilder_() override=default (defined in proof_system::StandardCircuitBuilder_< FF >) | proof_system::StandardCircuitBuilder_< FF > | |
