Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
libsnark::bacs_circuit< FieldT > Member List

This is the complete list of members for libsnark::bacs_circuit< FieldT >, including all inherited members.

add_gate(const bacs_gate< FieldT > &g)libsnark::bacs_circuit< FieldT >
add_gate(const bacs_gate< FieldT > &g, const std::string &annotation)libsnark::bacs_circuit< FieldT >
auxiliary_input_sizelibsnark::bacs_circuit< FieldT >
bacs_circuit()libsnark::bacs_circuit< FieldT >inline
depth() constlibsnark::bacs_circuit< FieldT >
gateslibsnark::bacs_circuit< FieldT >
get_all_outputs(const bacs_primary_input< FieldT > &primary_input, const bacs_auxiliary_input< FieldT > &auxiliary_input) constlibsnark::bacs_circuit< FieldT >
get_all_wires(const bacs_primary_input< FieldT > &primary_input, const bacs_auxiliary_input< FieldT > &auxiliary_input) constlibsnark::bacs_circuit< FieldT >
is_satisfied(const bacs_primary_input< FieldT > &primary_input, const bacs_auxiliary_input< FieldT > &auxiliary_input) constlibsnark::bacs_circuit< FieldT >
is_valid() constlibsnark::bacs_circuit< FieldT >
num_gates() constlibsnark::bacs_circuit< FieldT >
num_inputs() constlibsnark::bacs_circuit< FieldT >
num_wires() constlibsnark::bacs_circuit< FieldT >
operator(std::ostream &out, const bacs_circuit< FieldT > &circuit)libsnark::bacs_circuit< FieldT >friend
operator==(const bacs_circuit< FieldT > &other) constlibsnark::bacs_circuit< FieldT >
operator>>(std::istream &in, bacs_circuit< FieldT > &circuit)libsnark::bacs_circuit< FieldT >friend
primary_input_sizelibsnark::bacs_circuit< FieldT >
print() constlibsnark::bacs_circuit< FieldT >
print_info() constlibsnark::bacs_circuit< FieldT >
wire_depths() constlibsnark::bacs_circuit< FieldT >