barretenberg
Loading...
Searching...
No Matches
proof_system::CircuitBuilderBase< FF_ > Member List

This is the complete list of members for proof_system::CircuitBuilderBase< FF_ >, including all inherited members.

_err (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
_failed (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
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
assert_equal(const uint32_t a_idx, const uint32_t b_idx, std::string const &msg="assert_equal")proof_system::CircuitBuilderBase< FF_ >virtual
assert_valid_variables(const std::vector< uint32_t > &variable_indices) (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
CircuitBuilderBase(size_t size_hint=0) (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
CircuitBuilderBase(const CircuitBuilderBase &other)=default (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
CircuitBuilderBase(CircuitBuilderBase &&other) noexcept=default (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
contains_recursive_proof (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
create_add_gate(const add_triple_< FF > &in)=0 (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >pure virtual
create_bool_gate(const uint32_t a)=0 (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >pure virtual
create_mul_gate(const mul_triple_< FF > &in)=0 (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >pure virtual
create_poly_gate(const poly_triple_< FF > &in)=0 (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >pure virtual
current_tag (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
EmbeddedCurve typedef (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
err() const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
export_circuit()proof_system::CircuitBuilderBase< FF_ >inlinevirtual
failed() const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
failure(std::string msg) (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
FF typedef (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
finalize_variable_names()proof_system::CircuitBuilderBase< FF_ >inlinevirtual
FIRST_VARIABLE_IN_CLASS (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >static
get_circuit_subgroup_size(const size_t num_gates) const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
get_first_variable_in_class(uint32_t index) constproof_system::CircuitBuilderBase< FF_ >inline
get_num_constant_gates() const =0 (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >pure virtual
get_num_gates() const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inlinevirtual
get_num_public_inputs() const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
get_num_variables() const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inlinevirtual
get_public_input(const uint32_t index) const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
get_public_input_index(const uint32_t witness_index) const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
get_public_inputs() const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
get_variable(const uint32_t index) constproof_system::CircuitBuilderBase< FF_ >inline
get_variable_reference(const uint32_t index) constproof_system::CircuitBuilderBase< FF_ >inline
is_valid_variable(uint32_t variable_index) (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
next_var_index (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
num_gates (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
one_idx (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
operator=(const CircuitBuilderBase &other)=default (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
operator=(CircuitBuilderBase &&other) noexcept=default (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
prev_var_index (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
print_num_gates() const (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inlinevirtual
public_inputs (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
REAL_VARIABLE (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >static
real_variable_index (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
real_variable_tags (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
recursive_proof_public_input_indices (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
set_err(std::string msg) (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >inline
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
tau (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
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
variable_names (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
variables (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
zero_idx (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >
~CircuitBuilderBase()=default (defined in proof_system::CircuitBuilderBase< FF_ >)proof_system::CircuitBuilderBase< FF_ >virtual
Generated by doxygen 1.9.6